Commit history
S
Clippy formatting (#131)
* Clippy with Rust 1.67
* Clippy/Rustfmt with Rust 1.66.1
b2adab6Samuel Burnham committed on Jan 31, 2023
S
parallel and batch_normalize (#129)
use a macro to remove redundant code
add a test case
7450193Srinath Setty committed on Jan 31, 2023
S
use serde feature to compute the digest of the shape (#132)
746af53Srinath Setty committed on Jan 31, 2023
S
Add Wasm support (#125)
* Add Wasm support
* Use SeedableRng for Wasm randomness
* Fix tests
* Formatting
55f6736Samuel Burnham committed on Jan 30, 2023
N
Speed up MSMs for non-GPU accelerated MSMs and architectures that don't support GPU/semolina (#126)
* WASM target support
* fast multiexp for WASM
* add parallelisation for MSM
https://github.com/zcash/halo2/blob/main/halo2_proofs/src/arithmetic.rs
6c6a874Nalin committed on Jan 27, 2023
S
A simplified version of the nonnative gadgets (#122)
23178ffSrinath Setty committed on Jan 18, 2023
S
Update crate versions (#119)
* update crate versions
* fix clippy issues
* cargo fmt
6044affSrinath Setty committed on Nov 21, 2022
S
Make Nova's ecc gadgets read curve parameters from the group trait (#115)
* make ecc gadgets defined over Group rather than PrimeField
* use curve parameters from Group trait
f9672faSrinath Setty committed on Sep 22, 2022
S
optimize ECC ops (#110)
* optimize ECC ops
* update version
7ec2f57Srinath Setty committed on Aug 23, 2022
S
optimize point add constraints (#106)
* optimize add constraints
* optimize double by rewriting a constraint involving an inverted element
3c68673Srinath Setty committed on Aug 18, 2022
S
Support for arbitrary arity for step circuit's IO (#107)
* support for arbitrary arity for F
* revive MinRoot example
* revive tests
* revive ecdsa
* remove unused code
* use None instead of Some(1u32)
* revive benches
* fix clippy warning
ccc6ccdSrinath Setty committed on Aug 16, 2022
S
integrate with neptune's sponge (#105)
* integrate with neptune's sponge
* fix clippy warning
* add checks to ensure at most one squeeze
* add checks to ensure at most one squeeze
0a7cbf9Srinath Setty committed on Aug 11, 2022
S
Update crate versions (#104)
* update crates to their latest version
* use latest pasta-msm
ddd90f7Srinath Setty committed on Aug 10, 2022
S
pad two IPA instances to the same size when folding (#103)
c7e8782Srinath Setty committed on Jul 27, 2022
S
optimize the non-native arithmetic and hashing costs by using 4 limbs instead of 8 (#102)
a56f823Srinath Setty committed on Jul 27, 2022
S
optimize MinRoot constraint system (#101)
* optimize MinRoot constraint system to not allocate unneeded advice variables
run with multiple MinRoot iterations per Nova step in a loop
* fix clippy warnings
111abcaSrinath Setty committed on Jul 27, 2022
S
Optimizations (#100)
* avoid creating commitments to zero vectors
* reduce the number of constraints in each iteration from 4 to 3
06192acSrinath Setty committed on Jul 27, 2022
S
Simplifications in Nova's RO (#98)
* rename methods for better clarity
* rename
* Bump version
3dc26fdSrinath Setty committed on Jul 25, 2022
S
Fix benches so it varies the number of constraints in the augmented circuit in powers of 2 (#97)
* vary the number of constraints in the step circuit
* use a different starting state
c6fa4d4Srinath Setty committed on Jul 21, 2022
A
ecdsa signature proof (#92)
* ecdsa signature proof
* use the library-provided default circuit
* small reorg
Co-authored-by: Srinath Setty <srinath@microsoft.com>
ed915b2Arthur Greef committed on Jul 19, 2022
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