amiller

Andrew Miller's repositories

sgx-epid-contest

Good Riddance to EPID Pre-Deprecation Memorial Contest

Language:Solidity10 2 2

gramine-sgx-revm

Language:Rust6 2 2

gramine-rsademo

Language:Python5 1 1

accessoracles

Language:C3 10

solidity-dupchecker

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

Language:Solidity2 20

zcash

Zcash - Internet Money

Language:C++NOASSERTION2 30

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

mev-meditations

Language:Jupyter Notebook1 20

yquake2

The Yamagi Quake II client

Language:CNOASSERTION100

andromeda-sirrah-contracts

forge development env for SUAVE key management

Language:SolidityMIT000

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

sgx-revm

PoC of Revm execution in SGX

Language:Rust010

tdx-dcap

Language:Python01 1

wapo

Language:RustApache-2.0000

world-id-starter

Quick start. Starter kit with Foundry to deploy your own smart contract that verifies unique-humanness with World ID.

Language:SolidityMIT010