automata-network / automata-dcap-attestation
Full Solidity Implementation of Intel DCAP Quote Verification
☆14Updated this week
Related projects ⓘ
Alternatives and complementary repositories for automata-dcap-attestation
- Remote Attestation VErification☆29Updated 3 months ago
- ☆23Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆32Updated 10 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- Solidity verifier for Plonk☆41Updated 3 months ago
- Behold the almighty 🗿totem🗿☆17Updated 2 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- forge development env for SUAVE key management☆19Updated 3 months ago
- Axiom smart contracts☆27Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last year
- ☆31Updated 8 months ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Cryptographic protocols☆37Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- ☆19Updated 7 months ago
- ☆28Updated last year
- trusted setup MPC tools☆12Updated 4 years ago
- ☆41Updated last year
- polynomial commitments from linear codes☆37Updated last year
- ☆29Updated 7 months ago
- A toolkit to compile and debug circom circuit.☆26Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated 2 months ago
- ☆24Updated 7 months ago
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- Sidecar to Enable Rollup Extensions☆55Updated this week