Sean Bowe
|
b998190f9e
|
Disable this, for now.
|
7 years ago |
|
Sean Bowe
|
0242ed35ab
|
Add some circuit tests for inputs.
|
7 years ago |
|
Sean Bowe
|
2d4be07560
|
Fix group hash comment.
|
7 years ago |
|
Sean Bowe
|
ef85173df5
|
Fix comments in jubjub code.
|
7 years ago |
|
Sean Bowe
|
b0b3514fa7
|
Add bench_50 example.
|
7 years ago |
|
Sean Bowe
|
1f65d4b353
|
Change tree depth to 32 in test.
|
7 years ago |
|
Sean Bowe
|
1f2bb62657
|
Rename proving key to proof generation key to disambiguate from the SNARK.
|
7 years ago |
|
Sean Bowe
|
c31092ce7f
|
Remove unnecessary mut binding.
|
7 years ago |
|
ebfull
|
c253e51e3d
|
Merge pull request #35 from ebfull/primitives
WIP bundle
|
7 years ago |
|
Sean Bowe
|
63c6830429
|
Cache fewer pedersen hash generators.
|
7 years ago |
|
Sean Bowe
|
7a9879eb54
|
Make EdwardsPoint (x, y) not public.
|
7 years ago |
|
Sean Bowe
|
f155c01cf5
|
Personalize GH for each generator independently.
|
7 years ago |
|
Sean Bowe
|
b831942501
|
Adopt BLAKE2s personalization throughout protocol.
|
7 years ago |
|
Sean Bowe
|
d21ff08176
|
Group hash should use a first block containing random data as per spec.
|
7 years ago |
|
Sean Bowe
|
058801bdfc
|
Switch to using the blake2-rfc crate instead.
|
7 years ago |
|
Sean Bowe
|
2e846844e7
|
Perform ak group order check in Spend circuit.
|
7 years ago |
|
Sean Bowe
|
7bb630a4b1
|
Use correct personalization for merkle tree.
|
7 years ago |
|
Sean Bowe
|
c6cf0c718c
|
Value placed in note contents should be in big endian bit order.
|
7 years ago |
|
Sean Bowe
|
b45a37febb
|
Add comments and reorder some generators.
|
7 years ago |
|
Sean Bowe
|
69010d1502
|
Relocate Pedersen hash personalization enum.
|
7 years ago |
|
Sean Bowe
|
8cbcd7739c
|
Rename into_bits and into_bits_strict to signify endianness.
|
7 years ago |
|
Sean Bowe
|
3971ecd375
|
Abstract away the boolean conversion of field witnessing.
|
7 years ago |
|
Sean Bowe
|
543f5cd49c
|
Change bit-endianness of into_bits/into_bits_strict.
|
7 years ago |
|
Sean Bowe
|
3e15751fd1
|
Allocate the note value directly in little-endian bit order.
|
7 years ago |
|
Sean Bowe
|
e52befb58e
|
Introduce inputize abstractions to simplify circuit code.
|
7 years ago |
|
Sean Bowe
|
51c35a9bcf
|
Adopt new versions of pairing and bellman.
|
7 years ago |
|
Sean Bowe
|
57687cf70f
|
Creation of the Note primitive.
|
7 years ago |
|
ebfull
|
4f4a2d63db
|
Merge pull request #34 from ebfull/output-circuit
WIP circuit development
|
7 years ago |
|
Sean Bowe
|
27674bf8ff
|
Derive Clone for EdwardsPoint.
|
7 years ago |
|
Sean Bowe
|
3346fba915
|
Implementation of Jubjub point representation.
|
7 years ago |
|
Sean Bowe
|
4441a0da41
|
Hash the constraint systems to check integrity.
|
7 years ago |
|
Sean Bowe
|
23d17b9042
|
Minor adjustments.
|
7 years ago |
|
Sean Bowe
|
7a7774d8af
|
Remove unused imports in Boolean.
|
7 years ago |
|
Sean Bowe
|
8c37212645
|
Remove kary_and from Boolean.
|
7 years ago |
|
Sean Bowe
|
a45986ff97
|
Remove enforce_nand.
|
7 years ago |
|
Sean Bowe
|
0d56c7a902
|
Remove enforce_in_field.
|
7 years ago |
|
Sean Bowe
|
69abd0391f
|
Optimize into_bits_strict.
|
7 years ago |
|
Sean Bowe
|
97585a30ad
|
Remove from_bits_strict from AllocatedNum.
|
7 years ago |
|
Sean Bowe
|
c812805b31
|
Slight refactor of representations
|
7 years ago |
|
Sean Bowe
|
ba7298de3f
|
Crappy mock-up of the circuit.
|
7 years ago |
|
Sean Bowe
|
4b6623cf44
|
Add some personalization and a generator.
|
7 years ago |
|
ebfull
|
1a89b3a486
|
Merge pull request #33 from ebfull/general-improvements
General improvements
|
7 years ago |
|
Sean Bowe
|
e8480a2b2c
|
Utility for witnessing points on the curve.
|
7 years ago |
|
Sean Bowe
|
c221bc9126
|
Rename `mont` to `ecc` in circuit code.
|
7 years ago |
|
Sean Bowe
|
a1c749e6a0
|
Change fixed-base exponentiation API to handle scalars better.
|
7 years ago |
|
Sean Bowe
|
88bdff6ce9
|
Pedersen hashes with full optimization
|
7 years ago |
|
Sean Bowe
|
4fa73efc1e
|
Remove conditional negation implementation from AllocatedNum.
|
7 years ago |
|
Sean Bowe
|
c89d47bb07
|
Remove Montgomery point doubling implementation in the circuit.
|
7 years ago |
|
Sean Bowe
|
1610bcfbcf
|
Perform the y-coordinate conditional negation and lookup simultaneously.
|
7 years ago |
|
Sean Bowe
|
6f66fd3f9d
|
Express x and y coordinates from lookup as linear combinations.
|
7 years ago |
