이더리움 재단과 함께 형식 검증 작업을 계속 진행하게 되어 매우 기쁩니다! 올해 저희는 Rust 기반 zkEVM의 보안을 강화하고 Lean 4를 통해 형식 검증 가능하게 하기 위해 Hax(@CryspenHQ 개발), ArkLib, CompPoly의 현황을 평가하고 개선하고 있습니다. 저희 활동에 대해 궁금한 점이 있으시면 언제든지 연락 주세요!
이 기사는 기계로 번역되었습니다
원문 표시
EF Ecosystem Support Program
@EF_ESP
01-27
1/ Q4 2025 closed out the year with exciting growth across the ecosystem 🌳
Dive into the projects @ethereumfndn teams supported this quarter and see what our grantees have been building in our latest blog post!
Twitter에서
면책조항: 상기 내용은 작자의 개인적인 의견입니다. 따라서 이는 Followin의 입장과 무관하며 Followin과 관련된 어떠한 투자 제안도 구성하지 않습니다.
라이크
즐겨찾기에 추가
코멘트
공유
