Stoffel-Labs / StoffelVMView external linksLinks
☆24Feb 6, 2026Updated last 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 4, 2026Updated last week
- ☆26Nov 15, 2023Updated 2 years ago
- A silent threshold encryption scheme, which does not require any interaction during the setup phase☆38Jun 16, 2025Updated 7 months ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆36Oct 10, 2024Updated last year
- A port of TinySMPC into Rust.☆22Nov 21, 2025Updated 2 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Decree Fiat Shamir Library☆11Mar 27, 2024Updated last year
- ☆12Sep 11, 2024Updated last year
- Secure Computation Utilities☆16Feb 2, 2026Updated last week
- An implementation of the DudeCT constant-time function tester☆25Sep 18, 2023Updated 2 years ago
- ☆21Jan 26, 2026Updated 2 weeks ago
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- Browser-based Remote Attestation to TDX☆18Feb 7, 2025Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 4 months ago
- Nix, crates and tools for TEE handling☆19Updated this week
- ☆45May 7, 2025Updated 9 months ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- ☆23Jun 12, 2025Updated 8 months ago
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 10 months ago
- ☆28Oct 31, 2025Updated 3 months ago
- Encrypt and search your sensitive data in PostgreSQL, with no SQL changes☆44Feb 5, 2026Updated last week
- Experimental implementation of Sumcheck protocol using CUDA☆22Nov 14, 2024Updated last year
- ☆26Sep 25, 2024Updated last year
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- iris-mpc repository☆48Feb 6, 2026Updated last week
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 6 months 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
- Fully Homomorphic Encryption library in Rust☆254Updated this week
- 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
- ☆28Sep 18, 2024Updated last year
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆38Oct 2, 2025Updated 4 months ago
- Circom AES-GCM circuits☆35Feb 5, 2026Updated last week
- Pure-Python implementation of a threshold ecdsa signature scheme based on a secure multi-party computation (MPC) protocol for evaluating …☆30Mar 27, 2024Updated last year