automata-network/proof-of-machinehood-verax automata-network/proof-of-machinehood-verax

  • Stars
    star
    1
  • Language
    Solidity
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
automata-network/proof-of-machinehood-verax
github

automata-network

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proof of Machinehood Attestation with Linea Verax

More Repositories

1

automata

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

docs

Automata Network Documentation
HTML
28
star
3

tee-builder

Rust
26
star
4

automata-dcap-v3-attestation

Solidity
23
star
5

sgx-prover

Rust
19
star
6

mev-wiki

MEV Wiki
13
star
7

multi-prover-avs

Automata Multi-Prover AVS
Go
10
star
8

automata-common

Automata Common Libraries
Rust
7
star
9

apps

TypeScript
6
star
10

automata-dcap-attestation

Full Solidity Implementation of Intel DCAP Quote Verification
Solidity
6
star
11

proof-of-machinehood-contracts

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

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
Rust
3
star
13

zktrie-rs

Rust
2
star
14

sgx-dcap-rs

Rust
2
star
15

multiprover-avs-operator-setup

Quick start setup guide for Multi-Prover AVS
Shell
2
star
16

sgx-scaffold

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

debug-js

a front-end logs collection tool
TypeScript
1
star
18

statedb-rs

Rust
1
star
19

crypto-rs

Rust
1
star
20

sgxlib

OCaml
1
star
21

conveyor-sdk

An SDK module for developers to easily interact with their contracts protected by Conveyor.
TypeScript
1
star
22

linea-sgx-prover

Rust
1
star
23

automata-dcap-qpl

Automata DCAP Quote Provider Library
Rust
1
star
24

tee-compile

Go
1
star