avatar
Runtime Vеrification
7,385명의 트위터 팔로워
팔로우하기
We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://bit.ly/3AriQY9
포스팅
avatar
Runtime Vеrification
03-14
이더리움 재단(@ethereumfndn)의 "빼기" 철학과 생태계의 핵심 인프라를 적극적으로 탈중앙화하려는 정신을 엿볼 수 있는 아름다운 창입니다! 이제 누구나 2024년 이후 이더리움 재단(@EF_ESP)의 지원을 받은 모든 프로젝트를 쉽게 추적하고 이해할 수 있습니다. 지난 8년간 이더리움 재단과 협력하면서, 저희의 보안 연구가 전체 생태계에 지속적으로 도움이 될 수 있도록 재단이 변함없이 신뢰해 주신 데 대해 깊은 감사를 드립니다.
EF Ecosystem Support Program
@EF_ESP
03-12
🎉 The new EF Public Grant Explorer is LIVE! You can now easily browse, search, and explore grants awarded by the Ethereum Foundation in real-time. Dive in to discover the projects we support! https://esp.ethereum.foundation/funded-projects
ETH
0.38%
avatar
Runtime Vеrification
03-04
저희는 지난 1년 넘게 수천 명의 솔리디티 개발자들에게 최고의 디버깅 경험을 제공하기 위해 심볼릭 개발에 매진해 왔습니다. 노르웨이 최북단 눈밭 한가운데 있는 자신의 밴에서, 저희의 열정 넘치는 솔리디티 개발자 @RaoulSaffron은 오직 두 가지에만 몰두하고 있습니다. 바로 스키를 타거나 개발에 매진하는 것이죠! 저희는 여기서 멈추지 않을 겁니다! 스마트 계약 개발 및 보안은 진화하고 있으며, 저희도 함께 진화하고 있습니다. 3월 16일, 그동안 베타 테스트를 진행해 온 흥미로운 기능들을 출시할 예정이니 캘린더에 표시해 두세요. 처음부터 안전한 스마트 계약을 개발하는 데 필요한 모든 도구를 IDE에 바로 통합하여 제공하는 개발 환경을 기대하셔도 좋습니다!
loading indicator
Loading..