SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
☆28Jun 23, 2026Updated 3 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☆12Jun 23, 2026Updated 3 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆19Sep 21, 2026Updated 3 weeks ago
- ☆14Sep 28, 2020Updated 6 years 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…☆29Dec 20, 2024Updated last year
- EraVM implementation☆19Sep 5, 2024Updated 2 years ago
- 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
- An SDK for building trust infrastructure☆14Nov 15, 2024Updated last year
- ☆12Oct 4, 2023Updated 3 years ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆66Feb 17, 2025Updated last year
- ☆30Sep 18, 2024Updated 2 years ago
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Updated this week
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- compress library implements a lightweight, deflate-like compression algorithm designed to have a simple, zk-friendly decompression algori…☆14Sep 1, 2026Updated last month
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated 2 years ago
- 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.
- 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
- Sidecar to Enable Rollup Extensions☆167Jul 16, 2026Updated 3 months ago
- TUI for tailing chain data☆11May 28, 2025Updated last year
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆35Aug 14, 2026Updated 2 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆34Dec 19, 2024Updated last year
- ☆20May 31, 2024Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆155Sep 17, 2026Updated last month
- Client-side proving benchmarks☆22Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spire Labs' litepaper (it's pretty based bro)☆16Oct 31, 2024Updated last year
- Hyper-parallel ZK coprocessing.☆18Aug 29, 2025Updated last year
- ☆17Oct 7, 2026Updated last week
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆59Updated this week
- Bolt: permissionless proposer commitments on Ethereum☆93May 5, 2025Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated 2 years ago
- implentation of Ligerito☆20Apr 16, 2026Updated 6 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Verifiable FHE prototype☆27Aug 12, 2024Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆18Oct 27, 2025Updated 11 months ago
- ☆19Apr 1, 2024Updated 2 years ago
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated 9 months ago
- BLS typescript wrapper to interact with the contract☆16Mar 11, 2022Updated 4 years ago