arecibo
An advanced fork of Nova (contact:@huitseeker)
Language: rust
Author: Lily Sanchez (@lilys)
8 stars · 237 views
Files
- deny.toml (toml)
- README.md (md)
- benches (txt)
- sha256.rs (rs)
- recursive-snark.rs (rs)
- compressed-snark.rs (rs)
- bench-pr-comment.yml (yml)
- mod.rs (rs)
- lib.rs (rs)
- circuit.rs (rs)
- provider (txt)
- mod.rs (rs)
- shape_cs.rs (rs)
- test_shape_cs.rs (rs)
- cyclefold (txt)
- circuit.rs (rs)
- nifs.rs (rs)
- util.rs (rs)
- snark.rs (rs)
- gadgets.rs (rs)
- nova_circuit.rs (rs)
- mod.rs (rs)
- digest.rs (rs)
- supernova (txt)
- circuit.rs (rs)
- Readme.md (md)
- utils.rs (rs)
- error.rs (rs)
- snark.rs (rs)
- mod.rs (rs)
- test.rs (rs)
- r1cs (txt)
- .github (github)
- SOLIDITY_COMPAT_ISSUE.md (md)
- PERF_REGRESSION.md (md)
- workflows (txt)
- docs.yml (yml)
- solidity.yml (yml)
- r1cs.rs (rs)
- compute-digest.rs (rs)
- pcs.rs (rs)
- compressed-snark-supernova.rs (rs)
- common (txt)
- mod.rs (rs)
- supernova (txt)
- bench.rs (rs)
- mod.rs (rs)
- targets.rs (rs)
- supernova-ci.rs (rs)
- bench.env (env)
- recursive-snark-supernova.rs (rs)
- _typos.toml (toml)
- ThirdPartyNotices.txt (txt)
- rustfmt.toml (toml)
- LICENSE (txt)
- examples (txt)
- and.rs (rs)
- hashchain.rs (rs)
- minroot.rs (rs)
- .config (config)
- nextest.toml (toml)
- rust.yml (yml)
- gpu-bench.yml (yml)
- nightly.yml (yml)
- repo-sync.yml (yml)
- gpu-ci.yml (yml)
- dependabot.yml (yml)
- tables.toml (toml)
- rust-toolchain.toml (toml)
- build.rs (rs)
- src (txt)
- gadgets (txt)
- utils.rs (rs)
- r1cs.rs (rs)
- ecc.rs (rs)
- mod.rs (rs)
- nonnative (txt)
- bignat.rs (rs)
- util.rs (rs)
- secp_secq.rs (rs)
- pedersen.rs (rs)
- keccak.rs (rs)
- bn256_grumpkin.rs (rs)
- pasta.rs (rs)
- hyperkzg.rs (rs)
- util (txt)
- fb_msm.rs (rs)
- mod.rs (rs)
- traits.rs (rs)
- mod.rs (rs)
- tests (txt)
- mod.rs (rs)
- ipa_pc.rs (rs)
- poseidon.rs (rs)
- ipa_pc.rs (rs)
- kzg_commitment.rs (rs)
- non_hiding_zeromorph.rs (rs)
- nifs.rs (rs)
- traits (txt)
- circuit.rs (rs)
- snark.rs (rs)
- commitment.rs (rs)
- evaluation.rs (rs)
- mod.rs (rs)
- errors.rs (rs)
- bellpepper (txt)
- solver.rs (rs)
- util.rs (rs)
- mod.rs (rs)
- sparse.rs (rs)
- constants.rs (rs)
- spartan (txt)
- sumcheck (txt)
- engine.rs (rs)
- mod.rs (rs)
- snark.rs (rs)
- polys (txt)
- identity.rs (rs)
- power.rs (rs)
- univariate.rs (rs)
- masked_eq.rs (rs)
- eq.rs (rs)
- multilinear.rs (rs)
- mod.rs (rs)
- batched.rs (rs)
- ppsnark.rs (rs)
- mod.rs (rs)
- macros.rs (rs)
- math.rs (rs)
- batched_ppsnark.rs (rs)
- .clippy.toml (toml)
- .cargo (cargo)
- config.toml (toml)
- Cargo.toml (toml)
- ATTRIBUTION.md (markdown)