We are a group of computer scientists and applied cryptographers dedicated to building the verifiable computer of the future.
Co-founder
Co-founder of Delendum, ex. Redpoint Ventures and Hillhouse, Co-founder of S2R.AI
Cryptography Engineer
Ex. Founding Cryptographer at Nexus, cryptographer at MobileCoin, Mathematics PhD at Stanford, Mathematics B.S. at Princeton
Applied Cryptography Researcher
Author of BaseFold and Blaze. Ex. Consensys, Cryptography PhD at Yale ACL, Mathematics B.S. at Columbia University
Cryptography Engineer
Ex. Cheif Scientist at Taiko Labs, Ethereum Core Developer at Nimbus
Compiler Engineer
Ex. Founding Engineer at Anoma, Core Contributor to Juxiv and Plutus languages, PhD at University of Victoria
Compiler Engineer
Core Maintainer of Rust-Cheery project, LLVM-Rust backend, B.S. University of Bath
Cryptography Engineer
Ex. CTO of Platonic Systems, Orbis Labs, Formal Logic M.S at UColorado
C & Compiler Engineer
Core Cardano Smart Contract Developer, Ex Embedded Systems Engineer, M.Sc Electronics and Telecommunication
Growth & Operations
Ex. Research & Incubation at Hailstone Labs, BBA at Hong Kong University of Science & Technology