#암호화폐 속보

EthSystems, Sepolia 테스트넷 바이트코드 포함 Shielded Pool 형식 검증 완료

24x7 뉴스 속보

EthSystems가 명세서부터 Sepolia 테스트넷 바이트코드까지 Shielded Pool의 형식 검증을 완료했다. Lean, Halmos, Kontrol, Aeneas, Verus 등의 도구를 사용해 이중 지불 및 가치 보존을 검증했다. 검증 과정에서 총 6개의 이슈가 발견되었으며, 이 중 3개는 검증 도구 자체의 결함으로 확인됐다.

관련 코인

관련 속보