slides of some talks I gave

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

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

Verifiable Random Function (VRF) library written in Rust