Quantifier
Isaac-DeFrain
Rust, OCaml, ZK, Formal Verification, Blockchain, BFT, Consensus,
Protocol Design, Mathematics
@Granola-Team Vancouver, BC
coldstar1993
JAVA, Rust, Nodejs, Ts, Vue, React, Solidity. Focus On Blockchain, zk-Solution especially.
Freelance & Web3 Builder
dcbuilder.eth
dcbuild3r
Interested in ZK, AI/ML, Ethereum, L2 scaling, infrastructure, mathematics, and cool research papers.
Vitalik's masternode Ethereum