Bring in QED-it Tests#101

Closed

defuse wants to merge 29 commits into

zcash:masterfrom

defuse:qed-it

Commits on Mar 12, 2019

pedersen_hash: prints hashes, adds comments

kobigurk
authored and
defuse
committed
pedersen_hash: adds tests for Daniel's vector

kobigurk
authored and
defuse
committed
pedersen hashes: example of size limit bug

kobigurk
authored and
defuse
committed
pedersen_hash: show a tighter limit for hash sizes

kobigurk
authored and
defuse
committed
pedersen_hash: removes debug prints

kobigurk
authored and
defuse
committed
pedersen_hash: adds test vectors for the circuit implementation

kobigurk
authored and
defuse
committed
Add blake2s test vectors for varying sizes from go-jubjub

kobigurk
authored and
defuse
committed
Fix blake2s test data length assertion.
defuse
committed
adds test vectors for NoteCommit

kobigurk
authored and
defuse
committed
input circuit: removes debug prints

kobigurk
authored and
defuse
committed
group_hash: adds test vectors generated by go-jubjub

kobigurk
authored and
defuse
committed
adds group hash test vectors and debug prints

kobigurk
authored and
defuse
committed
blake2s: adds test vectors from go-jubjub

kobigurk
authored and
defuse
committed
Fix rebase mistake
defuse
committed
A test vector for pedersen hash

Aurélien Nicolas
authored and
defuse
committed
Many test vectors for pedersen hash

Aurélien Nicolas
authored and
defuse
committed
Move test vectors into own module

Aurélien Nicolas
authored and
defuse
committed
Long and random PH test vectors

Aurélien Nicolas
authored and
defuse
committed
Long and random PH test vectors

Aurélien Nicolas
authored and
defuse
committed
PH test vectors for edge-cases

Aurélien Nicolas
authored and
defuse
committed
ecc: tests for assert_not_small_order

kobigurk
authored and
defuse
committed
ecc: test_assert_not_small_order also tests for the generators

kobigurk
authored and
defuse
committed
ecc: makes assert_not_small_order tests deeper

kobigurk
authored and
defuse
committed
boolean: adds tests for alloc_conditionally

kobigurk
authored and
defuse
committed
Calculate number of constraints and more comprehensive test

Aurélien Nicolas
authored and
defuse
committed
Test PH circuit for the size used in the Merkle tree

Aurélien Nicolas
authored and
defuse
committed
adds test for linear relation between pedersen hash generators

kobigurk
authored and
defuse
committed
Fix broken linear relation checking
defuse
committed

Commits on Apr 10, 2019

Fix build warnings
defuse
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Bring in QED-it Tests#101

Bring in QED-it Tests#101
defuse wants to merge 29 commits into
zcash:masterfrom
defuse:qed-it

Commits on Mar 12, 2019

pedersen_hash: prints hashes, adds comments

pedersen_hash: adds tests for Daniel's vector

pedersen hashes: example of size limit bug

pedersen_hash: show a tighter limit for hash sizes

pedersen_hash: removes debug prints

pedersen_hash: adds test vectors for the circuit implementation

Add blake2s test vectors for varying sizes from go-jubjub

Fix blake2s test data length assertion.

adds test vectors for NoteCommit

input circuit: removes debug prints

group_hash: adds test vectors generated by go-jubjub

adds group hash test vectors and debug prints

blake2s: adds test vectors from go-jubjub

Fix rebase mistake

A test vector for pedersen hash

Many test vectors for pedersen hash

Move test vectors into own module

Long and random PH test vectors

Long and random PH test vectors

PH test vectors for edge-cases

ecc: tests for assert_not_small_order

ecc: test_assert_not_small_order also tests for the generators

ecc: makes assert_not_small_order tests deeper

boolean: adds tests for alloc_conditionally

Calculate number of constraints and more comprehensive test

Test PH circuit for the size used in the Merkle tree

adds test for linear relation between pedersen hash generators

Fix broken linear relation checking

Commits on Apr 10, 2019

Fix build warnings