[alloc] init는 Bitcoin 개인 보호 거래에 대한 제안을 발표합니다.

[alloc] init 개인 비트코인 트랜잭션에 대한 보호 비트 코인 제안 발표

[alloc] init, Clara Shikhelman, Misha Komarov 및 Aleksei Moskvin의 연구자들은 비트코인 기본 계층에 대한 개인 정보 보호 메타 프로토콜 인 Shielded Bitcoin을 위한 제안을 발표했다. 이 제안은 운영자, 소프트 포크 또는 비트 코인의 합의에 다른 변경이 필요없이 보호 된 비트코인 트랜잭션을 설명한다. 백서와 블로그 공지사항으로 출판되었으며 보고서는 시노비가 작성한 Bitcoin Magazine에서 처음 등장했습니다.

비트코인 트랜잭션에 의해 수행되는 비트 코인과 유사한 구조

Shielded Bitcoin은 강력한 개인 정보 보호 거래를 위한 거래 구조와 인덱싱 프로토콜을 정의합니다. 그것은 Bitcoin PIPEs에 의존하여 자금을 시스템 안으로 및 밖으로 고정시킵니다.

이 디자인은 여러 가지 방법으로 비트코인을 반영한다. UTXO와 동등한 것으로 메모라고 한다. 트랜잭션은 일반적인 비트 코인 거래처럼 입력으로 메모를 소비한다. 증인이 소비 된 입력이 적절하게 승인되었다는 것을 증명한다. 메타 프로토콜 인덱서의 경우 노드는 트랜젝션 히스토리를 분석하고 동전이 지출되고 사용되지 않은 현재의 상태를 구축합니다.

Shielded Bitcoin 트랜잭션은 OP_RETURN, 목격자 필드 또는 다른 데이터 운반 방법을 사용하는 비트코인 거래에 포함 된 shbtc:와 같은 접두사를 가진 데이터의 덩어리입니다. 그것은 비트코인에 아무런 의미가 없습니다. 비트 코인 네트워크는 이를 확인하거나 그에 대한 규칙을 집행하기 위해 아무것도하지 않습니다. Invalid Shielded Bitcoin 트랜젝션은 온 체인으로 끝날 수 있습니다. 89003 인덱서는 블록 체인을 수동적으로 감시하고 유효성 검증이 실패하면 해당 거래를 무시하며 네트워크 잔액 상태를 업데이트하는 데 적용하기를 거부합니다.

메모를 삭제 하지 않고 추적 합니다.

인덱서는 비트코인이 UTXO를 삭제하는 방식으로 사용되지 않은 노트 세트의 메모를 삭제하지 않습니다. 대신, 무효화 세트를 사용합니다. 사용자는 어떤 노트가 소비되었는지 밝히지 않고 노트가 지출되었다는 것을 보여주는 암호화 된 증명과 무효화를 공개적으로 게시 할 수 있습니다. 쓰이지 않는 노트 집합에 메모가 남아 있는지 확인하기보다는 시스템이 이미 무효화가 사용 되었는지를 검사합니다.

인덱서들은 영원히 성장하는 메르클 트리 (merkle tree) 를 만들고, 추가될 수 밖에 없고, 생성된 모든 노트 출력을 포함하고 있다. 그들은 또한 무효화 집합을 만듭니다.

키, 주소 및 복구

이 프로토콜을 사용하려면 사용자가 비트코인 노드와 Shielded Bitcoin 인덱서를 필요로 한다. 자금을 회수하기 위해 서비스 제공자, 조정자 또는 오프체인 상태가 필요하지 않다. 그것은 온 체인 비트코인과 비슷하게 작동한다: 사용자는 노드나 인덱서와 키를 필요로 한다

각 사용자 지갑은 마스터 비밀 키를 파생하여 다른 모든 열쇠 세트가 생성됩니다. 이것은 비트코인 계층적 결정적인 지갑과 유사합니다. 많은 주소 집합이 이 관계를 통해 생성 될 수 있습니다.

개인 지출 키는 Sk_spend입니다. sk_nf 키는 노트 출력을 무효화하기 위해 사용됩니다. vk_in 키는 decrypt에 사용되며 들어오는 메모를 볼 수 있습니다.

사용자가 지불을 위해 누군가에게 주소를 제공하고자 할 때, 사용자는 파생 값과 유사한 다양화값 d를 생성하고 sk_view 키에 대해 그 값을 곱합니다. 결과 공개키인 pk_d와 d는 사용자의 주소를 형성한다.

암호화된 출력 및 제로 지식 입력 증명

송신자가 트랜잭션을 생성할 때, r_seed라는 임의값을 발생시키는데 이는 노트 출력 암호화와 무효화를 위해 필요합니다. 거래 출력은 단지 세 가지 암호화된 것을 포함합니다: 출력의 값, 수신자가 송신자에게 준 d 값 및 송신자의 r_Seed 값입니다.

송신자는 비밀의 일시적인 키쌍과 수신자의 공개키를 사용하여 공유 비밀을 생성한다. 양쪽 당사자 모두 자신의 비공개키와 상대방의 공공키를 곱함으로써 동일한 비밀을 생성할 수 있다. 노트 출력은 이러한 공동비밀을 이용하여 암호화되며, 일시적 sk_eph는 암호화되지 않은 상태로 포함되므로 수신자가 공통비밀이 생성될 수 있습니다.

입력 측면에서, 유효한 거래는 두 가지 요소가 필요합니다: 소비 된 노트 출력에 대한 공개 무효화기 및 제로 지식 증명. 증명은 네 가지를 보여주어야 합니다. 첫째, 노트의 Merkle 트리에 노트출력이 포함되어 있습니다. 둘째, 해당 sk_spend 키에 의해 거래가 승인됩니다. 셋째, 무효화가 올바르게 파생되었습니다. 넷째, 인플레이션이 발생하지 않았습니다.

무효인자는 sk_nf 키, r_seed에서 파생된 rho 값과 노트 출력의 merkle 트리에서 메모의 위치를 사용합니다. 제로 지식 증명은 시스템이 사용 된 메모를 삭제하는 대신 반복을 위해 무효 인자를 계산할 수 있게 해줍니다. 사용자는 어떤 노트 내보내기에 무효가 대응하는지 결코 알지 못하지만 모든 거래의 증거는 세트에 추가 된 각 무효자가 유효한 노트 외출으로부터 왔음을 보장합니다. 반복되는 무효인이 없는 한 시스템은 동일한 이중 지출 보장을 제공합니다.

개인 정보 보호 특성 및 남아있는 질문

이 프로토콜은 암호화된 메타프로토클 트랜잭션을 비트코인 블록 체인에 내장하면서도 어떤 것도 두 번 소비되지 않고 동전이 허공으로 부풀리지 않는다는 보장을 제공합니다.

이 디자인은 개인 정보 보호 특성의 측면에서 강하고 Zcash 쉴드 풀과 비슷한 수준이다. 메타 프로토콜에 입력 및 종료 할 때 개인정보 고려 사항이 있습니다. 이들은 다가오는 논문 발표에서 상세하게 설명 될 것입니다. coinjoins와 같이 프라이버시를 측정하거나 주기적으로 리믹스하는 것에 대한 우려가 없습니다.

비트코인 PIPE를 통해 자금을 연결하는 방법

이 .은 PIPEs v2를 사용하도록 고안되어 있습니다. PIPE는 개인 키가 특정 조건이 충족되었음을 보여주는 제로 지식 증명 없이는 열쇠를 공개하지 않는 프로그램이나 메커니즘으로 암호화 할 수 있도록합니다. 그 조건은 UTXO의 상태 또는 트랜잭션이 확인되었다는 것입니다.

이는 운영자, 연맹 또는 제3자가 자금을 보관하지 않고 페그가 작동할 수 있도록 할 것입니다. 그것은 비트 코인에 대한 소프트 포크나 프로토콜 변경이 필요하지 않으며 완전히 오프 체인에서 발생합니다.

작업의 다음 부분은 사용자가 Shielded Bitcoin에 자금을 입금 할 수있는 .링 메커니즘입니다. PIPEs 암호로 제어 된 키를 사용하여 그 기금은 온라인 체인에서 확인된 합법적 인 페그 아웃 트랜잭션의 Zero-knowledge 증거를 생성하여 잠금을 해제됩니다.

현재 시스템의 이 측면을 정의하는 문서에 대한 작업이 진행 중이며, 가까운 미래에 공개되어야 합니다.