Sean Bowe
e1ab3be3cc
Implementation of conditional negation for AllocatedNum.
7 years ago
Sean Bowe
87548f3d1d
Implementation of Montgomery point addition in the circuit.
7 years ago
ebfull
041060e5ca
Merge pull request #13 from ebfull/tidy-up
...
Tidy up the codebase (TODOs into github issues)
7 years ago
Sean Bowe
031ae638ce
Tidy up the codebase (TODOs into github issues).
7 years ago
ebfull
49cc4e05d9
Merge pull request #4 from ebfull/refactor-jubjub
...
Group Hash implementation in the circuit
7 years ago
Sean Bowe
1e56289f19
Implementation of group hash in the circuit.
7 years ago
Sean Bowe
d143d3230a
Relocate grouphash implementation.
7 years ago
Jay Graber
635bd8104e
Add grouphash
7 years ago
Sean Bowe
7d6a57661b
Add Montgomery point interpretation.
7 years ago
Sean Bowe
eb8803f9eb
Implementation of `into_bits_strict` for `Num`.
7 years ago
Sean Bowe
068fbbc2be
Implementation of `into_bits` for `Num`.
7 years ago
Sean Bowe
6c6a193551
Implementation of `from_bits_strict` for `Num`.
7 years ago
Sean Bowe
d04c5acdb8
Implement `enforce_in_field` and `enforce_nand` for Boolean.
7 years ago
Sean Bowe
dfd82439de
Implementation of k-ary AND.
7 years ago
Sean Bowe
dc981e6abc
Allow linear combinations to be added together.
7 years ago
Sean Bowe
46cbfb4831
Implementation of Montgomery point doubling in the circuit.
7 years ago
Sean Bowe
8c4433ee82
Add 2A precomputation to jubjub parameters.
7 years ago
Sean Bowe
6b43a4ed10
Make UInt32::addmany produce constant results when fed constant inputs, to allow for blake2s block precomputation for group hash.
7 years ago
Sean Bowe
3a6e8d448f
Add `get_for_x` to Montgomery implementation.
7 years ago
Sean Bowe
e9d3923829
Refactor jubjub implementation to be abstract over field, parameters.
7 years ago
ebfull
bba5797e72
Merge pull request #2 from ebfull/mont-to-projective
...
Do not perform inversions when converting from montgomery to edwards
7 years ago
Sean Bowe
c0f5645ab4
Do not perform inversions when converting from Montgomery to projective extended twisted Edwards.
7 years ago
Sean Bowe
7c48792511
Some test cleanups.
7 years ago
Sean Bowe
bcb4925c6d
Rename "sapling" to "sapling-crypto" in COPYRIGHT.
7 years ago
Sean Bowe
96bcc84447
Change library name and add README.
7 years ago
Sean Bowe
86619c7334
Implementation of fundamental circuitry and primitive Jubjub curve arithmetic.
7 years ago
bmerge
a8583dd818
Auto merge of #71 - ebfull:expose-arith, r=ebfull
...
Expose arithmetic
This exposes `adc`/`sbb`/`mac_with_carry` from this library for downstream use, as long as a `expose-arith` feature is enabled. We need this downstream to avoid code duplication.
This also bumps to `0.13.2`.
7 years ago
Sean Bowe
fb679470db
Bump version.
7 years ago
Sean Bowe
04a32fb443
Introduce `expose-arith` unstable feature for exposing arithmetic functions downstream.
7 years ago
Sean Bowe
70a588ceee
Version bump
7 years ago
ebfull
3163e801b9
Merge pull request #16 from ebfull/recode
...
Part one of recoding bellman
7 years ago
Sean Bowe
5a88b4f818
Guarantee inheritance of variable type for public constraint system contexts.
7 years ago
bmerge
cc8be5b780
Auto merge of #70 - ebfull:comment-fixes, r=ebfull
...
Fix some comments
The `mod q` stuff was spotted by @Pratyush and/or @howardwu .
I just noticed the `// 2` typo.
7 years ago
Sean Bowe
b8394bf14d
Fix some comments.
7 years ago
bmerge
ed5a7f31e2
Auto merge of #69 - ebfull:0.13.1-release, r=ebfull
...
Release of 0.13.1
This release features the following changes:
* The `byteorder` version is now set to `1` as conventional.
* The `CurveAffine`/`CurveProjective` traits now enforce that the scalar field of the `Engine` is the same scalar field for the curves.
* `Engine` is now `'static` and `Clone` to avoid problems with lifetime quirks and auto-derives.
* The scalar field of `Engine` is now guaranteed to be `SqrtField` which helps downstream abstractions.
In this PR I will be updating the `clippy` version and fixing any linting problems that show up. The builder should be using the newest nightly/stable versions of Rust also.
7 years ago
Sean Bowe
bb1ced0bd7
Update clippy version.
7 years ago
Sean Bowe
566f100480
Release of 0.13.1.
7 years ago
bmerge
df9d2aaa37
Auto merge of #68 - ebfull:scalar-sqrt, r=ebfull
...
Scalar field should be guaranteed to be SqrtField
7 years ago
Sean Bowe
aa0cc06e5e
Scalar field should be guaranteed to be SqrtField.
7 years ago
Sean Bowe
1fc640e88f
Guarantee that we inherit the correct variable type.
7 years ago
Sean Bowe
92029393f6
Guarantee that variables are Copy+Clone.
7 years ago
Sean Bowe
1d394e00f6
Allow linear combination terms to be inspected for downstream evaluation.
7 years ago
Sean Bowe
e54c4bc1b3
Rename to `namespace_public`.
7 years ago
Sean Bowe
af91dcda33
Infrastructure for public input namespacing.
7 years ago
Sean Bowe
b7f2f9e409
Part one of Bellman being recoded.
7 years ago
bmerge
affead11a5
Auto merge of #67 - ebfull:static-engine, r=ebfull
...
Engine should always be 'static, for flexibility in downstream code.
7 years ago
Sean Bowe
4a1ac94799
Implement `Clone` for Bls12.
7 years ago
Sean Bowe
4b366a143d
Ensure `Engine`'s are always Clone.
7 years ago
Sean Bowe
6d55a4052a
Move everything into `oldsrc`.
7 years ago
Sean Bowe
945d86fe7d
Make the namespacing not introduce too much indirection.
7 years ago