Mooly Sagiv
CEO ~ Certora
Mooly Sagiv는 Certora의 CEO이자 정적 프로그램 분석 분야로 유명한 이스라엘 컴퓨터 과학자입니다. 또한 텔아비브 대학교 컴퓨터 과학부 소프트웨어 시스템 학과장을 맡고 있습니다.
현재 역할
뉴스 언급
Formal verification is indeed the way. A few years ago I reached out to @NotDeGhost asking him if he wanted to do the first formal verification for a Solana program. Luckily he said yes and got it done in 4 months. Since then all Squads programs have gone through that process multiple times. Fast
Formal verification is indeed the way. A few years ago I reached out to @NotDeGhost asking him if he wanted to do the first formal verification for a Solana program. Luckily he said yes and got it done in 4 months. Since then all Squads programs have gone through that process multiple times. Fast
RT @solana_devs: The p-token upgrade has been formally verified by @Certora 🙌
Prefer reading over watching? 📖 We've got you covered. Full breakdown of the interview is here 👇 https://www.ccn.com/education/crypto/defi-security-formal-verification-tomer-ganor-certora/ https://x.com/CCNCitizens/status/2059585435202949166