Commit history

0df0a15e1b43699923e1279c7f2d4d5933a0a36d

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

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

Merge branch 'master' of https://github.com/scipr-lab/zexe

Pratyush Mishra committed on Mar 3, 2020

50c0511

Fix lint

ValarDragon committed on Feb 28, 2020

78e08ae

Fix error

ValarDragon committed on Feb 28, 2020

cba74c0

Fix linter errors

ValarDragon committed on Feb 28, 2020

3cb1ed0

Fix ns issue

Pratyush Mishra committed on Feb 28, 2020

77837b4

Fix ns

ValarDragon committed on Feb 28, 2020

cb1bcb1

Update to use bit iterator

ValarDragon committed on Feb 28, 2020

b63d255

Add exponentiation by constant to Fp

ValarDragon committed on Feb 28, 2020

8cce650

Generalize FFT infrastructure to work with group elements as well

Pratyush Mishra committed on Feb 28, 2020

7adcc69

Export `algebra-core::error`

Pratyush Mishra committed on Feb 28, 2020

faf179c

Make benchmarks compile, and check them in CI

Pratyush Mishra committed on Feb 27, 2020

2298df2

Refactor `algebra` API, split into `algebra` and `algebra-core`. (#100)

Pratyush Mishra committed on Feb 26, 2020

8bf042a

crypto-primitives no-std (#96)

Marek Kotewicz committed on Feb 20, 2020

d4896ad

Cargo fmt

howardwu committed on Feb 16, 2020

02e6b32

Adds NIZK benchmarking, updates crypto-primitives benchmarks

howardwu committed on Feb 15, 2020

2949c0e

Add new additive and multiplcative ops for fields

Pratyush Mishra committed on Feb 14, 2020

bd50144

r1cs-std works with no-std (#92)

Marek Kotewicz committed on Feb 5, 2020

9621bd3

no_std for algebra and r1cs-core (#76)

Marek Kotewicz committed on Jan 31, 2020

a77972b

Fix blake2s table alighnments

ValarDragon committed on Jan 28, 2020

5e57ac5

Add badge from deps.rs

François Garillot committed on Jan 27, 2020

df6e235

Update dependencies

François Garillot committed on Jan 27, 2020

a4a8116

Runs rustfmt on the repo

François Garillot committed on Jan 23, 2020

b26867f

Make libraries compile

Pratyush Mishra committed on Jan 19, 2020

a3e1cd6

Update Cargo.toml

Pratyush Mishra committed on Jan 18, 2020

762793c

num_traits:: -> algebra::

Pratyush Mishra committed on Jan 18, 2020

40cf13b

[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

r1cs-std: makes extension field to_bits create namespaces for the individual elements

Kobi Gurkan committed on Jan 16, 2020

b8a81b5

Boolean conditional select

Pratyush Mishra committed on Dec 12, 2019

2a8974e

Clean up a few loop bounds