Talk at DeFi Security Summit 2024
This was my first DSS! So much great material compressed in several days Also, I gave a talk on model checking of ZKsync governance...
Following our work with Denis Kolegov for Matter Labs, I was lucky to summarize our results in this talk:
This post is licensed under CC BY 4.0 by the author.