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