Loading player…
Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim | ETHTaipei 2024
ETHTaipeiMon, Oct 7, 2024, 12:00 AM
Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim, PSE | ETHTaipei 2024