Oba

Mass-core-tetris: account abstraction protocol that enables the creation of smart contract wallet to be used with the HyVM. Worked on ERC2771, EIP712, ERC1271, governance, flashloans, proxies. Deployed (through CreateX) and verified on several chains, non public repo

HyVM / HyVM fork: EVM hypervisor written in Huff

P256Signer: library implementing the decoding and verification of a signed Webauthn payload following the EIP 1271 relying on FreshCryptoLib

keth: EVM block proving backend in cairo0 with fuzz testing against execution-specs in python

kakarot / kakarot-ssj: EVM emulator on Starknet in cairo0 and Cairo

ef-tests: Test runner for ethereum foundation tests in Rust

Handled audits with C4, Pashov audit group, TOB, Zellic

ZkBlock1: Top fellow and promoted to resident, RLN audit report and Spartan ECDSA audit report

ZkBlock2: Mentor accompanying fellows and help audit the Summa proof of Solvency protocol

RFC6979 implementation analysis between Nobles Curves/RustCrypto/Eth Keys focusing on message hash modular reduction

Executions-specs: check y_parity value and stricter types for MessageCallOuput

HuffFaucet: Simple faucet in huff

Crysol: add secp256k1 Point validity and de/encoding test vectors #1 / add ecdsa noble curves test vectors #2

FreshCryptoLib: found an issue in the modified XYZZ system coordinates for EVM elliptic point multiplication

Huff repositories contributor: huffmate / foundry-huff / huff-toolchain

universal-rewards-distributor: optimisation, add missing tests, add compatibility with OZ lib

Picus: improve documentation for result interpretation

Playground Solidity: Snippet for testing specificities of Solidity

Vertigo-rs: fix non reliable mutation score for custom errors

From a failing test to calling SEAL911: issue discovered in several implementations of RFC6979 deterministic ECDSA signatures