트렌디한 암호화 도구가 DeFi를 도울 수 있습니까?

以太坊爱好者

特邀专栏作者

2020-05-31 12:50 (UTC+8)

이 기사는 약 3745자로, 전체를 읽는 데 약 6분이 소요됩니다

암호화 증명 시스템의 확장성과 프라이버시는 DeFi를 금융 혁신 샌드박스에서 기존 금융 시스템을 바꿀 수 있는 글로벌 세력으로 변모시킬 수 있습니다.

AI 요약

편집자 주: 이 기사의 출처는이더리움 애호가(ID: ethfans)편집자 주: 이 기사의 출처는

이더리움 애호가(ID: ethfans)

탈중앙화 금융(DeFi) 운동은 금융 세계를 평준화하여 더 공정하고 투명하게 만들겠다고 맹세했습니다. 그러나 DeFi가 글로벌 규모로 이 목표를 달성하려면 이더리움과 같은 분산형 블록체인이 처리량을 확장해야 합니다! 이는 우리가 새로운 암호화 증명 체계를 사용해야 함을 의미합니다(일부 사람들은 이러한 체계를 "영지식 증명", "ZKP"라고 통칭함).

이 글에서는 현재 탈중앙화 암호화폐가 직면하고 있는 문제와 이러한 문제를 해결하기 위한 다양한 암호 증명 시스템의 경로 및 zk-STARK가 이 문제를 해결하는 데 가장 적합한 이유에 대해 설명합니다.

보조 제목

텍스트

우리는 컴퓨터 시스템의 처리량이 계속 증가하는 시대에 살고 있습니다. 대역폭에서 저장 공간, 화면의 픽셀 수에 이르기까지 모든 것이 지속적으로 개선되고 있습니다. 그렇다면 비트코인과 이더리움의 트랜잭션 처리 속도(TPS "초당 트랜잭션 수"로 측정)를 높이는 것이 왜 그렇게 어려운가요?

대답은 우리가 또한 탈중앙화를 보장하기를 원한다는 것입니다. 블록체인이 무허가 상태를 유지하기 위한 전제 조건은 일반 노트북을 가진 모든 사용자가 거래 내역의 무결성을 확인할 수 있다는 것입니다. 여기에 우리가 "포괄적 책임"이라고 부르는 핵심 원칙이 있습니다. 즉, 시스템의 처리 능력을 높이기 위해 서두를 수 없습니다. "현재 금융 시스템").

이미지 설명

따라서 플라즈마, 낙관적 롤업 및 우리의 접근 방식(종종 ZK 롤업 체계라고 하는 암호화 증명 시스템 기반)을 포함한 모든 확장 체계는 두 가지 별개의 엔터티 클래스를 도입합니다. 집약적인 계산을 수행하기 위한 많은 리소스 트랜잭션을 확인하고 강력한 참가자가 생성한 계산 결과를 감사할 수 있도록 하는 대규모 노드 그룹도 있습니다.

분산화를 보장하면서 처리량을 어떻게 확장할 수 있습니까? 그런 다음 강력한 참여자가 계산을 수행하고 약한 참여자가 감사 가능성을 보장하도록 합니다. 강력한 참가자가 악의적인지 여부는 중요하지 않으며 약한 참가자가 책임을 보장할 수 있다는 것이 중요합니다!

자세한 내용을 살펴보기 전에 암호 증명 시스템을 살펴보겠습니다.

보조 제목

암호 증명 시스템에 대해 알아야 합니다.
암호화 증명 시스템은 1980년에 설립되었으며, 액세스가 자유로운 블록체인에 대한 그 큰 가치는 최근 몇 년 동안 블록체인 분야에서 새로운 이론적 구성과 새로운 프로토콜의 캄브리아기 폭발로 이어졌습니다. 다음에서는 StarkWare 팀이 시장에 출시하려는 일종의 증명 체계인 STARK에 대해서만 집중적으로 설명합니다.

암호 증명 시스템에는 일반적으로 증명자와 검증자라는 두 가지 역할 유형이 있습니다.

증명자: 증명자는 "이 10,000건의 트랜잭션을 처리했으며 결과 데이터베이스 해시는 X"와 같이 특정 계산문이 올바른지 검증자에게 증명하고자 합니다. 검증자는 이 계산문의 증명을 제공하고 이를 검증자에게 보냅니다.

알아채다! STARK와 같은 암호화 증명 시스템에서 증명자와 검증자의 계산 부담은 비대칭적입니다!

단순히 원래의 계산 과정을 실행하는 것에 비해 증명자의 계산 오버헤드는 훨씬 더 크며, 반대로 검증자는 검증자가 지불하는 막대한 오버헤드로부터 이익을 얻어야 하며, 검증자가 수행해야 하는 계산량은 보다 적습니다. 예를 들어 원래 10,000개의 트랜잭션을 실행해야 하는 경우 검증자는 10개의 트랜잭션에 대한 계산 오버헤드만 지불하면 됩니다.

그렇다면 오늘날의 암호화 증명 시스템은 어떤 방식으로 DeFi를 도울 수 있습니까?

확장성
은둔
공평

은둔

공평

우리는 하나씩옵니다.

텍스트

1. STARK로 확장성 향상

포용성과 책임성을 유지하면서 이더리움 처리량을 확장하는 근본적인 과제로 돌아갑니다. 많은 "약한 행위자"가 이러한 강력한 행위자의 계산 무결성을 충분히 검증할 수 있는 반면(계산 부담을 소수의 "강한 행위자"에게 분산하여) 처리량을 크게 높일 수 있는 기술이 필요하며, 증가하지 않을 것입니다. 약한 선수들의 부담. Plasma 및 Optimistic Rollup과 같은 다른 확장 체계는 Fraud Proof에 의존하며 암호화 증명 시스템이 더 나은 솔루션인 이유를 이 기사에서 설명했습니다(편집자 주: 중국어 번역에 대한 기사 끝에 있는 하이퍼링크 참조). 유효성 증명 대 거짓 증명").

STARK의 확장성(검증 속도는 증명 구성 속도에 기하급수적임)을 사용하여 어떤 강력한 존재도 대담하게 증명자로 만들 수 있습니다. 심지어 Darth Vader & Sons 악당이 조종하는 꼭두각시도 문제 없습니다. 여기서 핵심은 강력한 증명자는 모든 작업에 간결한 증명을 첨부해야 하며 모든 약한 노드는 이러한 증명을 쉽게 확인할 수 있다는 것입니다. 따라서 STARK(및 기타 암호화 증명 시스템)를 사용하면 거의 무제한의 처리량 확장을 제공하면서 포괄적인 책임을 보장할 수 있습니다(엄밀히 말하면 우리는 기하급수적으로 확장할 수만 있습니다).

보다 구체적으로 ZK Rollup 확장성 솔루션의 기본은 대규모 컴퓨팅 작업(또는 많은 수의 소규모 컴퓨팅 작업)을 오프체인에서 실행할 수 있도록 하고 오프체인 컴퓨팅 리소스는 훨씬 더 풍부합니다. 컴퓨팅 실행 프로세스가 생성됨 유효성 증명이 블록체인으로 전송되고(새로운 상태에 대한 약속과 함께) 이러한 증명은 유효성 검사기 스마트 계약에 의해 확인됩니다. 확인 후 네트워크 참가자는 전체 계산이 유효함을 신뢰할 수 있습니다(단일 엔터티를 신뢰하지 않음). Darth Vader가 발행한 것이더라도 타당성 증명을 공정하게 받아들일 수 있는 신뢰 가정이 없기 때문입니다.

이 중 어느 것도 더 이상 문서에 나와 있지 않습니다. 확장 엔진인 StarkEx를 사용하여 초당 9,000개 이상의 자체 보관 트랜잭션 처리량을 달성했습니다(이더리움 메인넷보다 2,000배 향상)! 그리고 이것은 한계가 아닙니다. 우리는 블록체인 리소스에 의해 제한되지 않고 클라우드 리소스에 의해서만 제한됩니다.

StarkEx 엔진으로 구동되는 최초의 DeversiFi 분산형 거래소가 다음 주에 가동될 예정입니다. 또한 StarkEx가 지원하는 NFT 거래소도 집중적으로 개발 중이며, 게임 내 자산 거래를 지원할 수 있을 것입니다.

2. ZKP는 프라이버시를 강화합니다.

트랜잭션 처리 속도를 개선하는 것은 퍼블릭 체인이 대중화되기 위한 충분 조건이 아닙니다. 우리는 또한 프라이버시가 필요합니다.

퍼블릭 체인의 선구자들은 확장성에 대한 ZKP의 이점을 발견하기 전에 프라이버시에 대한 ZKP의 이점을 발견했습니다. 2016년에 출시된 Zcash 블록체인은 ZKP 체계를 사용하여 차폐 거래를 제공하는 최초의 시스템입니다.

개인 정보 보호는 효율적인 시장을 달성하는 데에도 중요합니다. 시장에서 거래할 때 거래자는 자유롭고 자신의 고유한 정보를 제공하지 않기를 원합니다. 무허가 블록(및 DeFi)은 설계상 완전히 투명합니다. 모든 소규모 노드가 신뢰 가정을 도입하지 않고 블록체인의 상태를 확인할 수 있도록 하기 위해 모든 트랜잭션이 체인에서 공개됩니다.

따라서 도전 과제는 DeFi의 무신뢰 특성을 희생하지 않고 프라이버시를 어떻게 달성할 수 있는가 하는 것입니다. ZKP의 영지식 속성을 활용할 수 있습니다!

위에서 언급했듯이 영지식 증명을 통해 개인 입력을 공개하지 않고 계산 진술을 증명할 수 있습니다. 블록체인에 적용되는 이 속성은 증거에 의해 전혀 노출되지 않는 개인 입력에 고유한 정보를 포함할 수 있도록 합니다. 그 결과는 해피엔딩입니다. 개인 정보가 보호되고 누구나 신뢰 가정을 도입하지 않고도 블록체인의 상태를 완벽하게 확인할 수 있습니다.

텍스트

참고: 프라이버시는 반규제를 의미하지 않습니다. 시장 참여자의 개인 정보 보호에 대한 필요성은 규제 기관이 시장의 건전성을 관찰하고 모니터링해야 할 필요성과 공존할 수 있습니다. 예를 들어, 세금 징수원과 모든 원장을 공유하는 대신 기업은 세금을 납부했다는 영지식 증명을 생성할 수 있습니다. 기업의 개인 정보는 보호되며 규제 당국은 세금이 징수되었음을 확신할 수 있습니다(이에 대한 예는 여기에서도 찾을 수 있음).

3. 공정성을 높이는 ZKP

시장의 공정성은 철학적 투기에서만 의미가 있는 것은 아니다. 트레이더는 불공정하다고 생각하는 장소를 멀리하므로 공정성이 유동성에 도움이 됩니다. 시장의 공정성을 훼손하는 방법은 여러 가지가 있지만 대부분은 사전 알 권리를 링크 중 하나로 남용하는 시스템 운영자(거래소 자체 등)를 포함합니다. ZKP는 참가자가 운영자가 자신의 특권이나 편애를 남용하지 못하도록 할 수 있습니다.

주목할만한 예는 선행 실행입니다. 선행매매는 시장 조성자가 사전 정보를 다른 사람들이 알기도 전에 거래하기 위해 사전 정보를 사용하는 것으로 불법입니다. 선행매매가 시장에 미치는 영향에 대해서는 사람마다 추정치가 다르지만 일반적으로 받아들여지는 결론은 그 영향이 거대하고 시장 효율성에 도움이 되지 않는다는 것입니다.