Machine learningCryptographic proof systems
zk-SNARK
zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)는 증명자가 명제의 타당성 외에는 어떠한 정보도 공개하지 않으면서 명제가 참임을 검증자에게 확신시킬 수 있게 하는 암호학적 증명 시스템입니다. 이 약어는 상호작용이 필요 없고(Non-Interactive), 증명이 간결하며(Succinct), 검증이 효율적이라는(Efficient) 핵심 속성을 설명합니다. zk-SNARK는 Zcash 암호화폐에서의 응용으로 대중화되었지만, 이후 블록체인 확장 솔루션, 프라이버시 보존 연산, 검증 가능한 컴퓨팅 등에서 활용되고 있습니다.
방법 전문 읽기
회원 전용
로그인무료 계정으로 로그인하면 이 섹션을 읽을 수 있습니다.
Method map
The neighbourhood of related methods — select a node to explore.
출처
- Ben-Sasson, E., Chiesa, A., Garman, C., Green, M., Miers, I., Tromer, E., & Virza, M. (2014). Zerocash: Decentralized Anonymous Payments from Bitcoin. In IEEE Symposium on Security and Privacy (SP), pp. 459-474. DOI: 10.1109/SP.2014.36 ↗
- Bünz, B., Bootle, J., Boneh, D., Poelstra, A., Wuille, P., & Maxwell, G. (2018). Bulletproofs: Short proofs for confidential transactions and more. In IEEE S&P 2018, pp. 315-334. DOI: 10.1109/SP.2018.00020 ↗
이 페이지 인용 방법
ScholarGate. (2026, June 3). Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. ScholarGate. https://scholargate.app/ko/cryptography/zk-snark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
Compare side by side →