WebAssembly Micro Runtime (WAMR)

symbolic EVM evaluator

OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/

The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK…

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Crescent adds privacy to existing credentials with zero-knowledge

Home of OpenVMM and OpenHCL.

EVM MEV research design

Picachv is a verified library for transparently enforcing data-use policies for data analytical systems

op-stack state(less) transition in an AWS Nitro enclave

Solidity based prover for AWS Nitro enclave attestations

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

We jailbreak GPT-3.5 Turbo’s safety guardrails by fine-tuning it on only 10 adversarially designed examples, at a cost of less than $0.20 via OpenAI’s APIs.

ethrex: Ethereum Rust Execution L1 and L2 client.

Full disk encryption solution in the confidential computing environment

Deploy any app to TEE.

Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles

A migration for the page table entry based side-channel attack agains SGX enclaves.

Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations

Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

Watch MEV bots PnL

Bolt: permissionless proposer commitments on Ethereum

BuilderHub service for provisioning and permissioning BuilderNet instances

An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage