Eric McCarthy

Photo of Eric McCarthy


mccarthy@K.E, where K=kestrel and E=edu



My primary interest is formal verification of R1CS (Rank 1 Constraint Systems), which are used for zero knowledge proofs such as zk-SNARKs and bulletproofs.

I am also working on the ACL2 Ethereum project.

My past work includes:

I received a degree in Mathematical Sciences from Stanford University in 1984.