arnaucube
arnaucube/ark-r1cs-stdPublic Self-hosted repository

Commit history

d4a2d31d0790bc6e0ca35ec42cdb527f61220959
P
Fix Vec imports for no_std
Pascal Berrang committed on Apr 7, 2020
d4a2d31
P
Fix CI to test more code in `no_std`
Pratyush Mishra committed on Apr 8, 2020
5659b0d
P
Switch to `stable` cargo formatting options
Pratyush Mishra committed on Apr 7, 2020
33a9da0
P
Fix #172 and improve squaring code for deg-3 extensions (#174)
Pratyush Mishra committed on Apr 7, 2020
456f30a
P
MNT4/6 curves and recursive SNARKs (#150) * Add mnt6_753 curve Generalize mnt6 curve model * Add mnt4 curves * Use resampled generators * Calculate correct G2 cofactors * Add fields to r1cs-std * Add pairings * Improve reusing of Fq/Fr among MNT curves * Add instantiations of curves Fix Fp6_2over3 Rebase code to current master * Add test for recursive NIZK proof verification * Address comments in PR * Improve test case and port to GM17 Also fix a minor bug in to_field_vec
Pascal Berrang committed on Apr 4, 2020
8631f88
P
Fix MerkleTree leaf index calculation
Pratyush Mishra committed on Apr 1, 2020
81f3105
K
fmt and docs
Kobi Gurkan committed on Mar 28, 2020
c58fc31
K
removes unused struct + fmt
Kobi Gurkan committed on Mar 28, 2020
ded3d68
K
moves cmp to be under FpGadget
Kobi Gurkan committed on Mar 28, 2020
8cd0999
K
changes test name
Kobi Gurkan committed on Mar 23, 2020
60058b2
K
uses core instead of std
Kobi Gurkan committed on Mar 23, 2020
bd86eb4
K
fmt
Kobi Gurkan committed on Mar 23, 2020
b0f266d
K
makes API cmp-like
Kobi Gurkan committed on Mar 23, 2020
7ed38fe
K
adds a smaller than gadget
Kobi Gurkan committed on Mar 17, 2020
ccbb5ef
W
Update uint64.rs
Weikeng Chen committed on Mar 26, 2020
33f7d39
w
used AllocGadget for UInt64
weikeng committed on Mar 26, 2020
a205f19
G
Apply suggestions from code review Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
Georgios Konstantopoulos committed on Mar 24, 2020
0ffa409
G
test: ensure the Counter and the System match
Georgios Konstantopoulos committed on Mar 23, 2020
f4e0307
G
chore: add helper
Georgios Konstantopoulos committed on Mar 23, 2020
695df97
G
feat: TestConstraintCounter
Georgios Konstantopoulos committed on Mar 23, 2020
951a622
P
Change default `to_bits` and `to_bytes` functions to the safe versions
Pratyush Mishra committed on Mar 18, 2020
b1913a9
d
Update `derivative` requirement from 1 to 2 (#140)
dependabot-preview[bot] committed on Mar 16, 2020
b24e705
d
Update digest requirement from 0.7 to 0.8 (#141) * Update `digest` and `blake2` requirement from 0.7 to 0.8 Updates the requirements on [digest](https://github.com/RustCrypto/traits) to permit the latest version. - [Release notes](https://github.com/RustCrypto/traits/releases) - [Commits](https://github.com/RustCrypto/traits/compare/digest_v0.7.2...digest-v0.8.1) Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>
dependabot-preview[bot] committed on Mar 16, 2020
9ca5a94
V
fix fmt check
ValarDragon committed on Mar 12, 2020
20af44e
V
Rename arguments to CondSelectGadget for code clarity
ValarDragon committed on Mar 12, 2020
23c6bb4
W
Follow the nightly's suggested fmt change
Weikeng Chen committed on Mar 4, 2020
6c0ee7f
w
Add UInt64 used for representing Merkle tree node locations
weikeng committed on Mar 4, 2020
e524e46
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
Pratyush Mishra committed on Mar 5, 2020
0df0a15
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
Pratyush Mishra committed on Mar 4, 2020
0b57cdd
P
Merge branch 'master' of https://github.com/scipr-lab/zexe
Pratyush Mishra committed on Mar 3, 2020
50c0511
V
Fix lint
ValarDragon committed on Feb 28, 2020
78e08ae
V
Fix error
ValarDragon committed on Feb 28, 2020
cba74c0
V
Fix linter errors
ValarDragon committed on Feb 28, 2020
3cb1ed0
P
Fix ns issue
Pratyush Mishra committed on Feb 28, 2020
77837b4
V
Fix ns
ValarDragon committed on Feb 28, 2020
cb1bcb1
V
Update to use bit iterator
ValarDragon committed on Feb 28, 2020
b63d255
V
Add exponentiation by constant to Fp
ValarDragon committed on Feb 28, 2020
8cce650
P
Generalize FFT infrastructure to work with group elements as well
Pratyush Mishra committed on Feb 28, 2020
7adcc69
P
Export `algebra-core::error`
Pratyush Mishra committed on Feb 28, 2020
faf179c
P
Make benchmarks compile, and check them in CI
Pratyush Mishra committed on Feb 27, 2020
2298df2
P
Refactor `algebra` API, split into `algebra` and `algebra-core`. (#100)
Pratyush Mishra committed on Feb 26, 2020
8bf042a
M
crypto-primitives no-std (#96)
Marek Kotewicz committed on Feb 20, 2020
d4896ad
h
Cargo fmt
howardwu committed on Feb 16, 2020
02e6b32
h
Adds NIZK benchmarking, updates crypto-primitives benchmarks
howardwu committed on Feb 15, 2020
2949c0e
P
Add new additive and multiplcative ops for fields
Pratyush Mishra committed on Feb 14, 2020
bd50144
M
r1cs-std works with no-std (#92)
Marek Kotewicz committed on Feb 5, 2020
9621bd3
M
no_std for algebra and r1cs-core (#76)
Marek Kotewicz committed on Jan 31, 2020
a77972b
V
Fix blake2s table alighnments
ValarDragon committed on Jan 28, 2020
5e57ac5
F
Add badge from deps.rs
François Garillot committed on Jan 27, 2020
df6e235
F
Update dependencies
François Garillot committed on Jan 27, 2020
a4a8116
F
Runs rustfmt on the repo
François Garillot committed on Jan 23, 2020
b26867f
P
Make libraries compile
Pratyush Mishra committed on Jan 19, 2020
a3e1cd6
P
Update Cargo.toml
Pratyush Mishra committed on Jan 18, 2020
762793c
P
num_traits:: -> algebra::
Pratyush Mishra committed on Jan 18, 2020
40cf13b
F
[RFC] Convert identity functions in Field, Group, and {Projective,Affine}Curve traits with One/Zero traits from num_traits. - contributes to #50, - depends on #53 and builds on it, - due to coherence & requirements of `num_traits::{Zero, One}` to implement `std::ops::Add<Self, ..>` and (resp.) `std::ops::Mul<Self, ..>`, I've had to replace the afferent `impl<'a, P: ..> (Add|Mul)<&'a Self> for Group(Affine|Projective)<P>` by direct implementations on `Self`, - I did not have to fight the borrow checker for this conversion => I think this hints arithmetic operations are called in contexts where the operand is owned, - hence should this end up on a merge track, we may want to open an issue to convert the `impl<'a, P:..> (Neg|Sub|..)<&'a Self> for ..<P>` trait usage to direct `impl<P:..> (Neg|Sub|..)<Self> for ..<P>` - the `impl AddAssign for GroupAffine<P>` in curves/models/short_weierstrass_jacobian.rs is provided to fit trait bounds, and without any guarantee of suitability for any particular purpose - and that, even though I don't think it's used.
François Garillot committed on Jan 13, 2020
722a901
K
r1cs-std: makes extension field to_bits create namespaces for the individual elements
Kobi Gurkan committed on Jan 16, 2020
b8a81b5
P
Boolean conditional select
Pratyush Mishra committed on Dec 12, 2019
2a8974e
F
Clean up a few loop bounds
François Garillot committed on Dec 2, 2019
ab65b01
F
Use operator syntax eliminate a few redundant references
François Garillot committed on Dec 2, 2019
f1d8b12
F
Simplify a few "if" structures
François Garillot committed on Dec 2, 2019
b42d5f8
F
Use built-in iteration functions more
François Garillot committed on Dec 2, 2019
53a51eb
F
Remove a few unnecessary clones
François Garillot committed on Dec 2, 2019
c42c7dd
F
Prefer to return error rather than ? them, avoid return when it cant be early (in a simple if-else)
François Garillot committed on Dec 2, 2019
d71bc5a
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
François Garillot committed on Dec 2, 2019
10c6e85
K
Adds Bowe-Hopwood hash
Kobi Gurkan committed on Nov 17, 2019
581f3df
P
Add Groth16 to Readme
Pratyush Mishra committed on Oct 23, 2019
19856bd
K
Adds license files as links
Kobi Gurkan committed on Oct 21, 2019
da0de7c
K
Update crypto-primitives/src/nizk/groth16/mod.rs Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
Kobi Gurkan committed on Oct 21, 2019
d292f63
K
Update crypto-primitives/src/nizk/groth16/mod.rs Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
Kobi Gurkan committed on Oct 21, 2019
e3d2ff1
K
Update crypto-primitives/src/nizk/groth16/mod.rs Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
Kobi Gurkan committed on Oct 21, 2019
7c5271a
K
Runs cargo fmt
Kobi Gurkan committed on Oct 21, 2019
fb87c42
K
Adds Groth16
Kobi Gurkan committed on Oct 20, 2019
98416f6
P
Merkle Tree name refactors
Pratyush Mishra committed on Oct 11, 2019
2a86b59
P
Update README with new directory structure and publication information
Pratyush Mishra committed on Oct 11, 2019
25e35a2
P
Remove unused file
Pratyush Mishra committed on Oct 11, 2019
42893ee
P
Add ToConstraintField impls for some primitives
Pratyush Mishra committed on Oct 11, 2019
cb2ff3b
P
Fix Blake2s gadget test
Pratyush Mishra committed on Oct 11, 2019
1b6f681
P
Fix benches
Pratyush Mishra committed on Sep 24, 2019
d318e70
P
Initial commit to extract crypto-primitives to new crate
Pratyush Mishra committed on Sep 24, 2019
a244e71
P
Update README.md
Pratyush Mishra committed on Sep 17, 2019
5a78e24
P
Upgrade rand to 0.7 (#33)
Pratyush Mishra committed on Sep 17, 2019
8ea084d
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
Pratyush Mishra committed on Sep 4, 2019
cfe2c8d
P
Update README
Pratyush Mishra committed on Aug 12, 2019
8da2ea6
P
Move ConstraintVar to r1cs-core
Pratyush Mishra committed on Aug 12, 2019
b617d21
P
Update r1cs-std tests
Pratyush Mishra committed on Aug 12, 2019
c610ecb
P
Move snark-gadgets to r1cs-std
Pratyush Mishra committed on Aug 12, 2019
e00d667
P
Move ConstraintSystem and related traits to own crate, and move gm17 to own crate.
Pratyush Mishra committed on Aug 12, 2019
3215173
P
Improve fixed and variable base MSMs
Pratyush Mishra committed on Aug 10, 2019
07ae71f
P
Merge pull request #10 from kobigurk/fix/377_g2_generators_comments Fixes comments for BLS12-377 G2 generators
Pratyush Mishra committed on Aug 8, 2019
72949c3
P
Update README
Pratyush Mishra committed on Aug 6, 2019
bb0cefb
H
Merge branch 'master' of https://github.com/scipr-lab/zexe
Howard Wu committed on Apr 3, 2019
8794a17
H
Update README
Howard Wu committed on Apr 3, 2019
5a2df1a
H
Merge branch 'master' of https://github.com/scipr-lab/zexe
Howard Wu committed on Apr 3, 2019
de7656d
P
Add link to Sean's github in README.md
Pratyush Mishra committed on Apr 2, 2019
0b17dcf
P
Initial release
Pratyush Mishra committed on Apr 2, 2019
981c20b
H
Update README.md
Howard Wu committed on Apr 2, 2019
2309c89
P
Merge branch 'master' into fix/377_g2_generators_comments
Pratyush Mishra committed on Aug 8, 2019
be80fdc
P
Upgrade ff-fft, gm17, and r1cs-std
Pratyush Mishra committed on Sep 17, 2019
0a507b0
P
Initial commit
Pratyush Mishra committed on Sep 16, 2019
bd723f9
P
Implement CanonicalSerialize/Deserialize improvements (#109) * Implement CanonicalSerialize/Deserialize improvements * Improve code readability by using cursor * Add tests for uncompressed serialization * Improve serialization size (do not require full u64 limbs to be serialised) * Change Flags to enum types * Split up serialization with and without flags. * Implement simple derive macro * Derive traits for Groth16 and GM17 keys and proofs
Pascal Berrang committed on Mar 3, 2020
b4b4e55