Oba

Interests in EVM, smart contract architecture, cryptography, security

Dev work

  • 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

  • cairo-m: new CPU AIR leveraging M31 as its native prime field powered by STWO

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

Security

  • 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

  • Eth-keys: mod reduce msg_hash as input of the HMAC function PR

  • mpz: fix off-by-one error GetBit Msb0 P256 PR

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

  • Picus: improve documentation for result interpretation

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

Publications

Open source