donnoh

CURRENT FOCUS

• zk circuit verification
• emerging programming paradigms: erlang, go, rust, ocaml, haskell
• L2 confirmation rules, risks and time to finality

CURRENT HOBBIES

• theory of consciousness, in particular research by QRI
• AGI x-risk debate
• weightlifting

PROJECTS & PUBLICATIONS

- Blockchain Scalability

• 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

- Cairo development

• Graphiro: a graph library built with cairo
• StarkBlocks: generative art contracts for StarkNet (stale)
• Axelrod: Iterated prisoner's dilemma tournament implementation

- NFTs

• EIP-5375: NFT Author Information and Consent
• Green NFTs: A Study on the Environmental Impact of Cryptoart Technologies
• zang.gallery: a text-based NFT platform
• Art Innovation Hub: NFT aggregator for Art Innovation Gallery
• Kjosul NFT integration
• NiftyValue Art Blocks integration

- Other

• Generative art-based phishing prevention tool for BlockWallet's wallet
• Decentralized Autonomous Education (DAE) implementation
  • paper

PAST FOCUS

• 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