Hello | Oli otya 👋
🔭 I'm currently working on:
⚒️ Program analysis, compilers and programming languages
-
🚧 pallet-verifier
- 📖 A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic execution.
- 🌱 Funded by: the Web3 Foundation.
-
🚀 ink! analyzer
- 📖 A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
- 🌱 Funded by: the Web3 Foundation.
-
🛟 Open-source contributions
- I independently contribute to rust-analyzer - a Rust compiler front-end for IDEs.
- I independently contribute to MIRAI - an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).
- I contribute to ink! - a Rust DSL (Domain Specific Language) for writing smart contracts for Substrate-based blockchains.
- I contribute to cargo-contract - a build and deployment tool for ink! smart contracts.
🔑 Cryptographic protocols and libraries
-
🚧 Wamu
- 📖 A protocol and library for computation of threshold signatures by multiple cryptographic identities.
- 🌱 Funded by: the Ethereum Foundation.
⚡ I hold a BSc in Computer Science.