Dohoon Kim

Dohoon Kim worked on MAZE, a project for aggregating zero-knowledge proofs on Ethereum. Developed with Janmajaya Mall and Soowon Jeong, the project used the PLONK framework to make applied zero-knowledge proofs easier to develop without detailed knowledge of proving-system internals.

1 talk by Dohoon Kim

  • Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim | ETHTaipei 2024