ZKPs 생태계를 위한 보안 감사

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

ZKP 생태계 보호

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

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

CertiK identified two soundness bugs in zkWasm. The first one, found during Stage 1 manual review, was a missing constraint on a Load instruction from memory. The second one that was uncovered via formal verification in Stage 2, involved the Return instruction, which could enable unintended control flow by adding fake returns due to missing constraints. Both soundness vulnerabilities could allow malicious provers to generate invalid proofs to bypass verifier’s validity checks.

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

CertiK is a trusted audit partner for zero-knowledge protocol projects, backed by deep expertise in formal verification and applied cryptography. Our audit process combines rigorous manual code reviews by domain experts with custom formal verification to ensure both the correctness of the prover’s zero-knowledge proof generation and the integrity of the verifier's validation logic, as demonstrated in our work zkWasm. This hybrid approach allows us to uncover subtle soundness vulnerabilities and logic flaws that manual review alone often misses, providing a higher level of assurance for your zero-knowledge cryptographic systems.

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

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