신뢰할 수있는 시상식은 무엇입니까?

신뢰할 수있는 설정 의식의 개념을 이해합니다

신뢰할 수있는 설정 의식은 주로 ZK-SNARKS (제로 지식 간결하지 않은 지식 논증)와 같은 제로 지식 증명 시스템에 주로 사용되는 중요한 암호화 프로세스입니다. 이 행사는 증거를 생성하고 검증하는 데 필요한 특정 비밀 매개 변수를 안전하게 만들어진 다음 파괴 할 수 있도록합니다. 목표는 개인이나 그룹이 이러한 비밀을 유지하는 것을 막는 것입니다.

Zcash 또는 Ethereum 기반 개인 정보 보호 프로토콜과 같은 개인 정보 보호 기술에 의존하는 대부분의 블록 체인 응용 프로그램 에서이 설정은 기본입니다. 제대로 실행되면 기본 데이터를 공개하지 않고 안전하고 개인 거래가 가능합니다.

왜 '신뢰'라고 불리는가? 참가자는 초기 매개 변수 생성 단계에서 정직하게 행동하도록 신뢰해야하기 때문입니다.

블록 체인에서 제로 지식 증명의 역할

제로 지식 증거는 한 당사자가 실제 내용을 밝히지 않고 가치 나 진술을 알고 있음을 다른 당사자에게 증명할 수있게합니다. 블록 체인 기술 에서이 기능은 특히 공개 검증을 허용하면서 거래 개인 정보를 유지하는 데 특히 유용합니다.

ZK-SNARKS는 가장 널리 채택 된 형태의 제로 지식 증거 중 하나입니다. 이를 위해서는 키를 입증하고 검증하는 것이 포함 된 공통 참조 문자열 (CRS)을 만들려면 신뢰할 수있는 설정이 필요합니다. 이 설정이 없으면 시스템 내에서 증명을 효율적으로 생성하거나 검증 할 수 없습니다.

CRS는 단일 엔티티가 생성에 사용 된 원래 비밀 값에 액세스 할 수있는 방식으로 생성되어야합니다. 신뢰할 수있는 설정 의식이 필수화되는 곳입니다.

• KEY를 제공 하면 사용자가 증명을 생성 할 수 있습니다.
• 키를 확인하면 다른 사람들이 그러한 증거의 유효성을 확인할 수 있습니다.

신뢰할 수있는 설정 의식은 어떻게 작동합니까?

신뢰할 수있는 설정 의식에는 일반적으로 CRS 생성에 무작위로 기여하는 여러 참가자가 포함됩니다. 각 참가자는 비밀 값을 생성하고이를 사용하여 결과를 다음 참가자에게 전달하기 전에 CRS의 일부를 계산합니다. 일단 그들의 기여가 이루어지면, 각 참가자는 비밀 가치를 파괴하여 나중에 재구성 할 수 없도록해야합니다.

이 프로세스는 종종 MPC (Multi-Party Computation) 프로토콜이라고합니다. 그것은 적어도 한 명의 참가자가 정직하게 행동하고 비밀을 파괴하는 한 전체 시스템이 안전하게 유지되도록합니다.

여기 단순화 된 분석이 있습니다.

• 기본 매개 변수 세트는 코디네이터에 의해 초기화됩니다.
• 각 참가자는 CRS의 현재 상태를 받고 자신의 임의성을 기여합니다.
• 그들은 수학적 작업을 수행하여 CRS를 업데이트하고 전달합니다.
• 모든 참가자는 공헌 한 후 지역 비밀을 파괴하기 위해 공개적으로 노력해야합니다.

한 참가자조차도 비밀을 유지한다면, 전체 시스템은 사기성 증거 생성을 통해 손상 될 수 있습니다.

손상된 설정의 보안 영향

신뢰할 수있는 설정에 사용 된 비밀이 유지되거나 유출되면 공격자는 검증 자에게 유효한 오 탐지를 생성 할 수 있습니다. 이는 다양한 유형의 사기, 특히 ZK-SNARKS가 금액이나 주소를 공개하지 않고 거래를 검증하는 데 사용되는 금융 시스템에서 문을 열어줍니다.

예를 들어, Zcash에서 신뢰할 수있는 설정을 위반하면 누군가가 감지하지 않고 새로운 동전을 깎을 수 있습니다. 따라서 모든 참가자가 프로토콜을 따르고 비밀을 안전하게 지우는 것이 중요합니다.

위험을 완화하려면 :

• 의식에는 종종 라이브 비디오 스트림 및 암호화 감사와 같은 투명성 조치가 포함됩니다.
• 참가자는 에어 갭 기계 및 하드웨어 보안 모듈 (HSMS)을 사용할 수 있습니다.
• 공개적으로 검증 가능한 아티팩트가 게시되어 누구나 프로세스를 감사 할 수 있습니다.

이러한 예방 조치는 세공 후 시스템에 대한 신뢰를 구축하는 데 도움이됩니다.

실제 신뢰할 수있는 설정 의식의 예

가장 잘 알려진 사례 중 하나는 Zcash Powers of Tau 의식으로, 전 세계 참여와 함께 여러 단계에서 수행되었습니다. 각 단계는 Zcash의 차폐 트랜잭션에 사용되는 최종 CR에 엔트로피를 추가했습니다.

또 다른 예는 Filecoin Zk-Snarks 설정으로 전 세계 수십 명의 기고자와 관련된 대규모 다중 파티 계산이 포함되었습니다. 참가자들은 엄격한 프로토콜을 따라 아무도 비밀 매개 변수에 대한 전적인 지식을 갖지 못하도록했습니다.

이 의식은 개발자, 연구원 및 애호가가 분산 된 신뢰를 지원하기 위해 참여하는 지역 사회 행사가되었습니다.

자주 묻는 질문

Q : 무언가 잘못되면 신뢰할 수있는 설정 의식을 반복 할 수 있습니까? 예, 일부 시스템은 신뢰할 수있는 설정의 정기적 인 재결합을 허용하여 보안을 향상 시키거나 새로운 요구 사항을 수용하도록 설계되었습니다. 그러나 의식을 반복하려면 신중한 조정과 검증이 필요합니다.

Q : 한 참가자가 비밀을 파괴하지 않으면 어떻게됩니까? 참가자가 비밀을 유지하면 전체 시스템이 위조 공격에 취약 해집니다. 그렇기 때문에 각 참가자에 대한 신뢰와 검증 메커니즘이 중요합니다.

Q : 모든 제로 지식 증명 시스템에 신뢰할 수있는 설정이 필요합니까? 아니요. ZK-Starks (제로 지식 확장 가능한 투명한 지식 인수)와 같은 일부 최신 시스템은 신뢰할 수있는 설정이 필요하지 않습니다. 해시 기능과 충돌 저항에 의존하여 초기 비밀 생성이 필요하지 않습니다.

Q : 신뢰할 수있는 설정 의식이 올바르게 수행되었는지 어떻게 확인할 수 있습니까? 대부분의 의식은 암호화 성적표, 소스 코드 및 중간 출력 해시를 게시합니다. 누구나이 자료를 검토하여 프로세스가 예상 프로토콜을 따랐 음을 확인할 수 있습니다.