Medjai: Verifying ZK Smart Contracts
Medjai is a tool for formally verifying smart contracts in Cairo. Unlike traditional testing, formal verification aims to mathematically prove that a given program is correct. Using Medjai, developers can prove their ZK smart contracts l bug-free.
SPEAKER
Jacob Van Geffen
EVENT
EthCC[6]
Date
07/18/2023
CATEGORY
Security
TYPE
Talk
LANGUAGE
EN
Security videos