automata-network / amd-sev-snp-attestation-sdkLinks
The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
☆16Updated last week
Alternatives and similar repositories for amd-sev-snp-attestation-sdk
Users that are interested in amd-sev-snp-attestation-sdk are comparing it to the libraries listed below
Sorting:
- ☆60Updated last month
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated last week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆29Updated this week
- Awesome SGX and TEE on Blockchain Resources☆26Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆92Updated last year
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆47Updated 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…☆28Updated last year
- Automated verification of uniqueness property for ZKP circuits☆43Updated last year
- ZK Circuit Fuzzer (IEEE S&P'26)☆34Updated last month
- SMT 2023 Submission; license pending☆56Updated last year
- ☆48Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆33Updated 8 months ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 6 months ago
- A Risc-V CPU implemented as a zk-SNARK☆51Updated 3 years ago
- Compile circom code to llvm partially☆12Updated 2 years ago
- Zirgen compiler and RISC Zero circuits☆104Updated 2 weeks ago
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆17Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- ☆27Updated 10 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆81Updated 6 months ago
- zkVM benchmarking for Ethereum☆40Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- ☆74Updated 3 months ago
- ☆28Updated last year
- the race to prove Ethereum in real-time☆134Updated this week
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆37Updated 2 months ago
- ☆26Updated last year