donnoh

CURRENT FOCUS

• stages framework formalization
• elliptic curve cryptography
• zk circuit verification

CURRENT HOBBIES

• theory of consciousness, in particular research by QRI
• weightlifting

PROJECTS & PUBLICATIONS

- Blockchain Scalability

• Fraud proof wars: analysis of attacks on fraud proof systems
  • Devcon 2024 talk
• ZK Catalog: a place to aggregate information about source code verification of onchain ZK verifiers.
• Tracking time to finality of L2 transactions
• Stages Framework: a framework to evaluate rollups maturity
  • Stages update: Security Council requirements
• Upgradability of Ethereum L2s: deep dive into various aspects of upgradability and analysis of top rollups
• inclusion.watch: tool to check the inclusion probability of a blacklisted tx
• Optimistic and Validity Rollups: Analysis and Comparison between Optimism and StarkNet: CS bachelor's thesis
  • short paper (13 pages) version for 5th Distributed Ledger Technology Workshop (DLT 2023)
• scalability.guide: articles about scaling technologies
• awesome blockchain scalability repo
• ERC-5375: NFT Author Information and Consent
• Green NFTs: A Study on the Environmental Impact of Cryptoart Technologies

- Smart contract development

• Graphiro: a graph library in Cairo 0
• Axelrod: Iterated prisoner's dilemma tournament implementation in Cairo 0
• zang.gallery: a text-based NFT platform

PAST FOCUS

• emerging programming paradigms: erlang, go, rust, ocaml, haskell
• L2 confirmation rules, risks and time to finality
• cryptography
• logic fundamentals of computer science
  • lambda calculus
  • type theory
  • descriptive complexity theory
  • relational calculus
  • formal verification with temporal logic
• computational complexity theory
• sequent calculus for modal logic
  • CSC: sequent calculus solver
• compilers & interpreters