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

본문

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

검증 과정에서 문제 6건이 발견됐고, 이 가운데 3건은 검증 도구에서 나왔다.

PANews는 EthSystems가 검증 결과의 전제로 해시 충돌 부재, 위조 증명 거부, 스마트계약과 검증 모델의 동작 일치를 들었다고 보도했다. 따라서 검증 결과는 이 조건들이 유지되는 범위에서 해석해야 한다. 이더리움 공용 장부에서 거래 정보가 공개되는 문제를 다루기 위해 EthSystems는 기관용 프라이버시 기술을 개발하고 있다.