SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆29Jun 23, 2026Updated last month
Alternatives and similar repositories for sgx-prover
Users that are interested in sgx-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automata Multi-Prover AVS☆12Jun 23, 2026Updated last month
- 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
- ☆14Sep 28, 2020Updated 5 years ago
- EraVM implementation☆19Sep 5, 2024Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆19Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- ☆12Oct 4, 2023Updated 2 years ago
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year
- ☆29Sep 18, 2024Updated last year
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Jul 9, 2026Updated 2 weeks ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures☆21May 16, 2024Updated 2 years ago
- ☆12May 8, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆20May 31, 2024Updated 2 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆33Dec 19, 2024Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆152Updated this week
- Client-side proving benchmarks☆21Updated this week
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- ☆17Updated this week
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆94May 5, 2025Updated last year
- ECIES implementation with Curve25519.☆16Jun 15, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- ☆18Oct 27, 2025Updated 9 months ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- ☆19Apr 1, 2024Updated 2 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- On-chain Ethereum light client built with SP1☆82Jul 14, 2026Updated 2 weeks ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆45Oct 22, 2024Updated last year
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Jul 20, 2026Updated last week
- Source code, exercises from the book "Mastering Concurrency in Go" by Nathan Kozyra☆15Jun 24, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆35Jul 15, 2026Updated last week
- Web Assembly low level implementation of pairing friendly curves.☆16Jul 13, 2026Updated 2 weeks ago
- Blockscout verified smart-contracts dumps☆12Feb 5, 2022Updated 4 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆56Updated this week
- ☆26Nov 15, 2023Updated 2 years ago
- Expander Compiler☆43Jul 20, 2026Updated last week