Commit history
W
Fix dangling batch normalization for twisted Edwards curves (#102)
* push
debug
see if gens are broken
see if we can find why
test
copy
copy
normalize-batch
remove debug
remove debug
remove debug
make it similar
* consistency
* type
Co-authored-by: onewayfunc <onewayfunc@gmail.com>
2416780Weikeng Chen committed on Sep 3, 2022
W
Fix `is_zero` for twisted Edwards curves (#101)
* fix the te is_zero
* update CHANGELOG
Co-authored-by: onewayfunc <onewayfunc@gmail.com>
6b1cfd5Weikeng Chen committed on Sep 3, 2022
m
Use 2-NAF for representing ATE_LOOP_COUNT in MNT Miller loop (#96)
* 2-NAF for MNT pairings
* Apply suggestions from code review
* Apply suggestions from code review
* fix
* no std
* patch
* ci
Co-authored-by: Weikeng Chen <w.k@berkeley.edu>
Co-authored-by: onewayfunc <onewayfunc@gmail.com>
6512e48mmagician committed on Sep 3, 2022
W
Let `cargo build` work again for the new arkworks-rs algebra (#97)
* pr
* reduce test time
db6a3d6Weikeng Chen committed on Aug 21, 2022
M
Fix with latest arkworks version. (#95)
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
6d64f37Michele Orrù committed on Aug 1, 2022
A
Publicize non-zero weierstrass affine variables (#84)
Co-authored-by: Marcin <marcin.gorny.94@protonmail.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
4e1e8d0Alex Ozdemir committed on Mar 8, 2022
W
Upgrade to work with latest `ark-ff` (#90)
Co-authored-by: Sun <huachuang20@gmail.com>
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
b787440Weikeng Chen committed on Mar 7, 2022
W
Fix BLS12 G2PreparedGadget's AllocVar with a divisive twist (#77)
* fix
* tidy up Cargo; add changelog
* fix nostd
* removal of the test
* fmt
a2a5ac4Weikeng Chen committed on Aug 11, 2021
P
Introduce `mul_by_inverse_unchecked`, and use it (#75)
b6e7e94Pratyush Mishra committed on Jul 15, 2021
W
Enforce `mul_by_inverse` (#70)
* proposal to fix mul_by_inverse
* update CHANGELOG
* rollback to a secure impl
* update changelog
47ddbaaWeikeng Chen committed on Jul 6, 2021
W
Implement the `Sum` trait for `FpVar` (#71)
* impl sum for fpvar
* fmt
* grammar
* update the CHANGELOG
1ad2104Weikeng Chen committed on Jul 4, 2021
W
For reference, add a test for non-zero-affine (#69)
* add a test for non-zero-affine for reference
* add some doc
3871781Weikeng Chen committed on Jul 2, 2021
W
Release v0.3.0 (#66)
* Release v0.3.0
* fix the pr template
2b8e020Weikeng Chen committed on Jun 6, 2021
D
Use batch_inversion_and_mul within native lagrange interpolation (#63)
02ee91dDev Ojha committed on May 10, 2021
d
Upgrade to GitHub-native Dependabot (#61)
Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>
d1be6d1dependabot-preview[bot] committed on Apr 29, 2021
D
Rename AllocatedBit to AllocatedBool (#60)
* Rename AllocatedBit to AllocatedBool
* Update Changelog
* Fix independent fmt issues
5debc6fDev Ojha committed on Apr 9, 2021
T
Add DensePolynomialVar (#50)
* add folder structures similar to `ark-poly`
* add evaluate impl for DensePolynomialVar
* add tests
* fix no-std
* use ark_std::rand instead of SeedableRng
* add changelog
Co-authored-by: Weikeng Chen <w.k@berkeley.edu>
09f3613Tom Shen committed on Feb 4, 2021
W
replace `rand` with `ark_std::rand` and drop `rand_xorshift` (#51)
b741ffcWeikeng Chen committed on Feb 4, 2021
D
Switch to panic='abort' for safety across FFI boundaries (#47)
Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
1f83ffdDev Ojha committed on Feb 4, 2021
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