☆31Jul 16, 2026Updated 3 months ago
Alternatives and similar repositories for dcap-rs
Users that are interested in dcap-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Library for attesting VM workloads inside of an Intel TDX environment☆15Oct 19, 2026Updated 2 weeks ago
- ☆10Sep 12, 2023Updated 3 years ago
- Researching RANDAO manipulation in Ethereum mainnet.☆11Jul 7, 2025Updated last year
- ☆32Jul 18, 2026Updated 3 months 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.
- formal security analysis of the Enshrined Proposer-Builder Separation (ePBS) design introduced in EIP-7732☆16Oct 30, 2026Updated last week
- A halo2 implementation of on-chain DCAP attestation verification☆15Sep 9, 2024Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated 3 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆61Updated this week
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆13Dec 22, 2023Updated 2 years ago
- ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs☆18May 11, 2026Updated 5 months ago
- ☆10Sep 23, 2026Updated last month
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Mar 19, 2024Updated 2 years ago
- Bare metal TEE workload orchestration☆19Oct 1, 2026Updated last month
- 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.
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆22Sep 18, 2026Updated last month
- The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report…☆20Oct 13, 2026Updated 3 weeks ago
- ☆15Dec 19, 2023Updated 2 years ago
- ☆12Mar 26, 2026Updated 7 months ago
- Integration of IBC with Starknet☆20Sep 16, 2025Updated last year
- ☆54Jan 9, 2026Updated 9 months ago
- Public Audits in the NEAR Ecosystem☆17Jun 10, 2024Updated 2 years ago
- The authority service that mints root NUC tokens☆10Jan 19, 2026Updated 9 months ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 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.
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated 9 months ago
- forge development env for SUAVE key management☆20Aug 8, 2024Updated 2 years ago
- ☆13Updated this week
- A CLI tool for interacting with SEV-SNP guest environment☆107Oct 26, 2026Updated last week
- A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins☆16Oct 12, 2024Updated 2 years ago
- Unified zkVM Interface & Toolkit☆87Updated this week
- ☆15Aug 29, 2024Updated 2 years ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆29Updated this week
- A simple CHIP8 interpreter made with Rust.☆11Apr 23, 2026Updated 6 months 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.
- Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.☆12Nov 21, 2024Updated last year
- Generate static parallel computation graph from DSL at compile time☆11Nov 6, 2024Updated 2 years ago
- Learn the Nada language by working with example Nada programs☆10Nov 22, 2024Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 5 years ago
- Andromeda revm execution service☆32Jul 25, 2024Updated 2 years ago
- Open and Intelligent Compliance for On-Chain Anti-Money Laundering.☆13Sep 27, 2026Updated last month