A Framework for Formal Verification of Solana Programs
This event took place on Saturday, November 5, 2022 at 11:45 AM UTC.
Squads asked OtterSec to mathematically check one of its multisig contracts. In the process, they created a formal verification framework that can be used on any other program on Solana. They'll present their work on stage and discuss its importance to the ecosystem.
Event Details
Start
Saturday, November 5, 2022 at 11:45 AM UTC
End
Saturday, November 5, 2022 at 12:15 PM UTC
Location
Praça do Comércio, 1100-039 Lisboa, Portugal
Online
No
Event Type
event
Category
[
"Breakpoint By Solana ",
"The Solana community ",
"Solana",
"Lisbon events ",
"Events in Portugal",
"Solana Programs",
"Formal Verification",
"Framework",
"OtterSec",
"Ecosystem",
"Crypto events",
"Cryptocurrency ",
"Workshop",
"Discussion"
]
Link
https://solana.com/breakpoint/agenda
Ticket purchase and full event interactions happen inside the Belong CheckIn app.
↗ Open Event in Belong CheckIn
⟳ Refresh Preview
If the app is installed, the event may open there automatically.