Commit history
P
Better scalar multiplication for Short Weierstrass curves (#40)
Co-authored-by: Dev Ojha <ValarDragon@users.noreply.github.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
5e4114bPratyush Mishra committed on Jan 15, 2021
D
Make `mul_by_inverse` use one constraint (#42)
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
f88d7c6Dev Ojha committed on Jan 15, 2021
D
Add changelog and .github issue templates (#39)
* Add changelog and .github issue templates
bdc9fbbDev Ojha committed on Jan 14, 2021
W
Implement ToConstraintFieldGadget for Vec<UInt8> (#36)
* Implement ToConstraintFieldGadget for Vec<UInt8>
* Add documentation and implementation for slice
* Update documentation
2432ff4William Lin committed on Jan 11, 2021
N
Apply suggestions from code review
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
957ac48Nirvan Tyagi committed on Nov 20, 2020
W
Allow CS being none for into_edwards (#16)
* allow cs being none for into_edwards
edc9a8cWeikeng Chen committed on Nov 16, 2020
W
Make ToBitsGadget for FpVar's output constant-length (#12)
This is related to a Zexe issue https://github.com/scipr-lab/zexe/issues/289
Basically, ToBitsGadget for FpVar may produce shorter output for a constant value, which is undesired for a few reasons.
8dca325Weikeng Chen committed on Nov 12, 2020
P
*Actually* fix `to_affine` for SW points.
The prior PR (#9) multiplied by `self.z` instead of `self.z.inverse()`.
6077f51Pratyush Mishra committed on Nov 11, 2020
P
Fix SW `to_affine` (#9)
Adds constraints to check that the conversion to affine coordinates happened correctly.
ceec513Pratyush Mishra committed on Nov 10, 2020
K
fix: fix wrong constant case detection in three_bit_cond_neg_lookup
e5ec2e6Kobi Gurkan committed on Oct 30, 2020
P
Update to `arkworks` libraries (#3)
Co-authored-by: Nicholas Ward <npward@berkeley.edu>
636f93aPratyush Mishra committed on Oct 19, 2020
P
`R1CSVar`: `Option::None` -> `ConstraintSystemRef::None` (#281)
99e489cPratyush Mishra committed on Sep 16, 2020
P
Refactor bit iteration infrastructure:
* `to_bits` -> `to_bits_le`
* `BitIterator` -> `BitIteratorLE` + `BitIteratorBE`
* `found_one`/`seen_one` -> `BitIteratorBE::without_leading_zeros`
6cca932Pratyush Mishra committed on Aug 28, 2020
W
Export `impl_bounded_ops`
This would be necessary if, in another crate, one wants to implement operators.
bce7884Weikeng Chen committed on Aug 24, 2020
P
Update `Cargo.toml` in `r1cs-std` and delete useless `ConstraintSystem`s
f575af4Pratyush Mishra committed on Aug 24, 2020
P
(cargo-release) start next development iteration 0.1.1-alpha.0
04db050Pratyush Mishra committed on Sep 10, 2020
P
(cargo-release) start next development iteration 0.1.1-alpha.0
6c90710Pratyush Mishra committed on Sep 10, 2020
P
(cargo-release) start next development iteration 0.1.1-alpha.0
37d79e2Pratyush Mishra committed on Sep 10, 2020
W
Prepare Zexe for recursion (#241)
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
61c70edWeikeng Chen committed on Jul 20, 2020
P
Re-export `edwards_on_cp6_782` as `edwards_on_bw6_761`
7a0177ePratyush Mishra committed on Jun 10, 2020
G
expose function which enforces a <= (p-1)/2
ecf863fGeorgios Konstantopoulos committed on May 7, 2020
S
Merkle tree panics when there's a single leaf - fix
0b87c84Sergey Vasilyev committed on Apr 28, 2020
S
Merkle tree fails to compute the root when there's no need in dummy nodes - fix
4e0d92aSergey Vasilyev committed on Apr 28, 2020
S
Merkle tree panics when there's a single leaf - test
97ca70bSergey Vasilyev committed on Apr 28, 2020
S
Merkle tree fails to compute the root when there's no need in dummy nodes - test
f4e2039Sergey Vasilyev committed on Apr 28, 2020
G
fix(fp-cmp): use enforce unchecked in enforce unchecked function
ea2adb4Georgios Konstantopoulos committed on May 6, 2020
P
Add x86_64 asm codegen for PrimeField mul and square (#176)
cc53449Pratyush Mishra committed on May 4, 2020
P
Add benchmark for mixed-radix and radix-2 FFT resembling the Groth16 operations.
9455f00Pascal Berrang committed on Apr 14, 2020
P
Split FpParameters/PrimeField and add FFT related traits
13b9c6cPascal Berrang committed on Apr 14, 2020
B
Implement `conditional_check_verify` for `NIZK`s (#195)
* Implement `ToBitsGadget` for `UInt8` and `Vec<UInt8>`
* Add `kary_or` function to `Boolean`.
bbb7d75Bruno França committed on Apr 22, 2020
K
Adds alloc_constant to AllocGadget (#189)
* adds alloc constant to AllocGadget
* fmt
* fmt
* more alloc constant impls
* fmt
* even more impls
* fixes type
* fixes alloc_constant in gm17
* uses alloc_constant from field gadget in group gadgets
* fmt
* handle most comments
5cc094bKobi Gurkan committed on Apr 19, 2020
P
Fix #172 and improve squaring code for deg-3 extensions (#174)
456f30aPratyush Mishra committed on Apr 7, 2020
G
Apply suggestions from code review
Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
0ffa409Georgios Konstantopoulos committed on Mar 24, 2020
G
test: ensure the Counter and the System match
f4e0307Georgios Konstantopoulos committed on Mar 23, 2020
P
Change default `to_bits` and `to_bytes` functions to the safe versions
b1913a9Pratyush Mishra committed on Mar 18, 2020
d
Update `derivative` requirement from 1 to 2 (#140)
b24e705dependabot-preview[bot] committed on Mar 16, 2020
w
Add UInt64 used for representing Merkle tree node locations
e524e46weikeng committed on Mar 4, 2020
P
Blake PRF & R1CS Boolean Refactor (#132)
* refactor(r1cs-std/boolean): expose enforcing value less than functionality
* fix(r1cs-std/boolean): ensure num_bits is calculated correctly from the arg
* feat(primitives/blake2s): allow creating Blake2s with custom params
0df0a15Pratyush Mishra committed on Mar 5, 2020
P
Add a pre-commit hook for rustfmt (#102)
* add a pre-commit hook for rustfmt
* make printing sccache stats optional
* fixup! add a pre-commit hook for rustfmt
0b57cddPratyush Mishra committed on Mar 4, 2020
P
Merge branch 'master' of https://github.com/scipr-lab/zexe
50c0511Pratyush Mishra committed on Mar 3, 2020
P
Generalize FFT infrastructure to work with group elements as well
7adcc69Pratyush Mishra committed on Feb 28, 2020
P
Refactor `algebra` API, split into `algebra` and `algebra-core`. (#100)
8bf042aPratyush Mishra committed on Feb 26, 2020
h
Adds NIZK benchmarking, updates crypto-primitives benchmarks
2949c0ehowardwu committed on Feb 15, 2020
K
r1cs-std: makes extension field to_bits create namespaces for the individual elements
b8a81b5Kobi Gurkan committed on Jan 16, 2020
F
Use operator syntax
eliminate a few redundant references
f1d8b12François Garillot committed on Dec 2, 2019
F
Prefer to return error rather than ? them,
avoid return when it cant be early (in a simple if-else)
d71bc5aFrançois Garillot committed on Dec 2, 2019
F
Remove a few unnecessary `.into_iter()` explicit calls, and some cloning.
See https://rust-lang.github.io/rust-clippy/master/#explicit_into_iter_loop
10c6e85François Garillot committed on Dec 2, 2019
K
Update crypto-primitives/src/nizk/groth16/mod.rs
Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
d292f63Kobi Gurkan committed on Oct 21, 2019
K
Update crypto-primitives/src/nizk/groth16/mod.rs
Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
e3d2ff1Kobi Gurkan committed on Oct 21, 2019
K
Update crypto-primitives/src/nizk/groth16/mod.rs
Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
7c5271aKobi Gurkan committed on Oct 21, 2019
P
Update README with new directory structure and publication information
25e35a2Pratyush Mishra committed on Oct 11, 2019
P
Initial commit to extract crypto-primitives to new crate
a244e71Pratyush Mishra committed on Sep 24, 2019
P
Refactor FFT infrastructure (#28)
* Update API of EvaluationDomain
* Update gm17 to use new API
* Move fft infrastructure to its own crate
* Fix gm17 to work with ff-fft
* Refactor polynomial infrastructure
* Change .travis-yml to not compile in release and to not run DPC tests
cfe2c8dPratyush Mishra committed on Sep 4, 2019
P
Move ConstraintSystem and related traits to own crate, and move gm17 to
own crate.
3215173Pratyush Mishra committed on Aug 12, 2019
P
Merge pull request #10 from kobigurk/fix/377_g2_generators_comments
Fixes comments for BLS12-377 G2 generators
72949c3Pratyush Mishra committed on Aug 8, 2019
H
Merge branch 'master' of https://github.com/scipr-lab/zexe
8794a17Howard Wu committed on Apr 3, 2019
H
Merge branch 'master' of https://github.com/scipr-lab/zexe
de7656dHoward Wu committed on Apr 3, 2019
P
Merge branch 'master' into fix/377_g2_generators_comments
be80fdcPratyush Mishra committed on Aug 8, 2019
P
Merge remote-tracking branch 'upstream/master' into inline-asm
04267f4Pratyush Mishra committed on May 4, 2020
P
Clean up features, and make nightly detection robust
11e689dPratyush Mishra committed on May 4, 2020
j
--emit=asm seemed to be hurting performance significantly... So lets not recommend it for now.
535f93djon-chuang committed on Apr 23, 2020