Commit history

923c8a727f11860e076feb70f17816dbc04bce80

update workflows for testudo

maramihali committed on Nov 11, 2022

923c8a7

implement spartan verifier as a circuit and verify it with groth16

Mara Mihali committed on Aug 1, 2022

869bed6

implement spartan verifier as a circuit and verify it with groth16

Mara Mihali committed on Aug 1, 2022

c76f136

implement alternative transcript with poseidon backend

Mara Mihali committed on Jul 29, 2022

e7242a7

remove zero knowledge from spartan r1cs-sat proof and verification

Mara Mihali committed on Jul 21, 2022

09251a9

turn shake into poseidon

Mara Mihali committed on Jul 15, 2022

632b95b

migrate codebase to arkworks and change curve to bls12-377

Mara Mihali committed on Jun 17, 2022

b085c67

update readme (#56)

Srinath Setty committed on Oct 17, 2022

c5f2087

optimize the computation of digest of A/B/C matrices (#55) * optimize the computation of digest of A/B/C matrices * update version * address clippy * address clippy

Srinath Setty committed on Oct 17, 2022

0013f81

Update version and readme (#53) * bump version * update readme

Srinath Setty committed on Aug 16, 2022

d406405

fix comment (#49) Co-authored-by: ethan_000 <yuhuili@Yuhuis-MacBook-Air.local>

Ethan-000 committed on Aug 16, 2022

cb6e561

support for stable Rust (#51) * support for stable Rust * add no default to stable * add no default to stable * update CI

Srinath Setty committed on Aug 1, 2022

4f56acf

clippy fixes (#50) * clippy fixes * remove warning * fix clippy

Srinath Setty committed on Aug 1, 2022

e1383ff

Put simd_backend into default feature (#48) * move simd to default feature * rm simd Co-authored-by: jkwoods <jesskwoods@gmail.com>

Jess Woods committed on Aug 1, 2022

d6a1c21

refactor r1csproof to non-zk sumcheck

Mara Mihali committed on Jul 21, 2022

1e9930a

turn shake into poseidon

Mara Mihali committed on Jul 15, 2022

732566c

arkworks migration to bls12377

Mara Mihali committed on Jun 21, 2022

cc345b6

stuff

Mara Mihali committed on Jun 17, 2022

dda7a6f

Transcript (#46) * add items to transcript * add additional items to transcript * fix benches * cargo fmt

Srinath Setty committed on May 12, 2022

cecc2f1

remove asserts; return result objects (#45) * remove asserts; return result objects * bump version * clippy

Srinath Setty committed on May 4, 2022

6722e6c

fix version number (#38)

Srinath Setty committed on Oct 14, 2021

c9cdb0a

Update to latest Rust and fix Clippy warnings (#37) * Update to latest Rust and fix Clippy warnings * cleanup

Srinath Setty committed on Oct 14, 2021

19d1d63

upgrade crate version in README.md

Srinath Setty committed on Apr 22, 2021

f465aed

upgrade version

Srinath Setty committed on Apr 22, 2021

e62e575

Arbitrary number of variables and contraints (#34) * This commit makes adding an arbitrary number of variables and inputs possible and removes the implementation leaking to the interface for num_inps + 1 <= num_vars, num_vars: a power of 2, num_cons: a power of 2, but not 1. 1. When creating a new R1CS Instance throught the public interface, it is required # constraints and # of vars be a power of 2. I remove that requirement by padding with dummy constraints and vars until the nearest power of 2. 2. The sumcheck protocol in src/sumcheck.rs does not work for 1 constraint, even though 1 is a power of 2. I have to pad to a minimum of two constraints. 3. Added a test in src/r1csproof.rs called test_padded_constraints. * Move test to src/lib.rs * Remove padding metadata * remove unused use * Simplify padding to power of 2 * run cargo fmt * Fix indexing bug * Rayon is optional, depending on 'multicore' feature * Update rust toolchain * cargo fmt * cleaner to track num_vars_padded and num_cons_padded * cleanup * further cleanup * Cleanup & comments * small fixes * adjust code for padding constraints * fix a bug with pad call * add comment about num_nz_entries * extend padding to NIZK methods extend padding to NIZK methods Co-authored-by: Lef Ioannidis <elefthei@seas.upenn.edu> Co-authored-by: Srinath Setty <srinath@microsoft.com>

Lef Ioannidis committed on Apr 22, 2021

7bbc366

upgrade to use crates.io (#32)

Srinath Setty committed on Jan 12, 2021

096c079

Fix build on recent nightly compilers (upgrade packed_simd) (#30) * Upgrade curve25519-dalek to version 3 * Use a version of curve25519-dalek with an up-to-date packed_simd

Milkey Mouse committed on Jan 11, 2021

8f21680

annotation typo (#29)

3for committed on Dec 16, 2020

5b59893

Fold panics in the enclosing Error case (#27)

François Garillot committed on Oct 16, 2020

075ada9

Refactor to idiomatic Result/Option patterns (#25) This: - introduces a small [thiserror](https://github.com/dtolnay/thiserror)-powered enum to improve ProofVerifyError's messages, - refactors point decompression errors into a variant of that enum, thereby suppressing the panics which occur when decompresison fails. - folds other panics into the Error cases of their enclosing `Result` return

François Garillot committed on Sep 29, 2020

9e4c166

Add example proving knowledge of cubic equation solution (#26)

Jakub Konka committed on Sep 16, 2020

7b102a2

add import instructions

Srinath Setty committed on Sep 1, 2020

65b3e69

update metadata

Srinath Setty committed on Sep 1, 2020

6b95e05

additional error checking

Srinath Setty committed on Sep 1, 2020

1bb98a3

update version to 0.2.0

Srinath Setty committed on Aug 31, 2020

67a038e

Add APIs to specify an R1CS Instance (#24)

Srinath Setty committed on Aug 31, 2020

2d22bff

fix section pointer and small edits

Srinath Setty committed on Aug 5, 2020

131fad9

Some minor tweaks (#21) Minor tweaks

Daniel Lubarov committed on Aug 3, 2020

15a9826

add metadata to Cargo.toml

Srinath Setty committed on Jul 29, 2020

77aec3b

update version

Srinath Setty committed on Jul 13, 2020

d8cfa9d

Reduce the number of public APIs smaller and add more detailed documentation

Srinath Setty committed on Apr 29, 2020

c24a6ab

Address Clippy warnings