Eric McCarthy

Photo of Eric McCarthy

Contact

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

Address/Phone/Fax

Bio

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.