이 기사에서는 ZKP (Zero Knowledge Proof)의 개념을 소개합니다. 또한 다양한 유형의 ZKP, ZKP에 대한 사용 사례 및 구현 전략을 찾을 수 있습니다..

사람들의 정보가 지속적으로 통제되고 프라이버시가 부족한 지금은 새로운 시대를 요구합니다. 분산 시스템의 횃불을 들고있는 블록 체인은 변화를 일으키고 있지만 그것만으로는 충분하지 않습니다. 이제 제로 지식 증명이라는 새로운 기술이 기회를 위해 시장에 숨어 있습니다..

많은 분들이 영 지식 증명 예제에 대해 들어 보셨을 것입니다. 그러나 그이면의 개념을 잘 모릅니다. 제로 지식 암호화는 더 높은 수준의 보안을 추가 할 수있는 새로운 프로토콜입니다. 하지만 실제로 얼마나 좋을까요? 실제로 우리가 찾고있는 솔루션이 될 수 있습니까??

지금 등록: ZKP (Zero Knowledge Proofs) 마스터 클래스

내용의 테이블

1 장 : 블록 체인에서 연결하는 다양한 방법

제 2 장 : 영 지식 증명이란??

장 -3 : Zero Knowledge Proof는 어떻게 작동합니까??

4 장 : 대화 형 영 지식 증명

장 -5 : 비대화 형 제로 지식 증명

6 장 : 영 지식 증명 설명 –zk-SNARK 설명

장 -7 : 제로 지식 암호화를 활용하는 기업

8 장 : ZKP를 사용할 수있는 곳?

9 장 : Zero Knowledge Proofs 아키텍처 구현

장 -10 : 결론

Contents

1 장 : 블록 체인에서 연결하는 다양한 방법

일반적으로 블록 체인은 공유 데이터베이스 일 뿐이며 암호 화폐 또는 기타 디지털 자산을 누가 소유하고 있는지 점수를 유지합니다. 그러나 다른 블록 체인은 서로 조금 다르게 작동합니다..

예를 들어 비트 코인의 메타 데이터와 이더 리움의 기타 계약 논리가 표시됩니다. 어쨌든 블록 체인, 주로 사설 블록 체인은 두 가지 심각한 사용 사례를 제공합니다..

  • 네트워크에서 토큰으로 표시되는 외부 자산 소유. 사용자는 토큰을 사용하여 외부 자산을 전송할 수도 있습니다..
  • 개인 정보 보호 및 응용 프로그램의 증가는 데이터 관리의 일반적인 응용 프로그램과 더 관련이 있습니다..

모든 프라이빗 블록 체인은이 두 가지 사용 사례를 제공합니다. 그러나 일반적으로 프라이빗 블록 체인은 추가적인 기밀성과 프라이버시가 필요한 회사에 더 적합 할 수 있습니다..

일반 데이터 저장과 관련하여 블록 체인은 실제로 많은 서비스를 수행합니다. 먼저 데이터의 출처를 증명 한 다음 타임 스탬프를 찍어 아무도 변경할 수 없도록 변경 불가능하게 만들어야합니다..

그러나 블록 체인은 정보 자체에 대해 할 말이 없습니다. 따라서 모든 앱은 데이터가 실제로 무엇을 나타낼 수 있는지 또는 실제로 유효한지 여부를 결정할 수 있습니다. 네트워크 자체를 더 이상 중단하지 않고 앱 수준에서 잘못된 데이터를 제거하거나 무시할 수 있습니다..

따라서 블록 체인이 모든 종류의 자산을 전송하려면 해당 거래를 검증하는 프로세스에 대한 내부 규칙을 제공해야합니다. 이것은 블록 체인이 처음부터 부족한 것입니다. 블록 체인 채택 문제 중 하나입니다..

블록 체인 기술의 기초를 모르십니까? 블록 체인 기능 소개에 대한 자세한 가이드 읽기.

할 수있다 블록 체인은 필요한 프라이버시를 유지합니다?

예를 들어 친구 Kevin에게 50 달러를 보내고 싶을 수 있습니다. 그러나 거래가 승인되기 전에 네트워크는 귀하가 실제로 $ 50를 소유하고 있는지 알아야합니다. 많은 블록 체인이이 규칙을 서로 다르지만 여전히 모든 경우에 네트워크의 모든 사람은 귀하가 $ 50를 소유하고 있음을 알아야합니다..

이렇게하면 Kevin이 돈을받을 때 자산의 유효성을 유지하는 데 도움이됩니다. 그러나 귀하는이 검증 프로세스를 위해 귀하의 개인 정보를 희생하고 있습니다..

하지만 문제가 있습니다. 블록 체인에서는 Kevin과 같은 일반 식별 이름이 없습니다. 대신 거래 주소를 얻고이 모든 주소는 실제 세계와 유사하지 않은 문자열 스트림을 가져옵니다..

이 정보는 정확하지만 반드시 시나리오를 변경하지는 않습니다. 왜? 글쎄, 당신은 여전히 ​​두 사용자 간의 연결을 파악하고 그들의 주소를 알아내는 많은 방법을 찾을 수 있습니다.

현재 시나리오의 문제

처음에 사용자가 체인에서 자산을 거래하거나 전송하려면 주소를 알아야합니다. 따라서 송금 할 때 어떤 주소로 가는지 확인할 수 있습니다. 반면에 누군가가 당신에게 돈을 지불한다면 당신은 그것이 어디에서 오는지 볼 수있을 것입니다..

사용자가 실제 세계에서 다른 사용자에 대한 정보를 알고 있으면 다른 사용자가 사용하는 주소를 쉽게 추적하고 파악할 수 있습니다. 분명히 그들은 체인을 검색하고 활동을 기반으로 파악할 수 있습니다..

예, 시간이 많이 걸리지 만 알 수있는 것은 아닙니다. 그렇기 때문에 이름 대신 주소를 사용하는 것은 네트워크의 개인 정보를 보호하는 데 도움이되지 않습니다..

암호화만으로 충분할 수 있습니다.?

개인 정보 보호 및 민감한 정보의 개념은 암호화와 밀접한 관련이 있습니다. 블록 체인에 일반 데이터 만 저장하는 것을 생각하고 있다면 확실히 할 수 있습니다. 이 경우에도 데이터 보존, 불변성 및 타임 스탬프를 얻을 수 있습니다..

이들 중 어느 것도 데이터 유형과 관련이 없기 때문에 분산 원장을 사용하여 읽기만 가능한 데이터를 저장할 수 있습니다. 그러나 처음부터 블록을 생성하는 데 도움이되도록 다른 사람에게 의존하여 존재를 확인해야합니다. 그래서 전과 같은 과정입니다.

그러나 토큰 화 된 자산의 이전을 의미하는 거래에는이 유형의 암호화를 사용할 수 없습니다. 귀하와 Kevin이 귀하의 거래를 암호화하면 체인의 누구도 더 이상 자산을 안전하게 사용할 수 없습니다. 모든 사람이 자산의 정확한 위치를 알지 못하기 때문입니다..

문제의 자산은 원장에서 가치를 잃을 것이므로 암호화가 답이 될 수 없습니다..

유동성과 프라이버시의 갈등

이제 우리가 재정적 목적으로 블록 체인을 사용하고 싶다면 항상이 둘 사이에 갈등에 직면하게 될 것입니다. 많은 신생 기업이 자산을 다룰 때이 문제에 직면하고 있습니다..

블록 체인에서 프로세스를 시뮬레이션하는 많은 파일럿 프로젝트가 있었지만 실생활에서는 동일하지 않습니다. 이 프로세스에는 너무 많은 활동이 필요하므로 두 주소가 자산 거래를 시도하고 있음을 보여줍니다..

이것이 정보가 유출되는 방식이며 주요 문제 중 하나이지만 아직 네트워크에 특정 규칙이 없습니다..

이제 많은 신생 기업이 모든 점수를 온 체인이 아닌 오프 체인으로 설정하여 암호화하고 프라이버시를 확보합니다. 그러나 블록 체인은 제공 할 것이 너무 많고 프라이버시를 갖춘 온 체인 결제는 다른 높이에서 세계 금융을 이끌 수 있습니다..

이러한 모든 갈등 가운데 마침내 우리가 찾던 솔루션 인 The Zero Knowledge Proof.

제 2 장 : 영 지식 증명이란??

영 지식 증명의 개념은 참으로 독특합니다. 영 지식 증명은 사용자가 실제로 추가 정보를 전달하지 않고도 절대 값을 알고 있음을 다른 사용자에게 증명할 수있는 고유 한 방법입니다..

여기서 증명자는 자신이 z 값을 알고 있다는 사실 외에 다른 정보를 제공하지 않고 검증 자에게 z 값을 알고 있음을 증명할 수 있습니다..

이 개념의 주된 본질은 지식을 드러내지 않고 지식의 소유를 증명하는 것입니다. 여기서 주된 도전은 z가 무엇인지 또는 다른 정보를 말하지 않고 z 값을 알고 있음을 보여주는 것입니다..

힘든 것 같나요? 글쎄요, 그렇게 어렵진 않아요.

사용자가 진술을 증명하려면 비밀 정보를 알아야합니다. 이렇게하면 검증자가 실제로 비밀 정보를 모르고는 정보를 다른 사람에게 전달할 수 없습니다..

따라서 진술은 항상 증명자가 정보 자체가 아니라 지식을 알고 있다는 것을 포함해야합니다. 즉, z의 값은 말할 수 없지만 z를 알고 있다고 말할 수 있습니다. 여기서 z는 무엇이든 의미 할 수 있습니다..

이것이 제로 지식 증명 애플리케이션의 핵심 전략입니다. 그렇지 않으면 지식 증명 응용 프로그램이 아닙니다. 그렇기 때문에 전문가들은 영 지식 증명 애플리케이션을 비밀 정보를 전달할 기회가없는 특별한 경우로 간주합니다..

영 지식 증명 속성

영 지식 증명은 완전히 설명하기 위해 세 가지 다른 속성을 가져야합니다. 그들은:

  • 완전성: 진술이 사실이고 두 사용자가 모두 규칙을 올바르게 따르는 경우 검증자는 인위적인 도움없이 확신 할 수 있습니다..
  • 건강: 진술이 거짓 인 경우 검증자는 어떤 시나리오에서도 확신 할 수 없습니다. (이 방법은 허위 확률이 0인지 확인하기 위해 확률 적으로 확인됩니다)
  • 영 지식 : 모든 경우에 검증자는 더 이상 정보를 알지 못합니다..

연구원들은 프로세스가 더 정확하고 두 동료 간의 상호 작용이 덜 필요한지 확인하기 위해 추가로 조사하고 있습니다. 주로 목표는 의사 소통의 양을 없애고 개인 정보 보호를 위해 공통 참조 진술로 이동하는 것입니다..

제로 지식 증명 응용 프로그램은 지금 꽤 오랫동안 인기를 얻고 있습니다. 그러나 이것은 새로운 개념이 아닙니다. 이곳에 20 년 넘게있었습니다. 연구원들은 시스템의 출력과 효율성을 향상 시켰습니다..

이제 진술을 증명하는 것이 매우 쉽고 효율적입니다. 이제 블록 체인 시스템으로 직접 이동할 수 있습니다..

장 -3 : 영 지식 증명은 어떻게 작동합니까??

제로 지식 증명 애플리케이션은 고유 한 프로토콜처럼 보입니다. 그러나 많은 사람들이 실제로 정보를 전달하지 않고 진술을 증명하는 방법을 궁금해 할 것입니다. 가장 유명한 두 가지 예를 들어 설명하겠습니다..

시작하자.

첫 번째 예 : Ali Baba 동굴

이것은 영 지식 증명 인증이 어떻게 작동하는지 적절하게 조사하기 위해 가장 좋아하는 시나리오 중 하나입니다. 여기서 증명자는 Peggy로 알려져 있고 검증자는 Victor입니다..

따라서 제로 지식 증명 인증과 동일한 수준으로 유지하기 위해 증명자는 z 값을 알고 검증자는 증명자가 z 값을 알고 있음을 알 수 있습니다..

예제는 이렇게 시작합니다. Peggy가 어떻게 든 Ali Baba 동굴 내부의 마법의 문을 열 수있는 비밀 단어를 알고 있다고 상상해보십시오. 동굴은 문이 빠져 나가는 통로를 막는 고리처럼 보입니다. 입구와 출구가 비슷한 위치에서 만납니다..

이제 Victor는 Peggy가 진실을 말하고 있는지 확인하려고합니다. 의미, 그녀는 비밀 단어를 알고 있습니다. 그러나 Peggy는 사적인 사람이며 Victor에게 마법의 단어를 말하고 싶지 않습니다. 그래서 Victor는 그녀가 진실을 말하고 있는지 여부를 어떻게 알 수 있습니까??

다른 계획

Victor는 상황을 해결할 계획을 제시합니다. 그는 입구 경로 A와 출구 경로 B를 표시합니다. 그러나 같은 위치에서 만나는 경로 A와 B는 단지 왼쪽과 오른쪽 경로입니다. 이 검사를하는 동안 Victor는 외부에두고 Peggy는 동굴에 들어갑니다..

이제 Peggy는 경로 A 또는 B를 선택할 수 있지만 Victor가 무엇을 택하든 그것을 알 수 없습니다. Peggy가 경로를 선택한 후 그녀는 들어가고 Victor는 동굴에 들어갑니다. 그런 다음 Peggy가 반환하기를 원하는 경로 이름을 외칩니다. 그는 무작위로 선택할 수 있습니다 – A 또는 B.

음, 그녀가 실제로 비밀 단어를 안다면 정말 쉬울 것입니다. 그녀는 그 단어를 사용하여 문을 열고 Victor에게 돌아갈 수 있습니다. 또는 필요한 경우 동일한 경로를 반환 할 수도 있습니다..

Peggy가 단어를 정말로 모른다고 가정합니다. 이 경우 그녀는 Victor에게만 돌아갈 수 있으며 Victor가 경로의 이름을 외치면 처음에 선택합니다. 선택 과정이 무작위이기 때문에 Peggy는 Victors의 지시를 따를 확률이 50 %입니다. 하지만 Victor가이 과정을 15 번 또는 25 번 반복하면 Peggy는 그를 속일 행운의 추측을 할 수 없습니다..

예상 Victors 이동이 0에 가까워지고 Peggy가 잡힐 것입니다..

그러나이 과정을 여러 번 반복 한 후에도 Peggy는 Victor가 원하는 곳으로 돌아올 수 있습니다. 그러면 Victor는 그녀가 비밀 단어를 알고 있는지 안전하게 평가할 수 있습니다..

타사보기에서 발생하는 일?

일반적으로 제 3자가이 상황을보고있는 경우 Victor는 거래를 기록하기 위해 숨겨진 카메라가 있어야합니다. 그러나 카메라는 Victor가 외치는 것을 녹화 할 수 있습니다. A 또는 B 일 수 있습니다. 또한 Peggy가 B를 외칠 때 B에 나타나거나 A를 외칠 때 A에 나타납니다..

이 녹음은 두 사람이 미리 동의하면 가짜로 간단하게 만들 수 있습니다. 그렇기 때문에 Peggy가 실제로 비밀 단어를 알고 있다는이 레코드를 제 3자가 확신하지 못할 것입니다. 누군가 동굴에서 실험을 지켜 본다면 그도 확신하지 못할 것입니다..

그래서 그들은 실험의 무결성을 어떻게 증명합니까??

Victor가 동전을 던진 다음이를 기반으로 경로를 선택하면 영 지식 증명 인증은 그 속성을 잃게됩니다. 그러나 동전 던지기는 제 3 자 관찰자가 Peggy가 단어를 알고 있는지 확인할 수있을만큼 충분히 설득력이있을 것입니다..

이렇게하면 Victor는 단어를 몰라도 실험의 무결성을 증명할 수 있습니다. 하지만 완전히 제로 지식 증명은 아닙니다..

디지털 암호화에서 Victor는 동전과 같은 고정 패턴이있는 난수 생성기를 사용하여 동전을 뒤집을 수 있습니다. 하지만 빅터의 동전이 숫자 생성기처럼 행동한다면 그와 페기는 실험을 다시 가짜로 만들 수 있습니다..

따라서 숫자 생성기로도 간단한 동전 던지기만큼 효율적이지 않습니다..

단일 평가판 만

Peggy가 첫 번째 시도에서 단어를 말하지 않고도 단어를 알고 있다는 것을 쉽게 증명할 수 있다는 것을 알았습니까? 이 경우 Peggy와 Victor는 동시에 동굴 안으로 들어가야합니다. Victor는 Peggy가 A를 통과하고 B가 나오는 것을 볼 수 있습니다..

그러나 이런 종류의 증거는 누구에게나 확신을 줄 것입니다. 따라서 Peggy는 다른 사람이 그것에 대해 알기를 원하지 않습니다. 그녀는 Victor와 공모했다고 말할 수 없습니다. 그녀는 자신의 지식에 대해 아는 사람과 그것을 제어하는 ​​방법도 모르기 때문에.

두 번째 예 : 색맹 친구와 공 두 개

영 지식 증명 인증을위한 이러한 유형의 실험에는 크기가 같지만 색상이 다른 두 개의 공이 필요합니다. 이 실험은 정말 인기가 있습니다. Mike Hearn과 Konstantinos Chalkias는이 새로운 방법을 처음 소개했습니다. 두 개의 색상 카드를 사용하여이 실험을 수행 할 수도 있습니다..

색맹 친구와 공 두 개가 있다고 상상해보세요. 공은 빨간색과 초록색이어야하며 크기가 같아야합니다. 당신의 친구는 그들이 같은 것이라고 생각하고 그들이 다르다는 당신의 진술을 의심하고 있습니다.

따라서 어떤 색상인지 말하지 않고 색상이 다르다는 것을 증명해야합니다..

친구에게 공을 주면 그는 공을 등 뒤에 숨 깁니다. 그 후 무작위로 공을 꺼내 볼 수있게합니다. 그런 다음 공을 다시 넣고 무작위로 공을 다시 선택합니다..

이번에도 공을 볼 수 있습니다. 그 후 그는 공을 바꿨는지 아닌지 물어볼 것입니다. 그는 확실히하기 위해이 과정을 얼마 동안 반복 할 것입니다..

이제 색맹이 아니므로 그가 공을 바꿨는지 아닌지 확실히 알 수 있습니다. 공이 같은 색이면 정답을 맞출 확률은 50 %가됩니다. 그래서이 과정을 반복하고 매번 정확하게 답할 수있게되면 친구는.

예상 확률은 0이되고 3 개의 0 지식 속성을 얻을 수 있습니다..

하지만 친구가 어느 것이 녹색이고 어느 것이 빨간색인지 몰라 야합니다. 이렇게하면 세 번째 속성 인 “제로 지식”을 보존 할 수 있습니다.

4 장 : 대화 형 제로 지식 증명

제로 지식 암호화는 두 가지 종류가 있습니다.

  • 대화식 제로 지식 증명.
  • 비대화 형 제로 지식 증명.

그들이 무엇인지 보자.

인터랙티브 제로 지식 증명의 기초

이러한 유형의 무 지식 증명 인증에는 동료 또는 컴퓨터 시스템 간의 상호 작용이 필요합니다. 상호 작용을 통해 증명자는 지식을 증명할 수 있으며 검증자는이를 검증 할 수 있습니다..

이것이 제로 지식 증명 블록 체인의 가장 일반적인 시나리오입니다. 여기서 당신은 이해를 밝히지 않고 증명할 것입니다. 하지만 상호 작용하는 사용자에게도 공개하고 있습니다. 그래서 누군가가 당신 둘을보고 있다면 그는 당신의 지식을 확인할 수 없을 것입니다..

최고의 개인 정보 보호 프로토콜 중 하나이지만 여러 사람에게이를 증명하려면 여전히 많은 노력이 필요합니다. 왜냐하면 그들이 당신과 동의하지 않는 것을 보는 것만으로도 같은 과정을 각 사람에게 반복해서 반복해야하기 때문입니다..

이 프로토콜을 실행하려면 검증 자의 모든 종류의 대화 형 응답이 필요합니다. 그렇지 않으면 증명자가 스스로 증명할 수 없습니다. 대화 형 입력은 도전의 한 형태 또는 다른 종류의 실험이 될 수 있습니다. 당연히 프로세스는 검증자가 지식을 아는 것에 대해 설득해야합니다..

다른 경우에는 검증자가 프로세스를 기록한 다음 다른 사용자가 볼 수 있도록 재생할 수 있습니다. 그러나 다른 사람들이 실제로 확신할지 여부는 전적으로 그들에게 달려 있습니다. 그들은 그것을 받아 들일 수도 있고 아닐 수도 있습니다.

이것이 대화 형 제로 지식 증명 블록 체인이 대규모 그룹보다는 소수의 참가자에게 더 효율적인 이유입니다..

장 -5 : 비대화 형 제로 지식 증명

비대화 형 제로 지식 증명 블록 체인은 더 ​​많은 사람들에게 자신의 진술을 검증하기 위해 여기에 있습니다. 항상 비대화 형 제로 지식 증명 블록 체인을 사용하여 확인할 필요는 없습니다. 종종 보증 할 수있는 신뢰할 수있는 검증 자 소스를 찾을 수 있습니다..

하지만 아무도 찾을 수 없을 때 비대화 형 제로 지식 증명 블록 체인이 갈 길이다.

카드를 사용한 스도쿠 도전

스도쿠는 가장 어려운 게임 중 하나이지만 규칙은 간단합니다. 모든 행, 섹터 및 열의 숫자는 한 번만 1-9 여야합니다..

이 경우 컴퓨터에서도 며칠이 걸릴 수있는이 퍼즐의 해결책을 알고 있다고 상상해보십시오. 그렇다면 솔루션을 판매하려는 경우 검증자가 그를 속이지 않는다는 것을 어떻게 알 수 있습니까? 검증 자에게 해결책을 공개하지 않고 지식을 증명해야합니다..

어떻게 할 수 있는지 보자.

해결 방법

1-9에서 번호가 매겨진 27 장의 카드가 필요합니다. 따라서 27 개의 카드에는 숫자 1이 포함되고 27 개의 카드에는 숫자 2가 포함됩니다. 총 243 개의 카드가 필요합니다..

이제 솔루션과 함께 해당 상자에 세 개의 카드를 넣어야합니다. 그 상자의 정확한 숫자가 5이면 그 상자에 3 개의 숫자 5 카드를 넣습니다..

스도쿠 표에서 일부 답변이 항상 표시되는 것을 볼 수 있습니다. 이 상자에서 카드를 위로 향하게 놓습니다. 답이없는 상자에는 카드를 거꾸로 놓습니다..

이제 모든 카드를 공개하지 않고 올바른 위치에 배치했음을 증명해야합니다. 다음을 수행해야합니다.

9 개의 더미가 나올 때까지 각 열에서 맨 위에있는 카드를 가져옵니다. 행과 섹터에 대해 동일한 작업을 반복하십시오..

그런 다음 모든 더미를 섞은 다음 뒤집어서 숫자를 표시해야합니다..

기본 규칙을 알고 있습니다. 1-9의 모든 숫자는 모든 행, 섹터 및 열에 한 번씩 나타나야합니다. 따라서 모든 더미에 1-9가 한 번만 나타나는 경우 검증자는 솔루션이 있음을 알 수 있습니다..

비대화 형은 리소스를 늘리고 비용을 들이지 않고도 많은 사람들에게 진술을 증명할 수있는 가장 좋은 방법입니다..

6 장 : 제로 지식 증명 설명 – zk-SNARKS 설명

지금까지 zk-SNARKS에 대해 들어 보셨을 것입니다. 그것이 실제로 무엇인지 궁금한 적이 있습니까? 글쎄, zk-SNARKS는 비대화 형 제로 지식 증명 예제 개념을 사용하는 기술입니다. Zcash는 더 나은 개인 정보를 보장하기 위해 이러한 형태의 암호화를 사용합니다..

실제로 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge의 약자입니다..

이 기술은 세 가지 알고리즘으로 구성됩니다.

  • 키 생성기 : 키 생성기는 키 쌍을 생성하는 매개 변수를 설정합니다. 여기서 신뢰할 수있는 소스는 개인 또는 공개 키 쌍을 생성 한 다음 개인 부분을 삭제할 수 있습니다. 그 후 공개 부분을 사용하여 다른 키 쌍을 생성했습니다. 여기서 하나는 검증을 위해 다른 하나를 증명하는 데 사용됩니다..
  • 증명 자 : 증명자는 자신의 지식을 증명하기 위해 증명 키와 공개 입력을 받아야합니다. 여기에서 그는 개인적으로 증인이되고 자신의 주장을 증명하기 위해 맥락을 만족시킬 것입니다.
  • 검증 자 : 확인에는 진술이 참인지 거짓인지 확인하기 위해 확인 키가 필요합니다. 그는 그것이 사실인지 거짓인지를 평가하기 위해 대중의 의견과 증거를 받아 들여야합니다..

이 세 가지 외에 zk-SNARKS도 유지해야합니다.

  • 영 지식 : 검증자는 진술이 사실이라는 사실 외에는 아무것도 배우지 않을 것입니다. 간결함 : 어떤 도전이든 정말 작아야 몇 밀리 초 안에 증명할 수 있습니다..
  • 비대화 형 : 사용자는 수술을 검증 자에게만 보내고 다른 것은 보내지 않습니다. Verifier는 증명 자와 더 이상 상호 작용할 수 없습니다..
  • 논의: 증명은 제로 지식 암호화의 건전성을 유지하고 다항식 시간에 구속됩니다.
  • 지식 : Prover 및 Verifier는 신뢰할 수있는 증인없이 프로세스를 실행할 수 없습니다..

장 -7 : 제로 지식 암호화를 활용하는 기업

영 지식 증명에 대한 모든 것을 알았으니 이제이 프로토콜을 사용하는 유명한 기업을 살펴 ​​보겠습니다..

주목할만한 프로젝트

  • Zcash

대부분의 블록 체인 플랫폼은 두 피어 간의 거래를 노출합니다. 블록 체인의 단점 중 하나 일뿐만 아니라 성장을 방해하고 있습니다. 반면에 Zcash는 거래와 관련하여 완전한 프라이버시를 제공 할 수 있습니다..

제로 지식 증명의 본질을 활용하는 오픈 소스 및 무허가 블록 체인 플랫폼입니다. 거래 프로세스는 보호됩니다. 따라서 블록 체인에서 가치, 발신자 및 수신자를 찾습니다..

zk-SNARKS를 소개하는 것으로도 유명하며 그 이후 많은 사람들이.

더 읽어보기 : Zcash는 무엇입니까?

  • ING

ING은 새로운 제로 지식 블록 체인을 시작한 네덜란드 기반 은행입니다. 제로 지식 시스템의 수정 된 버전을 약간 출시했지만 제로 지식 범위 증명이라고합니다. 이 경우에는 필요한 것보다 훨씬 적은 계산 능력이 필요합니다..

모기지 가치와 같은 금융 부문과 직접적인 관련이 있습니다. 월급을 공개하지 않고도 모기지를받을 수있는 월급이 있음을 증명할 수 있습니다..

현재는 오픈 소스이지만 다른 금융 블록 체인에 대한 상당한 도전을 통해.

  • PIVX

이 회사는 세상이 일하는 전형적인 방식을 바꾸고 싶어합니다. 모든 것이 다른 사람에 의해 통제되고 관리되는 시스템에서 PIVX는 재무 제표를위한 안전한 피난처를 도입하려고합니다. 그들은 제로 지식 증명 예제를 따를 새로운 통합 작업을하고 있습니다..

여기서 공개되는 유일한 것은 송금 확인입니다. 즉, 누군가가 송금 한 것을 볼 수 있지만 주소 나 시간의 양은 숨겨집니다. PIVX는 개인 정보 보호 강화와 함께 새로운 통합을 통해 더 빠른 거래 속도를 보장합니다..

  • 지코 인

이 회사는 추가 보안 및 완전히 익명의 거래를 제공하기 위해 Zerocoin 프로토콜을 사용합니다. 제로 코인 프로토콜은 분명히 제로 지식 증명 예제 개념을 따릅니다. 하나, Zcoin은 확장 성을 제공합니다 많은 블록 체인 네트워크에 부족한.

여기에서 Zcoin을 사용하면 귀하의 신원과 네트워크에서 지출하는 금액을 최대한 보존 할 수 있습니다. 대체 가능성을 보호하는 좋은 방법입니다.

그러나 Zcash와 혼동하지 마십시오. 그들은 서로 다른 프로토콜을 가지고 있으며 서로의 포크가 아닙니다..

주목할만한 공급 업체

  • StarkWare

StarkWare는 기술에 대한 제로 지식 증명 사례를 최대한 활용하는 또 다른 훌륭한 회사입니다. 그러나 그들은 전형적인 SNARK 프로토콜을 왜곡하는 것 같습니다. SNARK 대신 STARK 기술을 사용합니다..

StarkWare는 투명한 거래 방식으로 블록 체인의 개인 정보 보호 및 확장 성 문제를 개선하는 것을 목표로합니다. 그들은 현재 STARK 기술의 더 나은 결과를 보장하기 위해 하드웨어 및 소프트웨어 지원을 개발하고 있습니다..

이 새로운 기술은 숨겨진 인플레이션 문제를 제거하여 신뢰할 수있는 설정을 제거합니다. zkSTARK는 Zero Knowledge Scalable Transparent ARgument of Knowledge의 약자입니다. 그러나 숨겨진 인플레이션이 사라지더라도 양자 저항력은 여전히 ​​존재합니다..

이 새로운 STARK 기술은 SNARK의 다음 단계가 될 수 있습니다..

  • QED-it

이것은 보안을 제공하기 위해 무 지식 증명을 활용하는 스타트 업 중 하나입니다. QED-it는 제 3 자의 눈없이 기밀 데이터를 처리 할 수있는 이스라엘 기반 회사입니다. 더 나은 데이터 관리를 위해 시스템에 통합 할 수 있습니다..

인기있는 고객 중에는 BNP Paribas와 Deloitte가 있습니다. 주요 목표는 기업에 개인 정보를 제공하는 것입니다. 지난 2 년 동안 그들은 모든 상황을 해결할 수있는 새로운 SNARK 시스템을 개발하면서 프로젝트를 개선했습니다..

사용 사례 중 일부는 실시간 위험 평가, 공급망, 자산 관리, 예측 유지 관리 등입니다..

8 장 : ZKP를 사용할 수있는 곳?

ZKP 또는 영 지식 증명 사용 사례는 암호화 및 신뢰할 수있는 장치와 함께 작동 할 수 있어야합니다. 다른 장치에 비해 모바일이 올바른 선택 인 것 같습니다. 브라우저에 비해 안전한 런타임 환경을 제공합니다. 그러나 여전히 위험이 없습니다..

그러나 주요 질문은 영 지식 증명 사용 사례를 어디에서 활용할 수 있는가입니다.?

  • 메시징

메시징에서 종단 간 암호화가 필요합니다. 따라서 클라이언트 자체 없이는 아무도 개인 메시지를 읽을 수 없습니다. 두 명의 사용자가 서버에 대한 신뢰를 확인해야하며 그 반대의 경우도 마찬가지입니다. 반면에 ZKP는 추가 정보를 유출하지 않고 종단 간 신뢰를 제공합니다. ZKP의 도움으로 아무도 더 이상 메시지를 해킹 할 수 없습니다..

이것은 제로 지식 증명 사용 사례 중 하나입니다..

  • 입증

영 지식 증명은 추가 보안과 함께 인증 정보와 같은 민감한 정보를 전달하는 데 도움이 될 수 있습니다. 여기서 ZKP는 사용자가 자신의 인증 정보를 노출하지 않고 사용할 수 있도록 보안 채널을 유지할 수 있습니다. 따라서 그는 데이터 유출을 효율적으로 피할 수 있습니다..

  • 데이터 공유

제 3 자의 눈없이 인터넷을 통해 데이터를 공유하는 것은 매우 중요합니다. 아무리 보호한다고 주장하더라도 네트워크에서 무언가를 공유하면 항상 위험이 따릅니다..

누군가는 항상 정보를 공유하는 사이에 해킹하거나 가로 챌 수 있습니다. 이것이 ZKP가 확실히 도울 수있는 곳입니다..

이것은 제로 지식 증명 사용 사례 중 하나입니다..

  • 민감한 정보에 대한 보안 (신용 카드 정보)

은행 명세서 또는 신용 카드 정보와 같은 민감한 정보는 추가적인 보호 수준이 필요합니다. 은행은 신용 카드 내역을 보존합니다. 그러나 정보를 요청할 때는 해당 서버와 통신해야합니다..

은행이 보안 선을 통과하더라도 신용 카드 기록은 일반 데이터보다 훨씬 더 민감합니다. 이 경우 전체 정보를 하나로 암호화하는 것이 아니라 차단하여 은행이 더 나은 보안을 제공 할 수 있습니다..

은행은 다른 블록을 건드리지 않고 필요한 블록 만 조작하기 때문에 기록은 적절한 양의 보안 계층을 얻게됩니다. 그리고 ZKP는.

  • 복잡한 문서

ZKP는 사용자가 볼 권한이없는 복잡한 문서에 액세스하지 못하도록 제한 할 수 있습니다. ZKP는 청크 단위로 데이터를 암호화 할 수 있으므로 특정 블록 만 조작하여 액세스 권한을 부여하고 다른 사용자에 대한 액세스를 제한하면됩니다..

이렇게하면 권한이없는 사람이 문서를 볼 수 없습니다..

  • 보관 보호

스토리지 유틸리티를 더 잘 보호 할 수 있습니다. ZKP는 해커를 멀리하기위한 프로토콜을 갖추고 있습니다. 이를 통해 귀하의 저장 장치뿐만 아니라 그 안의 정보도 암호화됩니다. 액세스 채널도 과도하게 보호됩니다..

  • 파일 시스템 제어

파일 시스템 내의 모든 것은 영 지식 증명 프로토콜로 보호 할 수 있습니다. 파일, 사용자 및 모든 로그인은 서로 다른 보안 계층을 가질 수 있습니다. 따라서 필요할 때 훌륭한 사용 사례가 될 수 있습니다..

이러한 모든 제로 지식 증명 사용 사례는 실제 시나리오에서 사용할 수 있습니다..

자세히보기 : 제로 지식 증명이 블록 체인을 변화시키는 방법?

9 장 : Zero Knowledge Proofs 아키텍처 구현

무 지식 증명 구현을 원하기 전에 그것이 무엇에 의존하는지 알아야합니다..

키 래핑 프로세스

ZKP는 단일 데이터 스트림을 작은 블록으로 분할합니다. 이러한 각 블록은 개별적으로 암호화됩니다. 무 지식 증명 구현에서 암호화 할 키는 사용자에게만 있으며이를 통해 정보를 암호화 및 해독 할 수 있습니다..

권한 관리

키는 컨테이너에 보관됩니다. 그러나 사용자가 스토리지 키를 변경하려면 소유권 태그를 비교해야합니다. 일치하면 변경할 수 있고 일치하지 않으면 그대로 유지됩니다..

요청 제어

영 지식 증명 구현 내에서 아무도 텍스트를 추가 할 수 없도록해야합니다. 사용자는 블록 체인 네트워크에서만 액세스 할 수 있으므로 모든 작업을 API 명령으로 변환해야합니다..

이렇게하면 아무도 귀하의 보안 조치를 우회 할 수 없습니다..

모든 공격 완화

블록 체인은 완벽한 네트워크가 아닙니다. 공격 량을 줄여도 완전히 제거하지는 못합니다. 따라서 시스템에 ZKP를 통합 할 때 다른 측정과 결합하십시오. 이렇게하면 잠재적으로 네트워크에 해를 끼칠 수있는 나머지 공격을 제거 할 수 있습니다. 영 지식 증명 구현에는 이러한 방법이 올바르게 작동해야합니다..

제로 지식 시스템이 중요하다?

지금까지 설명 된 제로 지식 증명은 엔터프라이즈 수준의 비즈니스를 처리 할 수 ​​있음을 입증했습니다. 모든 사람이 모든 사람이 거래를 볼 수있는 공개 원장 시스템의 팬은 아닙니다. 예, 주소의 도움으로 익명 성을 얻을 수 있지만 여전히 사람들은 주소를 추적 할 수 있습니다..

또한 민감한 정보를 추가로 저장하는 경우 블록 체인이 최선의 방법이 아닙니다. 기업은 많은 개인 정보를 처리하며 기존 개인 정보 보호 프로토콜로는 충분하지 않습니다..

설명 된 제로 지식 증명은 블록 체인을 개선 할 수있을뿐 아니라 모든 부정적인 문제를 제거 할 수도 있습니다. 하지만 많은 기업이 블록 체인에 관심이 없습니다. 그것은 아름다운 발명품입니다. 그러나 Zero Knowledge 증명의 도움으로 이제 모든 사람들이 그것을 활용할 수 있습니다..

따라서 대답은 ‘예’입니다. 지식 제로 시스템은 의심 할 여지없이 블록 체인과 관련된 중요한 요소입니다..

장 -10 : 결론

블록 체인에는 고유 한 장점과 단점이 있습니다. 처음에는 매우 유망 해 보였지만 실제로는 많은 짐이 있습니다. 이러한 결함은이 놀라운 기술의 성장을 늦추고 있습니다..

그러나 제로 지식 시스템 (빛나는 갑옷을 입은 기사)이 도입되면서 상황이 바뀌기 시작했습니다. 이제 블록 체인은 모두가 바라는 최고의 보호 플랫폼이 될 수 있습니다..

ZKP와 같은 더 기본적인 블록 개념에 관심이 있다면이 무료 기본 엔터프라이즈 블록 체인 과정이 유용 할 것입니다..

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me