๊ฐ€์ž… ํ›„ ์ดˆ๋Œ€ ๋งํฌ๋ฅผ ๊ณต์œ ํ•˜๋ฉด ๋™์˜์ƒ ์žฌ์ƒ ๋ฐ ์ดˆ๋Œ€ ๋ณด์ƒ์„ ๋ฐ›์„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

Certora
@Certora
Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
๊ฐ€์ž… February 2019
341 ํŒ”๋กœ์ž‰ ์ค‘    12.1K ํŒฌ
Security has always been central to Ethereum, and this year it's part of the @EFDevcon opening ceremony. Join Certora co-founder @SagivMooly alongside @nethan_eth, @VitalikButerin, @drakefjustin, @ncsgy, @donnoh_eth, @dhsorens, Kev, and @audreyt. See you tomorrow, Mumbai! ๐Ÿ‡ฎ๐Ÿ‡ณ
๋” ๋ณด๊ธฐ