arnaucube
arnaucube/NovaPublic Self-hosted repository

Commit history

3445d7da61c328b7488bab628a156386e36e2117
S
remove unused constants (#40)
Srinath Setty committed on Apr 25, 2022
3445d7d
S
remove unused where (#38)
Srinath Setty committed on Apr 25, 2022
fd0b0b7
S
cleanup how points are allocated (#29)
Srinath Setty committed on Apr 15, 2022
866717a
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
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
S
remove test feature (we don't seem to use it) (#17)
Srinath Setty committed on Feb 18, 2022
e55d4f6
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
p
Rename Prover and ProvingAssignment.
porcuquine committed on Oct 13, 2021
efb73ef
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
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
fix keyword
Srinath Setty committed on Sep 2, 2021
bf08877
S
fix docs.rs link
Srinath Setty committed on Sep 2, 2021
c1fae71
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
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