 Pratyush Mishra
|
5e00793999
|
Switch to `tracing`-based constraint debugging
|
4 years ago |
|
Pratyush Mishra
|
e22ab36f7e
|
Fix nits
|
4 years ago |
|
Pratyush Mishra
|
d2d1b61d08
|
Refactor NIZK/MT verification to return a bit
|
4 years ago |
|
Pratyush Mishra
|
6cca9327be
|
Refactor bit iteration infrastructure:
* `to_bits` -> `to_bits_le`
* `BitIterator` -> `BitIteratorLE` + `BitIteratorBE`
* `found_one`/`seen_one` -> `BitIteratorBE::without_leading_zeros`
|
4 years ago |
 Weikeng Chen
|
bce788419f
|
Export `impl_bounded_ops`
This would be necessary if, in another crate, one wants to implement operators.
|
4 years ago |
|
Pratyush Mishra
|
3bb3697c13
|
Update `crypto-primitives` and their contraints.
|
4 years ago |
|
Pratyush Mishra
|
f575af4da1
|
Update `Cargo.toml` in `r1cs-std` and delete useless `ConstraintSystem`s
|
4 years ago |
|
Pratyush Mishra
|
50388bdc22
|
Update concrete curves in `r1cs-std`.
|
4 years ago |
|
Pratyush Mishra
|
26953045d4
|
Update pairings in `r1cs-std`.
|
4 years ago |
|
Pratyush Mishra
|
5e65926a5e
|
Update curve variables in `r1cs-std`.
|
4 years ago |
|
Pratyush Mishra
|
8022b598fb
|
Update field variables in `r1cs-std`
|
4 years ago |
|
Pratyush Mishra
|
202ef3204d
|
Refactor variable traits in `r1cs-std`.
|
4 years ago |
|
Pratyush Mishra
|
7b0f71a10e
|
Refactor `bit` variables in `r1cs-std`
|
4 years ago |
|
Pratyush Mishra
|
ecee4d7059
|
Make CI test all-features
|
4 years ago |
|
Pratyush Mishra
|
04db0504ac
|
(cargo-release) start next development iteration 0.1.1-alpha.0
|
4 years ago |
|
Pratyush Mishra
|
6c90710e09
|
(cargo-release) start next development iteration 0.1.1-alpha.0
|
4 years ago |
|
Pratyush Mishra
|
37d79e20a7
|
(cargo-release) start next development iteration 0.1.1-alpha.0
|
4 years ago |
|
Weikeng Chen
|
61c70ed644
|
Prepare Zexe for recursion (#241)
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
|
4 years ago |
 Youssef El Housni
|
36305e7247
|
Implement ed_on_bn254 curve (baby-jubjub) (#230)
|
4 years ago |
 Dev Ojha
|
a83914af50
|
Add mul_by_inverse to FieldGadget (#227)
|
4 years ago |
|
Dev Ojha
|
75439b9b4d
|
Add constant folding to FpGadget<F> (#226)
|
4 years ago |
|
Weikeng Chen
|
885e9d7bad
|
Add constraints for Edwards curves over MNT4 (#221)
|
4 years ago |
|
Pratyush Mishra
|
9391b1fd04
|
Rename to `ed_on`
|
4 years ago |
|
Pratyush Mishra
|
7a0177e8c7
|
Re-export `edwards_on_cp6_782` as `edwards_on_bw6_761`
|
4 years ago |
|
Pratyush Mishra
|
40e89254e0
|
Fix no-std compilation
|
4 years ago |
|
Pratyush Mishra
|
d5e7d8bb36
|
Compilation fix
|
4 years ago |
|
Pratyush Mishra
|
1959a3de63
|
Rename curves
|
4 years ago |
|
Pratyush Mishra
|
07e8c79d79
|
Update README with new badge
|
4 years ago |
|
Pratyush Mishra
|
bbf732980f
|
Move to github actions
|
4 years ago |
 ValarDragon
|
349407faef
|
Speed up exp_by_const
|
4 years ago |
|
ValarDragon
|
c555535605
|
Improve invalid namespace error msg
|
4 years ago |
|
Pratyush Mishra
|
75c55f7bee
|
Change `from_repr` to output `Option<Self>`
|
4 years ago |
 Georgios Konstantopoulos
|
ecf863f541
|
expose function which enforces a <= (p-1)/2
|
4 years ago |
 Sergey Vasilyev
|
67196d8371
|
Formatting fix
|
4 years ago |
|
Sergey Vasilyev
|
0b87c84cdd
|
Merkle tree panics when there's a single leaf - fix
|
4 years ago |
|
Sergey Vasilyev
|
4e0d92a6ec
|
Merkle tree fails to compute the root when there's no need in dummy nodes - fix
|
4 years ago |
|
Sergey Vasilyev
|
97ca70b854
|
Merkle tree panics when there's a single leaf - test
|
4 years ago |
|
Sergey Vasilyev
|
f4e2039d61
|
Merkle tree fails to compute the root when there's no need in dummy nodes - test
|
4 years ago |
|
Georgios Konstantopoulos
|
ea2adb4f7f
|
fix(fp-cmp): use enforce unchecked in enforce unchecked function
|
4 years ago |
|
Pratyush Mishra
|
cc534494ec
|
Add x86_64 asm codegen for PrimeField mul and square (#176)
|
4 years ago |
|
Pratyush Mishra
|
04267f48a2
|
Merge remote-tracking branch 'upstream/master' into inline-asm
|
4 years ago |
|
Pratyush Mishra
|
11e689ddc0
|
Clean up features, and make nightly detection robust
|
4 years ago |
 jon-chuang
|
95fbfe06f6
|
Merge branch 'master' into inline-asm
|
4 years ago |
 Pascal Berrang
|
3708a444a2
|
Give Travis more time
|
4 years ago |
|
Pascal Berrang
|
9455f00c01
|
Add benchmark for mixed-radix and radix-2 FFT resembling the Groth16 operations.
|
4 years ago |
|
Pascal Berrang
|
13b9c6c6fe
|
Split FpParameters/PrimeField and add FFT related traits
|
4 years ago |
|
jon-chuang
|
b1f4c50fd8
|
Merge branch 'master' into inline-asm
|
4 years ago |
 Bruno França
|
bbb7d75ec8
|
Implement `conditional_check_verify` for `NIZK`s (#195)
* Implement `ToBitsGadget` for `UInt8` and `Vec<UInt8>`
* Add `kary_or` function to `Boolean`.
|
4 years ago |
|
jon-chuang
|
535f93d378
|
--emit=asm seemed to be hurting performance significantly... So lets not recommend it for now.
|
4 years ago |
|
jon-chuang
|
a919e8658c
|
update readme
|
4 years ago |
