Commit history
S
reorganize traits into a module; cut boilerplate code (#91)
use a default implementation for step circuit
35cb03fSrinath Setty committed on Jul 14, 2022
S
MinRoot example improvements (#88)
* support multiple iterations of MinRoot per Nova step
* small edits to println
* fix declaration
a04566bSrinath Setty committed on Jul 11, 2022
S
Nova-based VDF using MinRoot as an example (#86)
* add the MinRoot VDF example
* optimize a bit
* optimization and cleanup
* clippy
* add examples to CI
* use inbuilt pow_vartime
ff40d17Srinath Setty committed on Jul 7, 2022
S
Support non-determinism with a minimal API (#85)
* support non-determinism with small changes to the interface
* update benches to use the new API
* add an example that exercises non-deterministic advice at each step of recursion
* tiny rename
* Address clippy; update version
63f08c0Srinath Setty committed on Jul 7, 2022
S
Abstract the RO used in the circuit with traits (#84)
* cleanup RO usage inside the circuit: use traits
* Add a note
* rename types for clarity
6667d2fSrinath Setty committed on Jul 5, 2022
S
Add asserts for constraint count (#83)
* Add asserts for constraint count
* switch to Standard strength
0863a73Srinath Setty committed on Jul 5, 2022
S
Release Candidate (#82)
* update version and README
* move tests to bellperson adapter and remove tests folder; make bellperson adapter private
c29030bSrinath Setty committed on Jul 1, 2022
i
Add benches (#79)
* add benches
* fix error
* put snark in a black_box when benchmarking verification time
* fix error in benches
81b1223iontzialla committed on Jun 14, 2022
i
Complete addition: handle addition of equal numbers and addition of negation (#78)
* make addition complete. test addition corner cases. optimizations
* optimization and comment
* fix errors
* all tests pass
bf35556iontzialla committed on Jun 9, 2022
S
IVC proof compression APIs and implementation (#77)
We currently implement a constant-factor compression, but in the future we will provide an exponential reduction in proof sizes
a7da105Srinath Setty committed on May 27, 2022
S
use pasta_msm crate for MSM (#75)
* use pasta_msm crate for MSM
* add repr-c to pasta_curves
* add +stable
* update pasta-msm version
8308c29Srinath Setty committed on May 26, 2022
S
Verifier's checks (#73)
* begin adding verification checks
* add verifier checks
* remove unnecessary dead_code
0154358Srinath Setty committed on May 18, 2022
S
Fix Wasm support (#64)
* Fix dependencies
* Replace rug with num-bigint
25cd5ecSamuel Burnham committed on May 17, 2022
S
Update README.md (#70)
* Update README.md
* Update README.md
dbe8837Srinath Setty committed on May 17, 2022
S
Recursion APIs (#62)
* recursion APIs (WIP)
* PublicParams struct and associated new
* fix build
* draft of APIs
* start with tests
* add a test case for the base case of recursion
07b3c42Srinath Setty committed on May 15, 2022
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