최근 프라이빗 거래의 중요성으로 인해 ZEC 코인이 엄청난 상승을 보여주고 있는데, PROVE도 수혜를 보는 것 같습니다.
PROVE는 최근 입력값을 노출하지 않고도 증명을 생성할 수 있는 Private Proving을 공개했는데, 이 기술이 프라이빗 메타에 딱 부합하네요.
이 외에도 이틀전에 Nethermind 오딧 업체와 이더리움 재단과의 협력을 통해 Succinct Labs의 차세대 zkVM인 SP1 Hypercube에 대한 정형 검증 (Formal Verification)을 완료했습니다 (트윗). 정형 검증은 의도된 기능대로 동작하는지 '수학적으로' 증명하는 방식입니다. 이번 오딧을 통해 Hypercube는 정형 검증을 수행한 최초의 zkVM이 되었습니다.
보안도 신경쓰는 동시에 새로운 기능을 꾸준히 낸다는게 쉽지 않은 일인데, 개인적으로 ZK 쪽에서 탑프로젝트라고 생각되네요.