Mooly Sagiv(@SagivMooly):C4 has been part of our journey promoting formal verification. We've partnered on contests, and some of our best security researchers have come through them. Their attitude toward researchers always stood out. Respect and gratitude.

Mooly Sagiv

@SagivMooly

Chief Scientist @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi

加入 March 2018

3.5K 正在关注 2.8K 粉丝

Mooly Sagiv@SagivMooly

2026.05.13 15:35

C4 has been part of our journey promoting formal verification. We've partnered on contests, and some of our best security researchers have come through them. Their attitude toward researchers always stood out. Respect and gratitude.

显示更多

Code4rena@code4rena

2026.05.13 09:21

After careful consideration, we’ve made the decision to wind down @code4rena. This community has meant a great deal to everyone who has been part of building it, and sharing this news is not easy.