SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆29Jul 29, 2025Updated 8 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☆16Updated 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
- ☆15Sep 28, 2020Updated 5 years ago
- EraVM implementation☆19Sep 5, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- ☆28Sep 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 last year
- ☆12May 8, 2024Updated last year
- On-chain Ethereum light client built with SP1☆81Dec 16, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆20May 31, 2024Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆53Mar 20, 2026Updated last week
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆30Dec 19, 2024Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- A universal, trust-minimized intent settlement protocol.☆19Mar 17, 2026Updated last week
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆95May 5, 2025Updated 10 months ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆139Mar 20, 2026Updated last week
- ECIES implementation with Curve25519.☆16Jun 15, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- implentation of Ligerito☆19Nov 9, 2025Updated 4 months ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Mar 19, 2026Updated last week
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated 6 months ago
- ☆18Oct 27, 2025Updated 5 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 last year
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆45Oct 22, 2024Updated last year
- Source code, exercises from the book "Mastering Concurrency in Go" by Nathan Kozyra☆15Jun 24, 2017Updated 8 years ago
- ☆49Updated this week
- ☆26Nov 15, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Blockscout verified smart-contracts dumps☆12Feb 5, 2022Updated 4 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated last week