SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆29Jul 29, 2025Updated 9 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☆17Mar 24, 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 last year
- ☆12May 8, 2024Updated 2 years ago
- On-chain Ethereum light client built with SP1☆81Dec 16, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆20May 31, 2024Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆54Apr 22, 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 2 weeks ago
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Bolt: permissionless proposer commitments on Ethereum☆95May 5, 2025Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆144May 1, 2026Updated last week
- ECIES implementation with Curve25519.☆16Jun 15, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- implentation of Ligerito☆19Apr 16, 2026Updated 3 weeks ago
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Apr 11, 2026Updated 3 weeks ago
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated 8 months ago
- ☆18Oct 27, 2025Updated 6 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
- Source code, exercises from the book "Mastering Concurrency in Go" by Nathan Kozyra☆15Jun 24, 2017Updated 8 years ago
- ☆26Nov 15, 2023Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated last month
- Blockscout verified smart-contracts dumps☆12Feb 5, 2022Updated 4 years ago
- An interface for the EVM in the browser, to simulate and visualize your onchain activity.☆27Nov 21, 2025Updated 5 months ago