amiller

Andrew Miller's repositories

sgx-epid-contest

Good Riddance to EPID Pre-Deprecation Memorial Contest

Language:Solidity11 2 2

gramine-rsademo

Language:Python6 1 1

gramine-sgx-revm

Language:Rust6 2 2

accessoracles

Language:C3 10

dstack-vm

Language:Python200

solidity-dupchecker

solidity code for checking if an array has duplicates using a bloom filter or advice

Language:Solidity2 20

automata-dcap-v3-attestation

Language:SolidityMIT1 10

gramine-andromeda-revm

Language:PythonMIT1 10

gramine-dummy-attester

Language:Python1 2 2

gramine-forge

Language:Solidity1 20

yquake2

The Yamagi Quake II client

Language:CNOASSERTION100

andromeda-sirrah-contracts

forge development env for SUAVE key management

Language:SolidityMIT000

dstack-tee-services

Language:Python000

flashbots-writings-website

Language:MDX010

forge-erc20-template

Template for Forge with ERC-20 example tests.

Language:SolidityMIT010

gramine

A library OS for Linux multi-process applications, with Intel SGX support

LGPL-3.0000

gramine-py1

010

gramine-python-execve

Language:Makefile000

hardenedplus-hd-wallets

Language:Python000

mev-reductions

Language:Jupyter Notebook020

noir-cfg

Language:Roff020

noir-microbenchmarks

Language:Roff000

pathfinder2

Language:RustMIT010

phat-quickjs

QuickJS engine running in phat contract

Language:JavaScript000

qemu-tdx

000

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

Language:RustMIT010

tcbinfo-monitor

MIT000

tdx-dcap

Language:Python01 1

teleport-gramine-rs

Language:Rust000

wapo

Language:RustApache-2.0000