Brandon Moore
Brandon Moore worked on efficient zero-knowledge verification of mathematical proofs at Pi Squared. He helped design a language for expressing proof rules that translates conventional mathematical notation into checks using zero-knowledge primitives such as lookup arguments, and helped design and implement a circuit architecture to verify those proofs.