🦀
Rusting
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus,
Protocol Design, Mathematics
- Vancouver, BC
-
23:27
(UTC -07:00) - in/isaac-defrain-a4046b65
Search results
0 open and 0 closed projects found.-
No open projects





