6044aff625
Update crate versions ( #119 )
* update crate versions
* fix clippy issues
* cargo fmt
2 years ago
a56f823ace
optimize the non-native arithmetic and hashing costs by using 4 limbs instead of 8 ( #102 )
2 years ago
e373f4633d
edits to address clippy with the latest Rust ( #90 )
2 years ago
0863a732ff
Add asserts for constraint count ( #83 )
* Add asserts for constraint count
* switch to Standard strength
2 years ago
c29030b2d7
Release Candidate ( #82 )
* update version and README
* move tests to bellperson adapter and remove tests folder; make bellperson adapter private
2 years ago
9a44d06aec
PrimeField --> ff::PrimeField ( #28 )
* PrimeField --> ff::PrimeField
* cargo fmt
2 years ago
c20da2f58c
Cleanup ( #27 )
* VerificationCircuit --> NIFSVerifierCircuit, for clarity
* InnerCircuit --> StepCircuit
* Rename
* cleanup imports
* additional cleanup in the test
* small cleanup
2 years ago
648eb0bb6e
Fix CS::one() bug in solver. ( #24 )
* Test and fix solver CS::one() bug.
* Remove unused linear-combination evaluations.
* rustfmt
* Clippy.
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
2 years ago
338fbff9ac
Add missing doc comments.
3 years ago
8027bcf056
cargo fmt
3 years ago
ff885c4d5d
fix bellperson path; address minor clippy-suggested edit
3 years ago
efb73ef325
Rename Prover and ProvingAssignment.
3 years ago
3b668e7ac6
Add support for using bellperson to generate R1CS.
3 years ago
Srinath Setty
porcuquine
porcuquine