Pinned Loading

1. ZKPVerification ZKPVerification Public

   Python 2 1

2. upa upa Public

   UPA is the proof aggregation engine built by NEBRA team.

   Rust 22 1

3. upa-sp1-project-template upa-sp1-project-template Public template

   Forked from succinctlabs/sp1-project-template

   Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

   Rust 3

4. upa-risc0-foundry-template upa-risc0-foundry-template Public

   Forked from risc0/risc0-foundry-template

   Template for integrating RISC Zero and Ethereum using Foundry, Bonsai and NEBRA UPA

   Rust