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.