비트뉴스 › 기사

이더리움 프라이버시 풀, 세폴리아 코드까지 형식 검증

EthSystems가 이더리움(ETH) 프라이버시 풀의 설계 문서부터 세폴리아 테스트넷에서 실행되는 코드까지 형식 검증을 마쳤다. 검증 과정에서 문제 6건을 발견했으며, 이 가운데 3건은 검증 도구 자체에서 나왔다. EthSystems는 27일 이 같은 결과를 발표했다고 PANews는 전했다. 프라이버시 풀은 거래 정보를 가리면서도 거래가 정해진 규칙을 따르는지 확인하도록 설계된 기술이다. 이번 검증은 설계 문서의 내용이 실제 구현과 배포 코드에 이어지는지 단계별로 점검했다. 형식 검증은 프로그램이 충족해야 할 조건을 수학적으로 표현하고, 그 조건이 성립하는지 도구로 확인하는 방법이다. EthSystems는 모델·회로·해시 검증에 Lean을,... 더보기