SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆29Jul 29, 2025Updated 10 months ago
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☆12Jan 17, 2025Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆17May 13, 2026Updated 2 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
- ☆14Sep 28, 2020Updated 5 years ago
- EraVM implementation☆19Sep 5, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- ☆29Sep 18, 2024Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year
- 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☆20May 16, 2024Updated 2 years ago
- ☆12May 8, 2024Updated 2 years ago
- On-chain Ethereum light client built with SP1☆82May 19, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆20May 31, 2024Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆56May 13, 2026Updated 2 weeks ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆32Dec 19, 2024Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- A universal, trust-minimized intent settlement protocol.☆21Apr 20, 2026Updated last month
- 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
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆148May 20, 2026Updated last week
- ECIES implementation with Curve25519.☆16Jun 15, 2025Updated 11 months ago
- 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.
- implentation of Ligerito☆19Apr 16, 2026Updated last month
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Updated this week
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated 8 months ago
- ☆18Oct 27, 2025Updated 7 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- ☆19Apr 1, 2024Updated 2 years ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- 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.
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆45Oct 22, 2024Updated last year
- ☆26Nov 15, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Web Assembly low level implementation of pairing friendly curves.☆16Mar 20, 2026Updated 2 months ago
- An interface for the EVM in the browser, to simulate and visualize your onchain activity.☆27Nov 21, 2025Updated 6 months ago
- Blockscout verified smart-contracts dumps☆12Feb 5, 2022Updated 4 years ago
- Expander Compiler☆42Apr 9, 2026Updated last month