Automata Network
Automata Network is a modular attestation layer that extends machine-level trust to Ethereum by leveraging optimistic rollups and zero-knowledge proofs.
Pinned
Repositories
Showing 10 of 90 repositories
- proof-of-machinehood-contracts Public
Solidity library integration with third party smart contracts to perform on-chain verification on Proof of Machinehood attestations.
- tungstenite-rs Public Forked from snapview/tungstenite-rs
Lightweight stream-based WebSocket implementation for Rust.
- automata-dcap-v3-attestation Public
- incubator-teaclave-sgx-sdk Public Forked from apache/incubator-teaclave-sgx-sdk
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
-
-
- zk-dcap-verifier Public Forked from CliqueOfficial/zk-dcap-verifier
A halo2 implementation of on-chain DCAP attestation verification
- attestable-build-tool Public
-
- halo2-dynamic-sha256 Public Forked from zkemail/halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
People
This organization has no public members. You must be a member to see who’s a part of this organization.