이더리움 프라이버시 풀, 설계부터 테스트넷 코드까지 검증 완료
이더리움의 프라이버시 기술이 설계 단계부터 실제 구동 코드까지 다각도로 검증되었다는 점을 확인해야 합니다.
요약
EthSystems가 이더리움(ETH)의 프라이버시 풀 기술에 대한 형식 검증을 완료했습니다. 이 기술은 거래 정보를 숨기면서도 거래 규칙 준수 여부를 확인하는 것이 핵심입니다. 검증은 설계 문서부터 세폴리아 테스트넷에서 실행되는 코드까지 전 과정을 점검했습니다. 총 6건의 문제점이 발견되었으며, 이 중 3건은 검증 도구 자체에서 나온 것으로 보고되었습니다. 주요 검증 대상은 이중 지출 방지와 가치 보존 조건이었으며, 이는 수학적 증명기로 기계 검증되었습니다. EthSystems는 향후 기관용 프라이버시 기술 개발을 이어갈 예정입니다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.
원문 제목 이더리움 프라이버시 풀, 세폴리아 코드까지 형식 검증
원문 보기 ↗