제퍼넷 로고

Don't Trust, Verify: Binance는 준비금 증명 시스템에 ZK 증명을 배포합니다.

시간

<!–

–>

바이낸스 신뢰와 투명성으로 암호화폐 업계를 다시 한 번 선도하고 있으며, 모든 참여자에게 혜택을 줄 보다 친근하고 자신감을 불러일으키는 포스트 FTX 생태계를 만드는 것을 목표로 합니다.

2022년 XNUMX월 바이낸스 발표 고객 자산에 비례하여 보유하고 있는 준비금의 상태에 관한 데이터를 공개적으로 사용할 수 있게 함으로써 FTX 및 기타 여러 암호화폐 플랫폼의 부실 사태에 대한 직접적인 대응이 될 것입니다. 오늘날 바이낸스는 다시 한 번 업계 리더로 자리매김했으며, 커뮤니티에서 올바른 일을 하기 위해 노력하고 공간에 대한 신뢰를 높이고 다른 거래소가 뒤따를 수 있는 길을 닦는 데 그 어느 때보다 헌신하고 있음을 강조했습니다.

바이낸스 준비금 증명

바이낸스는 업계 전반의 투명성을 장려하고 있습니다. Binance를 통한 이미지

기존 Proof of Reserves 시스템은 머클 나무 시작은 좋았지만 Merkle Tree 제한으로 인해 다음과 같은 몇 가지 주요 단점이 있습니다.

  • 개인정보 유출– Merkle Trees는 고객 UID를 순자산 보유량과 함께 해시합니다. 사용자 개인 정보를 보호하기 위해 Merkle 증명의 리프 노드는 사용자 소유의 해시를 나타내므로 Merkle 루트는 리프 노드의 잔액 합계를 반영할 수 없습니다.
zk 증명 2

바이낸스 블로그를 통한 이미지

  • 데이터의 오인 또는 위조 가능성– 거래소가 입력을 누락했거나 총 부채를 변경하기 위해 잔액이 마이너스인 허위 계정을 생성할 수 있습니다. Vitalik Buterin의 다음 다이어그램 블로그 Merkle Tree가 악의적으로 변경될 수 있는 방법의 예를 보여줍니다.
악의적인 머클

Vitalik의 블로그를 통한 이미지 파산 증명

원래 Proof of Reserves 시스템에 대한 많은 비판과 데이터 위조의 한계와 가능성에 대해 정당하게 우려하는 커뮤니티 구성원이 있었습니다.

암호화폐 업계의 많은 사람들은 무엇보다도 투명성과 프라이버시라는 두 가지 가치를 가지고 있습니다. 두 가지를 모두 달성하는 것은 매우 어려우며, 기밀성을 그대로 유지하면서 자금 준비금을 증명하기 어렵기 때문에 종종 딜레마와 절충안이 발생합니다. 

솔루션: zk-SNARK와 머클 트리 결합

오늘은 바이낸스가 프라이버시, 보안 및 신뢰성을 향상시킬 영지식 증명(zk-Proof) 준비금 증명 시스템을 구현하려는 첫 번째 시도입니다. 영지식 증명의 한 형태인 zk-SNARKS는 바이낸스가 이전 준비금 증명 시스템을 개선하기 위해 배포했습니다.

SNARK가 있는 머클 트리

기존 Merkle Tree에 zk-SNARKS를 구현하는 Binance의 솔루션. Binance를 통한 이미지

바이낸스는 다면체 네트워크 SNARK 구현을 지원합니다.

다면체에 따르면:

“영지식 증명의 보안은 암호화 가정에 의해 보장됩니다. 이러한 가정이 유지되는 한 아무도 가짜 증명을 만들거나 다른 사람을 속일 수 없습니다. 이러한 가정은 계산적으로 어렵습니다. 즉, 현대 기계는 다항식 시간 내에서 가정을 깨뜨릴 수 없습니다. 또한 이러한 암호화 도구는 많은 기존 시스템에서 사용되었습니다.”

영지식 증명을 통해 한 당사자는 개인 정보를 알거나 상대방을 신뢰하거나 계정에 관한 민감한 콘텐츠를 볼 필요 없이 다른 당사자가 제공한 진술의 유효성을 결정할 수 있습니다. 이 경우 바이낸스는 개별 사용자 잔액을 공개하지 않고 사용자 자금을 전액 지원했음을 증명하고자 합니다.

zk-SNARK를 사용함으로써 거래소는 모든 Merkle 트리 리프 노드의 잔액 세트가 교환의 청구된 총 사용자 자산 잔액에 기여한다는 것을 공개적으로 확인하고 공개할 수 있으며 생성된 모든 Merkle 트리에 마이너스 총 순자산 잔액이 포함되지 않도록 보장할 수 있습니다.

사용자의 잔액을 나타내는 모든 Merkle Tree 리프 노드에 대해 이 시스템은 다음을 보장합니다.

  1. 사용자의 잔액은 Binance의 총 순 사용자 잔액 합계 계산에 포함됩니다.
  2. 사용자의 총 순 잔액이 XNUMX보다 크거나 같습니다.
  3. 머클 트리 루트의 변경은 리프 노드 해시에 사용자 정보를 업데이트한 후 위조되지 않고 유효함

그런 다음 거래소는 Merkle Tree 구성에 대한 zk-SNARK 증명을 생성할 수 있으며 이는 모든 검증자가 검사할 수 있습니다. 

바이낸스 인라인

바이낸스 인라인

각 준비금 증명 릴리스에 대해 Binance는 다음을 게시합니다.

  • 각 사용자에 대한 Merkle 증명
  • 모든 사용자를 위한 회로의 zk-SNARK 증명 및 공개 입력

바이 낸스에 따르면 :

“이 솔루션의 보안은 증명 키와 확인 키의 설정에 크게 의존합니다. 우리는 키의 분산 설정 작업을 하고 있습니다. 기존의 탈중앙화 신뢰할 수 있는 설치 행사에 관해서는 이더리움 행사가 좋은 예입니다. 설정을 무신뢰로 만드는 MPC 솔루션을 갖추는 데 매우 가까워졌습니다.”

바이낸스 계정이 있는 사람은 누구나 Merkle 증명을 확인할 수 있으며, Merkle 트리 루트에 기여한 개별 잔액을 확인하고 zk-SNARK 증명을 확인하여 Merkle 트리 구성이 회로에 정의된 제약 조건을 충족하는지 확인할 수도 있습니다.

우리를 확인하시기 바랍니다 영지식 증명 및 zk-SNARK에 대한 초보자 가이드 이 혁신적인 기술에 대해 자세히 알아보세요.

산업 발전을 위해

바이낸스가 첫 번째 준비금 증명 감사를 발표했을 때 다른 거래소가 그 선례를 따르도록 장려한 것처럼, 그들은 이 고급 통합을 완전히 오픈 소스로 만들 것이라고 밝혔으므로 다른 회사와 암호화폐 거래소는 여기에 놓인 토대에서 혜택을 볼 수 있습니다. 오늘.

zk-SNARK는 데이터 무결성과 프라이버시를 보장하는 데 필요한 프로세스를 제공하는 암호화 기술의 실질적인 혁신이었습니다. 거래소에 대한 준비금을 증명하고 투명성을 향상시키는 기능은 블록체인 산업에 엄청난 이점이 될 것이며, 소매 사용자가 잃어버린 신뢰의 대부분을 복구하는 동시에 잠재적으로 기관 및 정부 기관을 유치할 것입니다.

여기 읽기: 바이낸스의 블로그 게시물 및 오늘의 발표.

다운로드, 라이센스, 설명서 등을 보려면 다음을 방문하십시오. github.com/binance/zkmerkle-proof-of-solvency

Binance 정보

바이낸스는 거래량과 사용자 측면에서 세계 최대의 암호화폐 거래소입니다. 2017년에 설립된 바이낸스는 일련의 암호화 중심 제품을 개발하고 DApp, DeFi 및 NFT를 호스팅할 수 있는 자체 블록체인 네트워크를 출시함으로써 더 광범위한 암호화 생태계에 기여했습니다. 바이낸스는 사용자에게 비트코인, 이더리움, 라이트코인, 리플 등과 같은 다양한 디지털 자산을 거래할 수 있는 기능을 제공하고 고급 거래 도구 및 주문 유형에 대한 액세스를 지원합니다.

세계에서 가장 인기 있는 교환에 대해 자세히 알아볼 수 있습니다. 바이 낸스 검토.

뉴스레터 인라인

뉴스레터 인라인

면책 조항 : 이것은 작가의 의견이며 투자 조언으로 간주되어서는 안됩니다. 독자는 스스로 조사해야합니다.

spot_img

VC 카페

VC 카페

최신 인텔리전스

spot_img