SeismicSystems / enclaveLinks
TEE stack for Seismic
☆17Updated 3 weeks ago
Alternatives and similar repositories for enclave
Users that are interested in enclave are comparing it to the libraries listed below
Sorting:
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆16Updated 3 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 11 months ago
- ☆32Updated this week
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Updated 3 years ago
- Rust crate to generate and verify proofs for Noir circuits☆23Updated 4 months ago
- An observatory fork of SP1☆77Updated 11 months ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- ☆28Updated 3 months ago
- Circom AES-GCM circuits☆35Updated this week
- Frobenius sumcheck for vectorized boolean ops☆56Updated 9 months ago
- Extractable Witness Encryption for KZG Commitments☆32Updated last year
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆57Updated last month
- RLN on KZG☆21Updated 2 years ago
- ☆31Updated 3 months ago
- Fiat-Shamir for the masses.☆87Updated last month
- Spartan on Arkworks☆46Updated 5 months ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Updated 4 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆72Updated 3 months ago
- ☆23Updated last year
- Polynomial Expression Engine☆35Updated last year
- Testudo: Spartan + Groth16☆53Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Circuits for Pluto's `web-prover`☆25Updated 9 months ago
- Minimal zkVM, targeting XMSS aggregation and recursion.☆68Updated this week
- ☆26Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Updated 3 years ago