schnorr.test.cpp File Reference

#include <gtest/gtest.h>
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/crypto/pedersen_commitment/pedersen.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "schnorr.hpp"

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	bool_ct = stdlib::bool_t< Builder >
using	byte_array_ct = stdlib::byte_array< Builder >
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >

Functions
	TEST (stdlib_schnorr, schnorr_verify_signature)
	TEST (stdlib_schnorr, verify_signature_failure)
	Verification fails when the wrong public key is used.
	TEST (stdlib_schnorr, schnorr_signature_verification_result)
	TEST (stdlib_schnorr, signature_verification_result_failure)

Typedef Documentation

bool_ct

using bool_ct = stdlib::bool_t<Builder>

Definition at line 13 of file schnorr.test.cpp.

Builder

using Builder = UltraCircuitBuilder

Definition at line 12 of file schnorr.test.cpp.

byte_array_ct

using byte_array_ct = stdlib::byte_array<Builder>

Definition at line 14 of file schnorr.test.cpp.

field_ct

using field_ct = stdlib::field_t<Builder>

Definition at line 15 of file schnorr.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 16 of file schnorr.test.cpp.

Function Documentation

TEST() [1/4]

TEST	(	stdlib_schnorr	,
		schnorr_signature_verification_result
	)

Test:

Like stdlib_schnorr.schnorr_verify_signature, but we use the function signature_verification that produces a boolean witness and does not require the prover to provide a valid signature.

Definition at line 103 of file schnorr.test.cpp.

TEST() [2/4]

TEST	(	stdlib_schnorr	,
		schnorr_verify_signature
	)

Test:

Test circuit verifying a Schnorr signature generated by

See also

{crypto::schnorr_verify_signature}. We only test: messages signed and verified using Grumpkin and the BLAKE2s hash function. We test strings of lengths 0, 1, ..., 33.

Definition at line 23 of file schnorr.test.cpp.

TEST() [3/4]

TEST	(	stdlib_schnorr	,
		signature_verification_result_failure
	)

Test:

Like stdlib_schnorr.verify_signature_failure, but we use the function signature_verification that produces a boolean witness and allow for proving that a signature verification fails.

Definition at line 138 of file schnorr.test.cpp.

TEST() [4/4]

TEST	(	stdlib_schnorr	,
		verify_signature_failure
	)

Verification fails when the wrong public key is used.

Definition at line 61 of file schnorr.test.cpp.