☆26Mar 3, 2026Updated this week
Alternatives and similar repositories for StoffelVM
Users that are interested in StoffelVM are comparing it to the libraries listed below
Sorting:
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Oct 22, 2024Updated last year
- ☆32Feb 14, 2026Updated 3 weeks ago
- ☆26Nov 15, 2023Updated 2 years ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Jun 16, 2025Updated 8 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- A port of TinySMPC into Rust.☆22Nov 21, 2025Updated 3 months ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- Secure Computation Utilities☆16Feb 2, 2026Updated last month
- TEE stack for Seismic☆17Feb 25, 2026Updated last week
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- ☆21Feb 19, 2026Updated 2 weeks ago
- Browser-based Remote Attestation to TDX☆18Feb 7, 2025Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 5 months ago
- Nix, crates and tools for TEE handling☆19Updated this week
- ☆45May 7, 2025Updated 9 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 11 months ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- ☆23Jun 12, 2025Updated 8 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- ☆28Oct 31, 2025Updated 4 months ago
- ☆26Sep 25, 2024Updated last year
- ☆33Updated this week
- Encrypt and search your sensitive data in PostgreSQL, with no SQL changes☆54Feb 17, 2026Updated 2 weeks ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Feb 5, 2024Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 7 months ago
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- iris-mpc repository☆48Updated this week
- Fully Homomorphic Encryption library in Rust☆256Feb 11, 2026Updated 3 weeks ago
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- ☆28Sep 18, 2024Updated last year
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 3 weeks ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆39Oct 2, 2025Updated 5 months ago