Commit history
S
move StepSNARK to nifs.rs in prep for recursion APIs (#61)
* move StepSNARK to nifs.rs in prep for recursion APIs
* clippy
e8a6e45Srinath Setty committed on May 15, 2022
i
Base case for second circuit (#60)
* output the incoming instance as the running instance in one of the circuits
* Make some verifier circuit inputs optional (for base case)
9f7c12diontzialla committed on May 14, 2022
S
delegate sampling of generators to trait implementors (#59)
3193d67Srinath Setty committed on May 14, 2022
S
remove unneeded tracking and checks (#55)
* remove unneeded tracking and checks
* remove unused error type
fab0768Srinath Setty committed on May 13, 2022
S
Switch RO to use the one in the Group trait (#54)
* switch to RO in the Group trait
* simplify compression
* absorb IO as bignum for relaxedR1CS
677fe23Srinath Setty committed on May 13, 2022
S
absorb running instance separately (for clarity) (#52)
82b7fabSrinath Setty committed on May 13, 2022
S
add hash(params, U, z0, zi, i) when generating a challenge (#51)
* add hash(params, U, z0, zi, i) when generating a challenge
* address clippy
706d688Srinath Setty committed on May 13, 2022
S
Truncate digest bits (#50)
* apply a hash function before adding to transcript
* truncate shape_digest into 250 bits
* add missing file
* fix clippy
* cargo fmt
ccc6dc3Srinath Setty committed on May 13, 2022
S
implement transcript methods for various types (#49)
* implement transcript methods for various types
* address clippy
* add shape to transcript
0d53db1Srinath Setty committed on May 12, 2022
A
Change alloc_num_equals arguments to references (#45)
9a466d1Arthur Greef committed on Apr 29, 2022
S
Accelerated MSM prep (#41)
* remove send + sync
* introduce a new associative type to capture any form of preprocessing on group elements
* update pasta_curves version
* simplify trait requirements
* fix clippy
bcbdec2Srinath Setty committed on Apr 25, 2022
S
make gadgets public, expose coords, cleanup (#39)
* make gadgets public, expose coords, cleanup
* fix clippy
751b343Srinath Setty committed on Apr 25, 2022
S
Wasm support (#34)
* Bump commit.
* Add wasm support
* Add nix build
* Update bellperson
* Update bellperson
* Remove Nix
* Remove .envrc
* Always use bellperson
* Use updated bellperson-nonnative
* Update bellperson-nonnative
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
Co-authored-by: Anders Christiansen Sørby <anders@sorby.xyz>
fbc855dSamuel Burnham committed on Apr 25, 2022
i
Refactor circuit code (#37)
* update crate versions
* refactor
* small tweaks
* run cargo fmt
* fix comments
* remove unused code
* address clippy
Co-authored-by: Srinath Setty <srinath@microsoft.com>
4656a71iontzialla committed on Apr 25, 2022
S
update crate versions (#36)
This PR updates the crate versions of neptune, bellperson, and bellperson-nonnative to the latest.
72920fbSrinath Setty committed on Apr 25, 2022
S
add tinyr1cs example using bellperson (#33)
* add tinyr1cs example using bellperson
* clippy
beb6dacSrinath Setty committed on Apr 21, 2022
S
Base case cleanup (#32)
* small cleanup
* small cleanup
c2106e8Srinath Setty committed on Apr 21, 2022
S
output h2 as AllocatedNum (#31)
* output h2 as AllocatedNum
* clippy
dcea0beSrinath Setty committed on Apr 15, 2022
S
make step_circuit mandatory; add support for longer hashes (#30)
9a0f560Srinath Setty committed on Apr 15, 2022
S
PrimeField --> ff::PrimeField (#28)
* PrimeField --> ff::PrimeField
* cargo fmt
9a44d06Srinath Setty committed on Apr 14, 2022
S
Cleanup (#27)
* VerificationCircuit --> NIFSVerifierCircuit, for clarity
* InnerCircuit --> StepCircuit
* Rename
* cleanup imports
* additional cleanup in the test
* small cleanup
c20da2fSrinath Setty committed on Apr 13, 2022
p
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>
648eb0bporcuquine committed on Apr 8, 2022
p
Use bellperson v0.19.0. (#18)
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
2919fe4porcuquine committed on Mar 22, 2022
p
Use pasta_curves 0.3.0. (#15)
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
853ab90porcuquine committed on Feb 15, 2022
S
fix bellperson path; address minor clippy-suggested edit
ff885c4Srinath Setty committed on Oct 14, 2021
p
Derive more traits. (#7)
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
3e80c5cporcuquine committed on Oct 8, 2021
p
Support Pasta curves. (#4)
* Support pasta curves directly.
* Upgrade rand.
* Simplify.
* Don't deny missing docs.
Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
de5b8d6porcuquine committed on Sep 27, 2021
S
update package name; make modules public and add docs
25913f6Srinath Setty committed on Sep 2, 2021
d
refactor: bring back compressed snark
and cleanup some group op traits
3ba8fd2dignifiedquire committed on Sep 1, 2021
S
generic traits for prime field elements and group elements
732d937Srinath Setty committed on Aug 31, 2021