Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SP1 prover in gramine and verifier in CosmWasm #9

Draft
wants to merge 30 commits into
base: main
Choose a base branch
from
Draft

SP1 prover in gramine and verifier in CosmWasm #9

wants to merge 30 commits into from

Commits on Oct 23, 2024

  1. Initial impl of prover enclave

    @hu55a1n1
    hu55a1n1 committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    c8ccdc6 View commit details
    Browse the repository at this point in the history

  2. Save proof to file

    @hu55a1n1
    hu55a1n1 committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    f495a2f View commit details
    Browse the repository at this point in the history

  3. Init SP1 verifier in CosmWasm

    @hu55a1n1
    hu55a1n1 committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    920a9bb View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2024

  1. Serialize proof as hex and print to stdout

    @hu55a1n1
    hu55a1n1 committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    72b9980 View commit details
    Browse the repository at this point in the history

  2. Add verifier code

    @hu55a1n1
    hu55a1n1 committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    7343f58 View commit details
    Browse the repository at this point in the history

  3. Default instantiate impl

    @hu55a1n1
    hu55a1n1 committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    a214d00 View commit details
    Browse the repository at this point in the history

  4. Print proof and vk in enclave

    @hu55a1n1
    hu55a1n1 committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    4c3db42 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. ExecuteMsg::VerifyProof fields b64

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    ca2dbdf View commit details
    Browse the repository at this point in the history

  2. Output execute msg directly from prover

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    cd0e60d View commit details
    Browse the repository at this point in the history

  3. Major cleanup for reducing bin size

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    f62555f View commit details
    Browse the repository at this point in the history

  4. Add deploy script

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    cd7985f View commit details
    Browse the repository at this point in the history

  5. Use groth16 prover

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    9a160f3 View commit details
    Browse the repository at this point in the history

  6. minor cleanup

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    cf3f325 View commit details
    Browse the repository at this point in the history

  7. Only support core verification

    @hu55a1n1
    hu55a1n1 committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    7fa4820 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Use sp1_verifier crate from yuwen/verifier-crate

    @hu55a1n1
    hu55a1n1 committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    0691553 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. Add rust-toolchain.toml

    @hu55a1n1
    hu55a1n1 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    76c564d View commit details
    Browse the repository at this point in the history

  2. Impl dummy VerifyBls12PairingEquality

    @hu55a1n1
    hu55a1n1 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    4402487 View commit details
    Browse the repository at this point in the history

  3. update deploy script for neutrond

    @hu55a1n1
    hu55a1n1 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    fa3bf17 View commit details
    Browse the repository at this point in the history

  4. Impl VerifyBls12PairingEqualityRaw

    @hu55a1n1
    hu55a1n1 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    dd88de1 View commit details
    Browse the repository at this point in the history

  5. Back to opt-level 3

    @hu55a1n1
    hu55a1n1 committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    775924a View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. Impl VerifyProofFrame (& import groth16 verifier)

    @hu55a1n1
    hu55a1n1 committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    64f8d87 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. VerifyCompressedProof impl

    @hu55a1n1
    hu55a1n1 committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    e3bba0e View commit details
    Browse the repository at this point in the history

  2. Update prover to output compressed proof

    @hu55a1n1
    hu55a1n1 committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9ee2c0f View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. Noir gramine prover

    @hu55a1n1
    hu55a1n1 committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    6144c66 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. Call nargo and bb from enclave

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    9d633d5 View commit details
    Browse the repository at this point in the history

  2. Update README.md

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    7686783 View commit details
    Browse the repository at this point in the history

  3. Increase max_threads to 8

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    66bf360 View commit details
    Browse the repository at this point in the history

  4. Fix gramine paths

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    8c7eb0f View commit details
    Browse the repository at this point in the history

  5. Try commands that wopnt fail

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    bb53149 View commit details
    Browse the repository at this point in the history

  6. Update README.md with output

    @hu55a1n1
    hu55a1n1 committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    0e0c19d View commit details
    Browse the repository at this point in the history