A curated list of zkVM, zero-knowledge virtual machine

List of Halmos resources.

A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.

Introductory lecture notes on programmable cryptography

A collection of learning resources for curious software engineers

A Rust-based userland which also adds compile-time assurances to seL4 development.

Generate tests based on the Branching Tree Technique.

Slither Detectors by Pessimistic.io

An implementation of ZKBoo

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Coordinator node to be run by hubble commander to coordinate between users and hubble contracts

⟠ A curated list of awesome Solidity resources, libraries, tools and more

Gas Costs from Ethereum Yellow Paper

Guidelines for low-level cryptography software

Ethereum Virtual Machine implementation

A quick reference for EVM opcodes

Overview of the formal verification projects in the Ethereum ecosystem.

hardhat deployment plugin

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

Solidity Compiler for Solana and Polkadot

Send NGNT without ETH using Gas Station Network

Zero-knowledge virtual machine written in Rust

Elliptic Curve arithmetic operations written in Solidity