make spartan generic over the evaluation engine

update version

disable Wasm CI check

* Clippy with Rust 1.67

* Clippy/Rustfmt with Rust 1.66.1

use a macro to remove redundant code

add a test case

* Bump commit.

* Bump commit.

* (WIP) Add serde support

* Minor fixes

* Use neptune const generics

* Use git patches

* Impl serde for CompressedSNARK

* Update dependencies, revert to typenum

* Formatting

* Update bellperson-nonnative patch

* Cleanup

* Remove bellperson-nonnative fork

* Switch back to fil_pasta_curves

* Update forked dependencies

* Cleanup

* Remove unnecessary patch

* Update to lurk-pasta-msm

---------

Co-authored-by: porcuquine <porcuquine@users.noreply.github.com>

* Add Wasm support

* Use SeedableRng for Wasm randomness

* Fix tests

* Formatting

* WASM target support

* fast multiexp for WASM

* add parallelisation for MSM

https://github.com/zcash/halo2/blob/main/halo2_proofs/src/arithmetic.rs

* update crate versions

* fix clippy issues

* cargo fmt

* make ecc gadgets defined over Group rather than PrimeField

* use curve parameters from Group trait

* optimize ECC ops

* update version

* optimize add constraints

* optimize double by rewriting a constraint involving an inverted element

* 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

* integrate with neptune's sponge

* fix clippy warning

* add checks to ensure at most one squeeze

* add checks to ensure at most one squeeze

* update crates to their latest version

* use latest pasta-msm

* optimize MinRoot constraint system to not allocate unneeded advice variables

run with multiple MinRoot iterations per Nova step in a loop

* fix clippy warnings

* avoid creating commitments to zero vectors

* reduce the number of constraints in each iteration from 4 to 3

* rename methods for better clarity

* rename

* Bump version

* vary the number of constraints in the step circuit

* use a different starting state

* fix name

* Add 14

* ecdsa signature proof

* use the library-provided default circuit

* small reorg

Co-authored-by: Srinath Setty <srinath@microsoft.com>

use a default implementation for step circuit

* support multiple iterations of MinRoot per Nova step

* small edits to println

* fix declaration

* add the MinRoot VDF example

* optimize a bit

* optimization and cleanup

* clippy

* add examples to CI

* use inbuilt pow_vartime

* 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

* cleanup RO usage inside the circuit: use traits

* Add a note

* rename types for clarity

* Add asserts for constraint count

* switch to Standard strength

* update version and README

* move tests to bellperson adapter and remove tests folder; make bellperson adapter private

* cleanup code

* compiles

* additional plumbing

* add padding

* Add missing file

* integrate

* add a separate test

* cleanup

* cleanup

* add checks for outer sum-check

* sum-checks pass

* sum-checks pass

* sum-checks pass

* Add polycommit checks to the end

* switch to pasta_msm

* clippy

* remove int_log

* switch to pasta_curves

* clippy

* clippy

* add a special case for bases.len() = 1

* use naive MSM to avoid SIGFE error for smaller MSMs

* add rayon parallelism to naive MSM

* update comment since we already implement it

* address clippy

* cleanup map and reduce code

* add parallelism to final SNARK creation and verification

* add par

* add par

* add par

* add par

* store padded shapes in the parameters

* Address clippy

* pass padded shape in params

* pass padded shape in params

* cargo fmt

* add par

* add par

* Add par

* cleanup with a reorg

* factor out spartan-based snark into a separate module

* create traits for RelaxedR1CSSNARK

* make CompressedSNARK parameterized by a SNARK satisfying our new trait

* fix benches

* cleanup code

* remove unused

* move code to Spartan-based SNARK

* make unused function private

* rename IPA types for clarity

* cleanup

* return error types; rename r_j to r_i

* fix duplicate code

* add benches

* fix error

* put snark in a black_box when benchmarking verification time

* fix error in benches

* make addition complete. test addition corner cases. optimizations

* optimization and comment

* fix errors

* all tests pass

We currently implement a constant-factor compression, but in the future we will provide an exponential reduction in proof sizes

* use pasta_msm crate for MSM

* add repr-c to pasta_curves

* add +stable

* update pasta-msm version

* begin adding verification checks

* add verifier checks

* remove unnecessary dead_code