John Burnham

John Burnham is a co-founder of Argument Computer and a co-author of the research behind Lurk. Lurk is a Lisp-based programming language that enables general-purpose computation to be verified with recursive zero-knowledge proofs.

2 talks by John Burnham

  • ZK10: Lurk: From zkDSLs to zkGPLs - John Burnham
  • Grantee Exposé Lightning Talk 1 - Formality: An efficient proof language by John Burnham (Devcon5)