arnaucube
arnaucube/NovaPublic Self-hosted repository

Commit history

4656a7179d2226ec689aac68cd33797c9d2a2ae4
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>
iontzialla committed on Apr 25, 2022
4656a71
S
update crate versions (#36) This PR updates the crate versions of neptune, bellperson, and bellperson-nonnative to the latest.
Srinath Setty committed on Apr 25, 2022
72920fb
S
add tinyr1cs example using bellperson (#33) * add tinyr1cs example using bellperson * clippy
Srinath Setty committed on Apr 21, 2022
beb6dac
S
Base case cleanup (#32) * small cleanup * small cleanup
Srinath Setty committed on Apr 21, 2022
c2106e8
S
output h2 as AllocatedNum (#31) * output h2 as AllocatedNum * clippy
Srinath Setty committed on Apr 15, 2022
dcea0be
S
make step_circuit mandatory; add support for longer hashes (#30)
Srinath Setty committed on Apr 15, 2022
9a0f560
S
cleanup how points are allocated (#29)
Srinath Setty committed on Apr 15, 2022
866717a
S
PrimeField --> ff::PrimeField (#28) * PrimeField --> ff::PrimeField * cargo fmt
Srinath Setty committed on Apr 14, 2022
9a44d06
S
Cleanup (#27) * VerificationCircuit --> NIFSVerifierCircuit, for clarity * InnerCircuit --> StepCircuit * Rename * cleanup imports * additional cleanup in the test * small cleanup
Srinath Setty committed on Apr 13, 2022
c20da2f
S
cleanup: merge ecc and ecc_circuit (#25)
Srinath Setty committed on Apr 8, 2022
cbc3fe8
S
support for stable Rust
Srinath Setty committed on Apr 8, 2022
bebcc94
S
bump version number
Srinath Setty committed on Apr 8, 2022
2783989
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>
porcuquine committed on Apr 8, 2022
648eb0b
S
Verifier circuit (#23) * ECC scalar multiplication (first draft) * fix clippy nits * start implementing the ro gadget: 1st design Poseidon + truncate * truncate to 128 bits * implement add + double in constraints * finish implementing constraints for ecc * cargo fmt * input of smul should be an array of bits * cleanup ro a bit. Make the challenge returned be a vec of allocated bits * switch to neptune 6.0 * start implementing high level circuit * incomplete version of the verifier circuit with many TODOS * optimize ecc ops. add i ==0 case to the circuit * fix 0/1 constants at the circuit * wrap CompressedGroupElement of Pallas and Vesta * cargo fmt * generate poseidon constants once instead of every time we call get_challenge * Implement RO-based poseidon to use outside of circuit. Reorganize the repo * add inner circuit to verification circuit * start adding folding of the io. there is an error in the first call to mult_mod * add test to check that bellperson-nonnative is compatible with nova * remove swap file * add another test that fails * add inputs to the circuits in tests * rename q to m in circuit.rs. add more tests in test_bellperson_non_native. change a in test_mult_mod to expose error * push test for equal_with_carried. fix the issue is src/r1cs.rs * cargo fmt + update the verifier circuit: add folding of X and update all hashes with X * make limb_width and n_limbs parameters * make params part of h1 * allocate the field order as constant. add check that z0 == zi when i == 0 * fix error in test_poseidon_ro * remove merge error * small fixes * small fixes to comments * clippy lints * small edits; rename tests * move inputize before from_num * _limbs --> _bn * _limbs --> _bn Co-authored-by: Ioanna <iontzialla@gmail.com>
Srinath Setty committed on Apr 7, 2022
e47b614
S
fix loop bound (#20)
Srinath Setty committed on Apr 1, 2022
6797e1e
p
Use bellperson v0.19.0. (#18) Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
porcuquine committed on Mar 22, 2022
2919fe4
S
remove test feature (we don't seem to use it) (#17)
Srinath Setty committed on Feb 18, 2022
e55d4f6
p
Use pasta_curves 0.3.0. (#15) Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
porcuquine committed on Feb 15, 2022
853ab90
S
Update version
Srinath Setty committed on Oct 20, 2021
5e5dd65
S
Update rust.yml
Srinath Setty committed on Oct 20, 2021
2a877f9
p
Add missing doc comments.
porcuquine committed on Oct 18, 2021
338fbff
p
Use released bellperson 0.18.0.
porcuquine committed on Oct 18, 2021
c28c421
S
cargo fmt
Srinath Setty committed on Oct 14, 2021
8027bcf
S
fix bellperson path; address minor clippy-suggested edit
Srinath Setty committed on Oct 14, 2021
ff885c4
p
Rename Prover and ProvingAssignment.
porcuquine committed on Oct 13, 2021
efb73ef
p
Add support for using bellperson to generate R1CS.
porcuquine committed on Oct 12, 2021
3b668e7
S
add CI (#9)
Srinath Setty committed on Oct 14, 2021
6e59ebc
S
bump the version number
Srinath Setty committed on Oct 8, 2021
4c711a9
p
Derive more traits. (#7) Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>
porcuquine committed on Oct 8, 2021
3e80c5c
p
Add InputOutputMismatch error.
porcuquine committed on Oct 5, 2021
cf5d708
S
minor nits
Srinath Setty committed on Oct 5, 2021
f87f9a0
S
bump the version number for crates.io
Srinath Setty committed on Oct 4, 2021
5829da7
S
This commit introduces the following changes: * Separate types for Relaxed R1CS and R1CS instances and witnesses * Allows creating default values for Relaxed R1CS types * StepSNARK now folds a regular R1CS instance-witness into a running Relaxed R1CS instance-witness * We additionally enforce input chaining checks: the incoming instance must have input that matches the output of the incremental computation thus far
Srinath Setty committed on Oct 4, 2021
61ef5fc
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>
porcuquine committed on Sep 27, 2021
de5b8d6
S
fix keyword
Srinath Setty committed on Sep 2, 2021
bf08877
S
fix docs.rs link
Srinath Setty committed on Sep 2, 2021
c1fae71
S
update package name; make modules public and add docs
Srinath Setty committed on Sep 2, 2021
25913f6
S
address clippy
Srinath Setty committed on Sep 2, 2021
7020d7a
S
Update README.md acks
Srinath Setty committed on Sep 1, 2021
45baf52
S
small cleanup
Srinath Setty committed on Sep 1, 2021
4b22ef2
d
refactor: bring back compressed snark and cleanup some group op traits
dignifiedquire committed on Sep 1, 2021
3ba8fd2
S
generic traits for prime field elements and group elements
Srinath Setty committed on Aug 31, 2021
732d937
S
remove asserts
Srinath Setty committed on Jul 27, 2021
06b1c4d
S
small fix
Srinath Setty committed on Jul 26, 2021
bb4079e
S
add acks and references
Srinath Setty committed on Jul 26, 2021
6075165
S
small fixes
Srinath Setty committed on Jul 23, 2021
d52be5c
S
initial commit
Srinath Setty committed on Jul 23, 2021
ba3a1e3
M
SUPPORT.md committed
Microsoft Open Source committed on Jul 22, 2021
a3f1ded
M
SECURITY.md committed
Microsoft Open Source committed on Jul 22, 2021
fe260cd
M
README.md updated to template
Microsoft Open Source committed on Jul 22, 2021
96d7d25
M
LICENSE updated to template
Microsoft Open Source committed on Jul 22, 2021
8275225
M
CODE_OF_CONDUCT.md committed
Microsoft Open Source committed on Jul 22, 2021
52ae0b7
S
Initial commit
Srinath Setty committed on Jul 22, 2021
a33960c