ZKPs 생태계를 위한 보안 감사

CertiK는 영지식 시스템을 엄격하게 감사하기 위해 수동 검토 및 맞춤형 공식 검증에 응용 암호화에 대한 심층적인 전문 지식을 적용하여 zk 회로의 건전성과 정확성을 보장합니다.

ZKP 생태계 보호

영지식 증명은 증명자가 공개하고 싶지 않은 개인 정보를 공개하지 않고도 한 당사자가 진술의 유효성을 증명할 수 있는 암호화 프로토콜입니다. 영지식 증명은 Web3에서 검증 가능한 계산과 프라이버시를 가능하게 하여 프라이버시 보호 프로토콜, 교차 체인 브리지, zkRollups, zkVM과 같은 애플리케이션을 구동합니다.

ZKP의 고급 공식 검증: 두 가지 버그 이야기

CertiK는 zkWasm에서 두 가지 건전성 버그를 발견했습니다. 첫 번째는 1단계 수동 검토에서 발견된 것으로, 메모리에서 Load 명령어에 대한 제약 조건이 누락된 것이었습니다. 2단계의 공식 검증을 통해 발견된 두 번째 취약점은 제약 조건 누락으로 인해 가짜 반환을 추가하여 의도하지 않은 제어 흐름을 가능하게 할 수 있는 Return 명령어와 관련된 것이었습니다. 두 가지 건전성 취약점 모두 악의적인 증명자가 검증자의 유효성 검사를 우회하기 위해 유효하지 않은 증명을 생성할 수 있습니다.

ZKPs 보안에 CertiK을 선택해야 하는 이유

CertiK는 영지식 프로토콜 프로젝트의 신뢰할 수 있는 감사 파트너로, 공식 검증 및 응용 암호화에 대한 깊은 전문성을 바탕으로 합니다. 당사의 감사 프로세스는 도메인 전문가의 엄격한 수동 코드 검토와 맞춤형 형식 검증을 결합하여 증명자의 영지식 증명 생성의 정확성과 검증자의 검증 로직의 무결성을 모두 보장하며, 이는 zkWasm에서 입증된 바 있습니다. 이러한 하이브리드 접근 방식을 통해 수동 검토만으로는 놓치기 쉬운 미묘한 건전성 취약점과 논리 결함을 발견하여 영지식 암호화 시스템에 대해 더 높은 수준의 보증을 제공할 수 있습니다.

ZKPs 프로젝트 감사는 어떻게 진행되나요?

감사 프로세스는 프로젝트의 전체 코드베이스에 대한 자세한 분석으로 시작됩니다.