블록체인 거래의 대부분은 의도적으로 공개되어 누구나 검사할 수 있습니다. 감사 가능성은 탁월하지만 개인 정보를 전달하기 위한 선택이 덜 명확해집니다. 예를 들어 사회 보장 번호를 이더리움 블록체인에 커밋하고 싶지 않을 것입니다. 그러나 우리는 사용할 수 있습니다 제로 지식 증명 (정보를 공개하지 않고 정보에 대한 사실을 암호로 증명할 수 있음) 개인 정보를 보호할 뿐만 아니라 오늘날의 기존 정보 공유 및 확인 워크플로를 개선합니다.
예를 들어, . 조직과 기관은 모기지 대출에서 대학 입학에 이르기까지 개인 정보를 신중하게 공유하고 해당 정보의 진위 여부를 확인합니다. 그러나 실제로 이러한 개인 정보 보호 워크플로에는 사람이 다른 사람에게 질문할 때 일련의 주관적인 액세스 확인이 포함됩니다. 불필요한 정보를 노출하는 오류가 발생하기 쉽고 비효율적이며 누출되는 프로세스이며 가장 민감한 데이터를 처리하는 데 적합하지 않을 수 있습니다.
여기에서 우리는 web3 운동에 의해 개발되고 대중화된 몇 가지 암호화 프리미티브가 어떻게 정보 검증 워크플로를 개선하는 동시에 새로 출시된 우리의 개인 정보 보호와 분권화를 모두 보존할 수 있는지를 보여줍니다. zkDocs 저장소. 이는 주어진 워크플로의 다양한 당사자가 정보를 공유 및 확인할 수 있도록 하고 불필요하게 공개하지 않고도 특정 기준을 충족하는지 확인할 수 있는 "무지식 사용 문서"를 생성하기 위한 도구입니다.
[포함 된 콘텐츠]
그러나 먼저 작동 방식, 주요 메커니즘 등
zkDocs 워크플로의 세 가지 중요한 행위자와 모기지를 신청하고 승인하기 위해 상호 작용하는 방법에 대한 간략한 개요부터 시작하겠습니다.
- 검증자: zkDoc 스키마의 관리자 또는 작성자입니다. 이 예에서 검증자는 모기지 대출 기관입니다.
- 제출자: 스키마로 데이터를 확인하려는 개인 또는 개인. 이것은 대출 신청자 또는 잠재적인 주택 구매자입니다.
- 증명자: 제출자의 필드 중 하나 이상이 진실임을 증명할 수 있는 신뢰할 수 있는 개인 또는 기관입니다. 이것은 고용주 또는 주택 감정사일 수 있습니다.
일반적으로 모기지 신청은 모기지 대출 기관(검증인)이 다른 신뢰할 수 있는 기관과 협력하여 신청자(제출자)가 요구 사항을 충족하는지 확인하는 검증 워크플로를 시작합니다. 신청서가 기관에서 기관(증명인)으로 반송되면 원래 대출 기관이 대출을 승인할 수 있습니다.
우리가 배치한 아키텍처는 검증자가 필드 및 신뢰할 수 있는 증명자의 스키마를 지정할 수 있도록 합니다., 그런 다음 해당 필드에 몇 가지 제약 조건을 지정합니다. 모기지 신청의 경우 대출 기관은 신청자의 담보 가치 합계가 미지급 부채보다 크다고 지정할 수 있습니다.
zkDocs는 또한 제출자가 각 증명자와 관련 정보만 공유할 수 있도록 합니다. 고용주는 예를 들어 불필요한 재정 세부 정보를 보지 않고 신청자의 임금 및 고용 상태만 증명할 수 있습니다.
그런 다음 제출자는 기본 데이터를 공개하지 않고 스키마가 진실하게 작성되었으며 각 필드가 적절하게 증명되었음을 보여주는 영지식 증명을 생성할 수 있습니다. 모든 당사자(검증인 포함)는 경량 계산을 통해 영지식 증명을 검증할 수 있습니다.
주목해야 할 두 가지 기본 메커니즘이 있습니다. 증명 및 제로 지식 증명.
증명에 블록체인 사용
공개 블록체인에는 검열 저항, 공개 데이터 가용성, 감사 가능성 및 비밀 서명 키와 같은 증명에 이상적인 여러 속성이 있습니다. 증명자는 개인 키를 사용하여 블록체인으로 전송되는 모든 거래에 서명할 수 있으므로 증명이 위조되거나 위조되지 않도록 할 수 있습니다.
그러나 블록체인에 증명을 게시할 때의 단점 중 하나는 기본 값이 공개적으로 표시된다는 것입니다. zkDocs는 브로드캐스팅을 통해 이를 해결합니다. 암호화 약정 일반 텍스트 값 대신 값으로. 이러한 약속은 공개적으로 사용 가능하지만 기본 가치는 표시되지 않습니다.
암호화 약정이란 무엇입니까?
암호화 약정을 사용하면 한 당사자가 일부 개인 데이터에 대한 약정을 생성할 수 있습니다. 나중에 커미터는 커밋된 데이터를 공개하기 위해 커밋을 열 수 있습니다.
약정 체계는 (1) 약정이 데이터에 대해 아무 것도 드러내지 않는다는 것을 의미하는 숨김과 (2) 커미터가 두 가지 다른 방법으로 열 수 있는 약정을 찾을 수 없음을 의미하는 바인딩이어야 합니다.
가장 간단한 약정 체계는 암호화 해시 함수로 구축됩니다. 예를 들어, 포세이돈 해시. 일부 데이터를 커밋하기 위해 커미터는 다음을 계산합니다. 헌신 ← 포세이돈(데이터, 로마 교황 사절), 어디서 로마 교황 사절 임의의 512비트 문자열입니다. 커밋을 나중에 열기 위해 커미터는 다음을 공개합니다. 데이터 그리고 로마 교황 사절. 누구나 약정이 올바르게 열렸는지 확인할 수 있습니다.
영지식 증명을 통한 개인 데이터 확인
영지식 증명은 기본 데이터에 대해 아무 것도 공개하지 않고 데이터에 대한 사실을 증명하는 방법입니다. zkDocs를 사용하여 제출자는 모든 데이터가 커밋되었으며 필수 제약 조건을 충족한다는 영지식 증거를 만들 수 있습니다. 제XNUMX자는 기본 데이터에 대한 지식이나 정보 없이 검증 계산을 실행할 수 있습니다.
그 결과 zkDoc 스키마 제출을 확인하는 데 필요한 데이터가 공개적으로 사용 가능하고 완전히 감사할 수 있으며 항상 비공개로 유지됩니다.
특히 제출자는 (가치, 로마 교황 사절) 다음과 같은 쌍:
poseidon(value[i], nonce[i]) == prior_commitment[i]및value[0], …, value[n]제약 조건을 충족
제출자는 이 회로를 사용하여 영지식 증명을 생성하고 데이터 확인에 관심이 있는 모든 당사자에게 이를 브로드캐스트할 수 있습니다. 누구나 증명을 실행하고 스키마 내 필드의 유효성을 확인할 수 있습니다.
설명하기 위해 두 가지 짧은 사례 연구를 살펴보겠습니다.
예: 모기지 신청
먼저 zkDocs로 개선할 수 있는 정보 증명 워크플로의 좋은 예인 모기지 애플리케이션으로 돌아가 보겠습니다.
모기지 대출 기관(이 경우 검증자)은 다음과 같이 zkDoc에 대한 스키마를 생성합니다.
{
"fields": [
{
"field_name": "salary"
},
{
"field_name": "401k_income"
},
{
"field_name": "bank_account_balance"
},
{
"field_name": "property_value"
},
{
"field_name": "loan_value"
}
],
"constraints": [
{
"fieldA": "bank_account_balance",
"fieldB": "property_value",
"op": "ADD",
"constraint": "GT",
"fieldCompare": "loan_value"
},
{
"fieldA": "salary",
"fieldB": "401k_income",
"op": "ADD",
"constraint": "GT",
"constant": 65000
}
],
"trusted_institutions": [
{
"human_name": "Employer",
"address": "0xabcd..."
},
{
"human_name": "Home Appraiser",
"address": "0xabcd..."
},
{
"human_name": "401k Provider",
"address": "0xabcd..."
},
{
"human_name": "Checking Account Provider",
"address": "0xabcd..."
},
{
"human_name": "Creditor",
"address": "0xabcd..."
}
]
}
먼저 스키마는 급여, 401(k) 소득, 당좌예금 잔액, 재산 가치 및 대출 가치와 같이 대출 기관이 관심을 갖는 여러 필드를 지정합니다.
그런 다음 해당 필드에 대한 두 가지 제약 조건:
- 부동산 가치와 은행 계좌 잔고의 합이 대출 가치보다 큽니다.
- 401(k) 소득과 급여의 합이 연간 $65,000 이상인 경우
그리고 마지막으로, 이 정보를 증명하기 위해 신뢰하는 XNUMX개 기관:
- 고용주
- 주택 감정사
- 401(k) 제공자
- 계정 공급자 확인
- 채권자
모기지를 신청하기 위해 신청자는 zkDocs UI를 사용하여 "필드" 섹션에 나열된 필드를 채우고 각각에 대한 온체인 암호화 약속을 게시합니다. 그런 다음 신청자는 각 약정에 대한 nonce와 함께 관련 일반 텍스트 필드를 보냅니다. 각 인증 기관에 (아래 나열된 집합에서 trusted_institutions). zkDocs UI는 하이퍼링크를 통해 이를 수행합니다.
각 증명자는 관련 일반 텍스트 정보를 확인하고 이더리움 개인 키로 서명하여 약속을 증명합니다. 그런 다음 신청자는 약정 및 제약 조건의 유효성에 대한 영지식 증명을 포함하여 블록체인에 거래를 제출할 수 있으므로 유효한 모기지 수령인 자격이 됩니다. 검증 모기지 기관은 신청서의 무결성을 확인하기 위해 추가 검증을 수행할 필요가 없습니다.
예: MakerDAO RWA 대출
MakerDAO는 현재까지 발행된 대출 프로토콜입니다. 대출 6억 달러 DAI(USD 고정 토큰)로 표시됩니다. Maker의 RWA(Real World Assets) 부서는 DAI가 실제 경제 성장을 직접적으로 촉진할 수 있도록 다운스트림 대출 기관에 DAI 표시 대출을 제공하기 위해 노력하고 있습니다. 그러나 Maker는 거버넌스 토큰이 약 78,000개의 고유한 지갑에 의해 소유된 DAO이며, 각각은 거버넌스 프로세스에 참여하고 프로토콜의 미래를 주도할 수 있는 권한을 가지고 있습니다.
담보의 새로운 출처를 취하는 것과 같은 대부분의 대규모 Maker 결정은 다음에서 논의됩니다. 공개 포럼. 그러나 Maker로부터 대출을 신청하는 기관이나 개인은 개인 정보 보호에서 영업 비밀에 이르기까지 여러 가지 이유로 재정 전체를 대중과 공유하는 데 관심이 없을 수 있습니다. 대신 Maker는 다음과 유사한 스키마를 사용하여 zkDoc을 게시할 수 있습니다.
{
"fields": [
{
"field_name": "custodian_name"
},
{
"field_name": "total_loan"
},
{
"field_name": "total_collateral_value"
},
{
"field_name": "amount_repaid"
}
],
"constraints": [
{
"fieldA": "total_loan",
"fieldB": "amount_repaid",
"op": "SUB",
"constraint": "LT",
"fieldCompare": "total_collateral_value"
}
],
"trusted_institutions": [
{
"address": "0xabcd…",
"human_name": "Bob the Custodian"
}
]
}
이 스키마를 통해 거버넌스 참가자는 모든 RWA 대출 신청자가 개인 정보를 위반하도록 요구하지 않고 프로토콜이 불합리한 위험을 감수하지 않도록 할 수 있습니다.
***
현재 구현된 zkDocs는 다음을 사용합니다.
- 증명의 신뢰성을 확인하기 위한 서명된 트랜잭션(또는 모든 EVM 호환 체인)
- 약정과 증명을 모두 저장하는 공개 블록 공간
- 영지식 증명을 검증하는 스마트 계약
zkDocs의 감사 가능성 및 개인 정보 보호 속성 외에도 또 다른 흥미로운 축이 있습니다. 공개 블록체인에서 개인 정보 검증이 활성화되면 사용자와 개발자는 자신의 애플리케이션으로 zkDoc 검증 정보를 작성할 수 있습니다. DAO 평판에 영향을 미치는 대출 내역, 프로토콜 매개변수를 조정하기 위한 커뮤니티 검증 분기별 제출, 즉각적인 대학 지원, 다른 커뮤니티 내에서 신뢰하는 사용자에 대한 할인된 프로토콜 요금 등을 상상할 수 있습니다.
이 개념 증명을 공유하는 우리의 목표는 이러한 새로운 컴퓨팅 프리미티브가 오늘날 프로덕션에서 어떻게 사용될 수 있는지 보여주고 더 많은 애플리케이션을 온라인으로 가져와 채택을 가속화하는 것입니다. zkDocs를 prod에 배포하거나 유사한 체계를 사용할 계획이라면 언제든지 다음으로 연락하십시오. 트위터.
