미나 프로토콜 (Mina-Protocol) 유효성 증명 (Blockchain Validity)
이전 게시글들에서 살펴봤던 영지식 증명과 ZK-SNARK 내용입니다. 2022.10.20 - [Study/블록체인] - 영지식 증명(Zero-knowledge Proofs)- 직관적인 설명 2022.10.24 - [Study/블록체인] - zk-SNARK - 영지식 증명(Zero-knowledge Proofs) 2022.10.25 - [Study/블록체인] - zk-SNARK (Zero-Knowledge-Succinct Non-Interactive Argument of Knowledge) 미나프로토콜에서 블록체인의 유효성 증명을 어떻게 하는지 알아보겠습니다. 블록체인은 중앙기관 대신 많은 독립된 노드들이 운영합니다. 즉 많은 사람들이 블록체인을 신뢰하려면, 블록체인이 유효한지 확인을 해야 합니다. 다른 ..
2022.10.24 - [Study/블록체인] - zk-SNARK - 영지식 증명(Zero-knowledge Proofs) zk-SNARK - 영지식 증명(Zero-knowledge Proofs) 기존의 블록체인들(Legacy Blockchains) (예를들어,비트코인, 도지코인, 이더리움 등)은 계속 증가하는 크기로 인해 전체 체인을 확인하는데 오랜 시간을 기다려야 한다는 문제에 직면해 있습니다. 이 15051015.tistory.com zk-SNARK는 Zero Knowledge Succinct Non-Interactive Argument of Knowledge의 약자입니다. 여기서 SNARK가 무엇인지 알아보겠습니다. S - Succinct 는 증명이 작아서 증명되는 개념이 복잡해도 검증이 쉽다는 ..
zk-SNARK - 영지식 증명(Zero-knowledge Proofs)
기존의 블록체인들(Legacy Blockchains) (예를들어,비트코인, 도지코인, 이더리움 등)은 계속 증가하는 크기로 인해 전체 체인을 확인하는데 오랜 시간을 기다려야 한다는 문제에 직면해 있습니다. 이는 속도의 문제이기도 하지만, 어느정도의 사양이 받쳐주지 않는다면 블록체인 시스템을 사용하기 어렵다는 문제점도 있습니다. 그러나 Mina를 사용하면 참가자는 재귀적 영지식 증명(using recursive zero knowledge proofs) 또는 zk-SNARK를 사용하여 일반 장치에서도 네트워크 및 트랜잭션을 완전히 확인 할 수 있습니다. zk-SNARK에서 zk는 Zero-Knowledge입니다. 지난 글에도 설명했었던 내용입니다. 2022.10.20 - [Study/블록체인] - 영지식 증..
영지식 증명(Zero-knowledge Proofs)- 직관적인 설명
영지식 증명이란? 영지식증명(Zero-knowledge Proofs: ZKPs)은 간단히 말하자면, 비밀정보를 직접 보여주지 않아도 내가 그 비밀정보를 가지고 있다는 것을 증명할 수 있는 강력한 암호기술 입니다. ZKP를 처음 접하신다면, 어떻게 가능한지 의문이 드실겁니다. 계속해서 읽으시면 이해할 수 있게 직관적인 설명을 해보겠습니다. 영지식증명은 1985년 샤피 골드바저, 실비오 미칼리, 찰스 래코프에 의해서 발명되었습니다. 그 이후로 ZKP는 암호학에서 많은 관심을 받으며 활발히 연구되어 왔습니다. 최근에는 실제 애플리케이션, 특히 블록체인 기술에 상당한 영향을 미치며 사용되고 있습니다. 한 예를 보자면 블록체인 프로젝트 중 Zcash는 금융거래 익명성을 위해 영지식 증명을 사용하였습니다. CODA..