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
☆15Updated 2 weeks ago
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:
- ☆50Updated 4 months ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆13Updated this week
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆23Updated last 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…☆25Updated 7 months ago
- This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems☆39Updated last week
- Automated verification of uniqueness property for ZKP circuits☆83Updated last year
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- ☆54Updated last month
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated last month
- ☆47Updated last year
- ☆24Updated 9 months ago
- Awesome SGX and TEE on Blockchain Resources☆23Updated 2 years ago
- SMT 2023 Submission; license pending☆56Updated 8 months ago
- ZK Circuit Fuzzer☆21Updated last week
- Interactive formal verification tool for Yul programs☆66Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- ☆26Updated 6 months ago
- Zirgen compiler and RISC Zero circuits☆99Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆252Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated 11 months ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Zero-Knowledge Cryptography Infrastructure Stack☆129Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆111Updated 2 years ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- ED25519 implementation in Circom☆116Updated 2 years ago
- zkp-co-learning☆65Updated 7 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆251Updated last year
- Compile circom code to llvm partially☆12Updated 2 years ago
- ☆99Updated 11 months ago
- ☆24Updated 11 months ago