Schedule

Jerone van de Graaf

Role:
Senior Cryptographer
Company:
ZKM
About
Jeroen van de Graaf is a distinguished Professor at UFMG, specializing in the intersection of cutting-edge fields such as Zero Knowledge, Cryptocurrency, Blockchain, Elections, and Cryptography, with a career spanning over a decade.
Speaking On:
ZKM: Implementing a Modular zkVM Using Lookups
Submarine Stage
#BUIDLHub
February 25, 2024
5:00 pm
To prove that the result of a program is correct, one has to prove that all transitions from each state (line) to the next is valid. We will be looking into the The basic idea behind Jolt and Lasso; to verify an execution trace by using table lookups.