zk-SNARK에서 zk-STARK로 : 영 지식 증명의 적용

cryptocurrency 공간 내에서 개인 정보를 개선하는 데 점점 더 초점을 맞추고 있습니다. 비트 코인, 이더 리움, 비트 코인 캐시 및 라이트 코인은 모두 개인 정보 보호와 대체 가능성을 높이는 가장 적절한 방법을 적극적으로 찾고 있습니다. 더 이상 Monero 및 Zcash와 같은 개인 정보 보호에 중점을 둔 프로젝트는 익명 성을 유지하기 위해 싸우는 유일한 프로젝트가 아닙니다..

영 지식 증명 사용

많은 사람들이 영 지식 증명을 개인 정보 보호를위한 적절한 수단으로 오랫동안 보았습니다. 영 지식 증명은 무언가에 대한 아주 적은 양의 정보 만 누설하면서 무언가를 증명하는 방법입니다. zk-SNARK는 영 지식 증명을 적용하는 한 형태입니다. Zcash 팀은이를 구현하는 데 앞장서 왔습니다. 이더 리움 개발자는 또한 이러한 증명을 구현하는 한 가지 방법으로 zk-SNARK를 고려하고 있습니다..

그러나 몇 가지 주요 결함이 있습니다. 주요 문제는 신뢰할 수있는 설정이 필요하다는 것입니다. zk-SNARK는 허가 된 개인 키에 의존합니다. 이것은 본질적으로 탈 중앙화 된 퍼블릭 블록 체인의 전체 목적을 훼손합니다. 코드가 아닌 사람을 신뢰해야 할 필요성을 도입함으로써 신뢰의 전체 개념을 위협합니다..

다행히 zk-STARK라는 최근 개발은 신뢰할 수있는 설정없이 zk-SNARK와 동일한 수준의 프라이버시를 달성하는 방법을 보여주었습니다. 개발자가이를 성공적으로 구현할 수 있다면 zk-STARK는 사용 가능한 최고의 익명 성을 제공하는 개인 정보 보호 솔루션을 제공 할 수 있습니다. 또한 완전히 신뢰할 수없고 더 확장 가능하며 안전합니다..

zk-SNARK 란??

zk-SNARK는 영 지식 간결한 비 대화식 지식 인수입니다. 암호 화폐에 적용하면 모든 거래 데이터를 숨길 수 있습니다. 여기에는 발신자 주소, 수신자 주소 및 거래 금액이 포함됩니다. zk-SNARK를 사용하면이 모든 정보를 숨기는 동시에 네트워크가 거래를 확인하고 확인할 수 있습니다. 합의를 유지하면서 프라이버시를 극대화합니다.

블록 체인 수준의 프라이버시 측면에서 이것은 정말 놀랍습니다. 사용중인 가장 진보 된 블록 체인 수준의 개인 정보 보호 기술 중 하나입니다. 물론 이것은 네트워크 수준에서 사용자를 보호하는 데 아무런 영향을 미치지 않습니다. 이를 위해서는 Tor 또는 I2P와 같은 보호 기능을 통합해야합니다..

zk-SNARK 문제

그러나 zk-SNARK에는 몇 가지 문제가 있습니다. 첫 번째는 신뢰할 수있는 설정 문제입니다. 증명은 영 지식 증명의 정당성을 보장하는 공통 문자열에 의존합니다. 이 문자열을 만드는 과정에는 다양한 사람들이 참여했습니다. 즉, 시스템의 개인 정보 보호는 앞서 언급 한 프로세스의 세부 정보를 공개하지 않는 개인에 따라 달라집니다. 에 따르면 Zcash 팀, 현재이 기술의 주요 사용자 인 프로세스는 다른 위치에서 참여하는 다른 당사자들과 함께 수행되었습니다. 궁극적으로, 이러한 개인이이 설정을 손상시키지 않았거나 타협하지 않을 것이라고 가정하고 희망해야합니다. 그렇게한다면 zk-SNARK의 전체 프라이버시를 침해 할 것입니다..

해설자들은 zk-SNARK에 의존하는 블록 체인 및 기본 자산의 가치가 증가함에 따라 악의적 인 당사자가 원래 행위자를이 설정에 대한 세부 사항을 넘겨 주도록 유도하거나 강제하는 인센티브가 증가한다는 사실을 관찰했습니다. 궁극적으로 개발자가 설정에 대해 수행하는 감사 횟수에 관계없이 초기 사람들의 좋은 행동에 의존하기 때문에 주류에서 사용되지 않을 가능성이 높습니다..

zk-STARK 란??

zk-STARK는 영 지식 확장 가능하고 투명한 지식 인수입니다. zk-SNARK의 주요 차이점, 즉 확장 성과 투명성에 주목하십시오..

이 아이디어는 Eli Ben-Sasson에 의해 제안되었으며 그의 공동 저자와 함께 확장되었습니다. 백지. Ben-Sasson은 자신의 회사를 설립했습니다., StarkWare 산업, 모든 종류의 블록 체인에 대한 zk-STARK의 연구 및 적용에 중점을 둡니다..

엘리 벤 사슨

zk-STARK의 두뇌, Eli Ben-Sasson

Ben-Sasson의 혁신은 zk-STARK를 만들어 이전에 생각했던 것보다 훨씬 빠르게 검증 할 수있는 증명을 제공합니다. 게다가 실제로 기하 급수적으로 확장 블록 체인 자산, 문서 또는 기타 데이터 세트인지 여부에 관계없이 그들이 나타내는 데이터 세트와 관련하여.

현재 Monero, Zcash 및 Ethereum은 모두 zk-STARK를 진지하게 고려하고 있습니다..

zk-STARK는 무엇을 수정합니까??

무엇보다도 zk-STARK는 신뢰할 수있는 설정 문제를 해결했습니다. 문자열에 필요한 개인 키를 생성하기 위해 여러 당사자가 필요하지 않습니다. 대신 증명을 생성하는 데 필요한 모든 것이 공개되며 증명은 난수로 생성됩니다. zk-STARK는 실제로 비대칭 암호화에 대한 zk-SNARK의 요구 사항을 제거하고 대신 비트 코인 채굴에서 발견되는 것과 유사한 해시 함수를 사용합니다..

이 외에도 zk-SNARK보다 암호화 복원력 측면에서 더 긴 저장 수명을 가져야합니다. 현재 zk-STARK는 양자 컴퓨팅의 발전에 저항하는 것으로 간주됩니다. 대조적으로, zk-SNARK를 뒷받침하는 타원 곡선 암호화는 양자 컴퓨팅이 가져올 수있는 컴퓨팅 성능의 발전에 민감합니다..

퀀텀 컴퓨터는 레거시 컴퓨터보다 훨씬 빠르게 공개 키에서 개인 키를 해독 할 수 있습니다. 이는 비트 (0 또는 1)와 큐 비트 (동시에 0과 1) 간의 차이 때문입니다. 타원 곡선 암호화는 일반적으로 개인 및 공개 키를 생성하는 데 사용하며 양자 저항성이 없습니다. 반대로 zk-STARK는 이러한 유형의 암호화를 사용하지 않으므로 이러한 발전으로부터 안전합니다..

양자 컴퓨팅

zk-STARK는 양자 컴퓨팅으로 인한 컴퓨팅 파워의 엄청난 발전에 저항합니다..

zk-STARK의 현재 제한

zk-STARK의 주요 문제는 크기입니다. 현재, 그것이 사용하는 증명은 대부분의 블록 체인에서 사용하기에는 너무 큽니다. 에 따르면 비탈 릭 부 테린, zk-STARK는 zk-SNARK에서 볼 수있는 288 바이트에 비해 수백 킬로바이트의 증명을 생성합니다. 그러나 개발자가이 크기 문제를 해결하지 못할 것이라고 생각할 이유가 없습니다. 실제로 기밀 거래의 경우 Bulletproofs 구현 및 zk-SNARK를위한 Zcash의 Sapling 업그레이드와 같은 개인 정보 보호 기능의 압축이 빠르게 진행되고 있습니다..

사용 사례 및 구현

현재로서는 공개 블록 체인이 zk-STARK를 통합하지 않았습니다. 그러나 그들은 앞으로 몇 년 동안 Zcash 또는 Monero에서 그리고 아마도 Ethereum에서 자신을 찾을 가능성이 있습니다..

Buterin은 Ethereum의 개인 정보 보호 부족에 대한 우려에 대해 이야기했으며 zk-SNARK 통합에 상당한 관심을 보였습니다. 그러나 zk-STARK의 장점을 고려할 때 Buterin과 다른 사람들이이를 고려할 가능성이 점점 더 커지고 있습니다. 실제로 2018 년 7 월 이더 리움 재단은 StarkWare Industries에 보조금을 수여했습니다. 더 많은 개발이 이더 리움의 프라이버시 부족 문제를 해결하는 데 도움이 될 수 있기를 바랍니다..

Monero는 분명히 나중에 zk-STARK를 찾고 있습니다. 증명의 크기를 줄이기위한 더 많은 연구를 보면 그들은이를 구현할 것입니다..

물론 암호 화폐 공간 밖에서 기업과 프로젝트는 그 이점을 실현할 수 있습니다. Ben-Sasson은 기업이 어느 정도의 공개 투명성을 유지하면서 자신 또는 고객 데이터의 보안과 개인 정보를 강화할 수 있다고 믿습니다..

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
map