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)

    Loading code snippet…