which other family?

I thought nova and folding were overhyped relative to fri

correct. fri is what people are using right now in prod for a reason.

talk is cheap, build.
C + rust + erlang + julia + λ. 
amateur in everything: distributed systems, ML, compilers and cryptography.

Builder of things. Dir of Product Research @ Polygon; x: Flow, Augur;

Yes, I can actually write code.

I love how Polygon ZK teams are pushing the industry forward, particularly with plonky3.

Yeah! Getting pretty good keccak speeds right now.

Was just chatting with Daniel about estimated CPU counts in order to prove all state accesses in an EVM block...