Explore @automata-network Open Source projects

Automata Network (@automata-network)

automata-network

Stars
243
Global Org. Rank 36,409 (Top 12 %)
Registered almost 4 years ago
Most used languages

Rust
50.0 %

Solidity
16.7 %

TypeScript
12.5 %

Go
8.3 %

Shell
4.2 %

HTML
4.2 %

OCaml
4.2 %

automata

Automata Network is a modular attestation layer that extends machine trust to Ethereum with TEE Coprocessors.

docs

Automata Network Documentation

tee-builder

automata-dcap-v3-attestation

sgx-prover

mev-wiki

multi-prover-avs

Automata Multi-Prover AVS

automata-common

Automata Common Libraries

apps

automata-dcap-attestation

Full Solidity Implementation of Intel DCAP Quote Verification

proof-of-machinehood-contracts

Solidity library integration with third party smart contracts to perform on-chain verification on Proof of Machinehood attestations.

automata-sgx-sdk

The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using Rust. Powered by Automata

zktrie-rs

sgx-dcap-rs

multiprover-avs-operator-setup

Quick start setup guide for Multi-Prover AVS

sgx-scaffold

Scaffold for creating an SGX enclave with Rust, built by Automata Network

proof-of-machinehood-verax

Proof of Machinehood Attestation with Linea Verax

debug-js

a front-end logs collection tool

statedb-rs

crypto-rs

sgxlib

conveyor-sdk

An SDK module for developers to easily interact with their contracts protected by Conveyor.

linea-sgx-prover

automata-dcap-qpl

Automata DCAP Quote Provider Library

tee-compile