SeismicSystems / enclaveLinks
TEE stack for Seismic
☆17Updated 2 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
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 11 months ago
- Extractable Witness Encryption for KZG Commitments☆31Updated last year
- ☆27Updated 3 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆57Updated last month
- ☆32Updated last month
- RLN on KZG☆21Updated 2 years ago
- Testudo: Spartan + Groth16☆53Updated last year
- Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342☆16Updated 3 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 9 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Updated 3 years ago
- ☆24Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆71Updated 2 months ago
- An observatory fork of SP1☆76Updated 11 months ago
- Fiat-Shamir for the masses.☆87Updated last month
- A rust implementation of the Falcon post-quantum signature scheme☆24Updated last year
- ☆32Updated last year
- ☆26Updated last year
- Spartan on Arkworks☆44Updated 5 months ago
- ☆23Updated last year
- ☆50Updated 11 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- ☆31Updated 3 months ago
- On-chain Ethereum light client built with SP1☆80Updated last month
- A Rust library for proof-carrying disclosures☆23Updated last year
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Updated 2 years ago
- Witness encryption for KZG openings☆33Updated last year