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
☆20Updated 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:
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- ☆62Updated 3 months ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆30Updated last month
- Awesome SGX and TEE on Blockchain Resources☆26Updated 2 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…☆28Updated last year
- ZK Circuit Fuzzer (IEEE S&P'26)☆36Updated 2 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆50Updated this week
- Compile circom code to llvm partially☆12Updated 2 years ago
- ☆27Updated last year
- Automated verification of uniqueness property for ZKP circuits☆45Updated last year
- Automated verification of uniqueness property for ZKP circuits☆93Updated last year
- ☆74Updated 4 months ago
- A Risc-V CPU implemented as a zk-SNARK☆52Updated 3 years ago
- ☆47Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 7 months ago
- SMT 2023 Submission; license pending☆57Updated last week
- Interactive formal verification tool for Yul programs☆76Updated 2 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Updated 10 months ago
- zkp-co-learning☆64Updated last year
- blaze is a Rust library for ZK acceleration on Xilinx FPGAs.☆144Updated last year
- ☆26Updated last year
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆38Updated 3 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 7 months ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Zirgen compiler and RISC Zero circuits☆123Updated 2 weeks ago
- Oblivious key-value store based on Circuit ORAM☆34Updated 10 months ago
- ☆25Updated last year
- ☆59Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- ☆95Updated last month