실생활에서는 휴대폰 이체횟수, 카드잔액, 통화내역, 물건정보까지 데이터정보의 보안에 만전을 기하며 절대 외부에 공개하지 않습니다. 사생활과 그에 상응하는 디지털 자산, 그리고 사생활 보호는 점차 중요한 문제가 되었고, 대중의 합의는 또한 사생활에 대한 권리에 의해 보호됩니다.
한편으로 블록체인의 추적 가능한 특성은 거래 정보와 데이터 소스를 확인할 수 있게 하고 체인에서 디지털 자산 소유권을 위한 신뢰할 수 있는 기술로 많은 전통적인 분쟁과 부당하고 거짓되고 오판된 사례를 얻을 수 있게 합니다. 새로운 디지털 솔루션이지만 다른 한편으로는 정보의 측면이 퍼블릭 체인에 완전히 노출되어 보안 조치 없이 많은 부도덕한 해커들이 충분한 편의를 얻습니다.디지털 자산은 고속도로에서 알몸으로 달리는 것과 같으며 가치가 높고 고유한 자산은 언제든지 해커의 다음 목표가 될 수 있습니다.
퍼블릭 체인의 거래에서 어느 정도의 프라이버시를 보장하는 방법은 무엇입니까? 거래를 용이하게 하고 싶지만 다음과 같은 개인 체인 주소의 자산 정보를 다른 사람이 쉽게 추적하는 것을 원하지 않습니다.
A가 B에게 NFT를 매도할 때 B는 먼저 A의 주소로 돈을 보내야 하고 A는 NFT를 확인 후 B의 주소로 전송해야 하므로 정보 불신 문제가 발생하고 A는 지갑 주소의 자산을 B에게 알리기 그 중 자신이 원하는 NFT가 있는데 A의 자산 정보가 B의 시야에 노출되는데 이때 B가 나쁜 의도를 갖고 있거나 해커가 있다면 A는 사기의 가능성에 빠지게 된다.
첫 번째 레벨 제목
영지식증명(ZKP)이란?
영지식 증명은 관련 정보를 공개하지 않고 자신이 특정 권리와 이익의 법적 소유자임을 완전히 증명할 수 있음을 의미하며, 영지식 증명은 특정 데이터 세트의 유효성을 확인하는 동시에 데이터 프라이버시를 보호할 수 있습니다.
첫 번째 레벨 제목
간단한 예
방은 열쇠로만 열 수 있고 다른 방법으로는 열 수 없다는 가정 하에 A가 이 방의 주인임을 B에게 증명해야 합니다. 현재 2가지 방법이 있습니다.
A는 B에게 열쇠를 보여주고 B는 그 열쇠를 사용하여 방의 잠금을 해제함으로써 A가 방의 올바른 열쇠를 가지고 있음을 증명합니다.
B는 방에 물건이 있다고 판단하고 A는 자신이 소유한 열쇠로 방의 문을 연 다음 물건을 꺼내 B에게 보여줌으로써 방의 열쇠를 가지고 있음을 증명합니다.
첫 번째 레벨 제목
보조 제목
SNARK
보조 제목
STARK
STARK의 전체 이름은 "영지식 확장 가능 투명 지식 증명"입니다(중국어는 "영지식 확장 가능 투명 지식 증명"). 이 암호화 증명은 증명자와 검증자 사이에 상호 작용이 거의 필요하지 않습니다. SNARK에 비해 STARK의 가장 큰 장점은 증명 시간이 짧고 확장이 쉽다는 것입니다. 또한 STARK는 해시 함수를 사용하기 때문에 양자 공격에도 강합니다.
각각 다른 장점과 단점이 있습니다. 두 ZK 증명의 주요 차이점은 다음과 같습니다.
증명 크기: STARK는 SNARK보다 크며, 더 큰 증명 = 더 많은 계산 = 더 높은 가스 수수료 때문에 Ethereum에서 확인하는 데 더 비쌉니다.
확장성: STARK는 일반적으로 구현에 따라 SNARK보다 더 효율적인 것으로 간주됩니다. 증명 및 검증 STARK의 복잡성 규모는 입증된 계산 복잡성과 관련하여 준선형적으로 증가하는 반면 SNARK의 복잡성은 선형적으로 증가합니다. 이것은 STARK가 SNARK보다 더 큰 계산을 증명할 때 더 큰 이점이 있음을 의미합니다.
생태계 및 프로젝트: SNARK가 더 오래 사용되었기 때문에 STARK보다 SNARK를 사용하는 프로젝트가 더 많습니다.
재귀: SNARK는 재귀를 지원합니다. 여러 확장 솔루션에서 사용되는 주요 기능인 여러 하위 SNARK를 증명하는 상위 SNARK를 만들 수 있습니다. STARK는 재귀를 지원하지 않습니다.
양자 안전: SNARK는 양자 안전이 아닌 타원 곡선 암호화를 사용합니다. 양자 컴퓨팅의 발전으로 인해 SNARK 기반 시스템이 공격에 취약해질 수 있습니다. STARK는 암호화 체계가 해시 함수에 의존하기 때문에 취약하지 않습니다.
첫 번째 레벨 제목
보조 제목
zk-STARK를 사용한 프로젝트
StarkEx: StarkEx는 이더리움의 레이어 2 확장 솔루션으로, STARK 증명을 사용하여 자체 수탁 거래를 확인하고 거래 및 결제 애플리케이션을 개발합니다. StarkEx를 기반으로 한 프로젝트로는 DeversiFi, Sorare, dYdX 등이 있으며 수억 건의 거래를 완료하고 수천억 달러의 거래량을 달성했습니다. 그러나 StarkEx는 스마트 계약 기능을 지원할 수 없으므로 완전한 기능을 갖춘 dApp을 구현할 수 없습니다.
StarkNet: StarkNet은 개발자가 Ethereum의 zk-rollup에 스마트 계약을 배포하는 데 사용할 수 있는 범용 플랫폼입니다. Ethereum의 주류 dApp인 Aave와 Maker는 모두 StarkNet에서 출시할 계획입니다. StarkEx의 zk-rollup도 StarkNet에서 출시하여 애플리케이션의 확장성을 향상시킬 수 있다는 점은 주목할 가치가 있습니다.
계산 및 확장성에서 STARK의 장점을 최대한 활용하기 위해 StarkWare는 STARK 증명을 만들기 위해 특별히 설계된 효율적이고 Turing-complete 프로그래밍 언어인 Cairo 언어를 개발했습니다. 이는 StarkWare가 개발자 에코시스템을 활성화하기 위해 개발 문서, 프레임워크 및 기타 도구가 필요함을 의미합니다.
Immutable X: Immutable X는 NFT와 토큰을 발행하고 거래하기 위한 NFT 플랫폼입니다. 플랫폼은 StarkEx를 사용하여 자체 zk-롤업을 생성합니다. Immutable X 플랫폼의 NFT 발행 및 거래량은 수백만에 달하며 이더리움 네트워크 정체 기간에도 비용을 낮게 유지할 수 있습니다.
보조 제목
zk-SNARK를 사용하는 프로젝트
Zcash: Zcash는 이전에 ZeroCash로 알려졌습니다. 이름의 "제로"는 비공개 거래를 달성하기 위해 영지식 증명 기술을 사용하는 것을 의미합니다. Zerocash는 업계에서 영지식 증명 기술의 채택을 주도한 초기 암호화폐 프로젝트 중 하나였습니다.
루프링: 루프링은 오더북 트랜잭션을 지원하고 사용자 자산을 호스팅하지 않는 이더리움의 DEX입니다. 루프링은 수십억 건의 거래로 수십만 명의 사용자에게 서비스를 제공하는 체인링크 가격 피드에 연결됩니다.
zkSync 1.0: zkSync 1.0은 이더리움의 롤업입니다. StarkEx와 마찬가지로 토큰 전송 및 교환을 지원하지만 스마트 계약은 지원하지 않습니다. 프로토콜은 Matter Labs에서 개발했습니다.
zkSync 2.0: StarkNet과 마찬가지로 zkSync 2.0도 Ethereum용 레이어 2 확장 솔루션입니다. 의지 인프라는 스마트 계약을 지원하기 위해 채택됩니다. zkSync는 zk-SNARK를 사용하여 트랜잭션을 확인하고 PoS 시스템 zkPorter를 사용하여 데이터 가용성을 보장합니다. zkSync 2.0과 StarkNet의 주요 차이점은 전자가 유효성 증명 외에 EVM과 호환된다는 것입니다. 1inch, Alchemix 및 Curve는 모두 zkSync 2.0에서 출시될 예정입니다.
ZigZag: ZigZag는 오더북 모델을 사용하여 ERC-20 토큰을 거래하는 탈중앙화 거래 플랫폼입니다. 반대로 대부분의 DEX는 AMM(Automated Market Maker) 모델을 사용합니다. ZigZag의 오더북 모드는 zk-rollup의 강력한 확장성을 활용합니다. zkSync 레지스트리의 모든 토큰은 ZigZag에서 거래될 수 있습니다. 이 프로토콜은 현재 zkSync 1.0에서 실행 중이지만 zkSync 2.0 및 StarkNet에서 출시될 예정입니다.
첫 번째 레벨 제목
영지식 증명의 인프라 역할
Web3 트랜잭션으로 인해 발생하는 신뢰 문제에 대한 많은 새로운 솔루션이 있지만 블록체인 기술과 합의 형식의 발전으로 영지식 증명은 점차 인프라 전력의 일부가 되었습니다.현재 영지식 증명은 두 가지 주요 용도가 있습니다.
개인 정보 보호: 블록체인에서 활동을 수행할 때 노출되는 데이터의 양을 최소화합니다.
확장성: 집중적인 계산을 오프체인에서 수행할 수 있으므로 계산이 정직하게 수행되었다는 간결한 증거를 생성하여 온체인에서 공개할 수 있습니다.
특히 확장성 이점 및 가격 측면에서 다음과 같은 많은 DAPP의 성능을 더욱 향상시킬 수 있습니다.
정확한 시장 데이터
확인 가능한 난수
스마트 계약 자동화
예비 증명서
요약하다
요약하다
개인 정보 보호에 대한 요구와 확장성 이점으로 인해 더 많은 블록체인 프로젝트의 홍보 및 개발이 개선되었습니다.영지식 증명의 기술 및 서비스 개체도 지속적으로 개발되어 블록체인 산업의 전반적인 수준을 촉진하고 사용자가 필요로 하고 Web3로 전환하려는 전통 산업은 신뢰 비용과 거래 장애물을 제거하고 Web3의 번영하는 생태계를 실현합니다.
IOS
Android