mathematician | writer | cryptographer | educator
find on twitter.
send an email.
PLONK by Hand series for Metastate (Part 1,
Part 2,
Part 3)
Boolean Circuits in Libsnark for Statebox Elliptic Curve Pairings for Statebox
read his writing.
Mapping finite state machines to zk-SNARKS Using Category Theory [pdf]read the research.