베이징 시간 7월 23일 21:00에 Manta Network 공동 창립자 Shumo Chu는 Tsinghua University Student Blockchain Association(THUBA)의 초대를 받아 과학 연구 및 응용 박사인 Sputnik과 대화를 나누고 Manta가 어떻게 도울 수 있는지에 대해 이야기했습니다. ZK는 Web3의 개인 정보 문제를 해결합니다. 다음은 대화의 전체 내용입니다.

이키(호스트):

안녕하세요 여러분, 저는 Tsinghua Blockchain Association(THUBA) 부회장 Yiki입니다. 2017년 설립 이후 5년의 역사를 가지고 있으며 200회에 가까운 행사를 개최했습니다. 오는 8월 첫 번째 해커톤이 개최될 예정이니 많은 관심과 참여 부탁드립니다. 그럼 슈모에게 만타가 하는 일을 간단히 소개하고 자기소개 부탁해도 될까요?

Shumo：

안녕하세요 여러분, 이 행사에 참여하게 되어 영광입니다. Manta Network 공동 창립자 Shumo입니다. 먼저 Manta를 소개하겠습니다. 2020년 10월 설립 예정입니다. 당시 만타를 설립한 이유는 블록체인(Web3)에 프라이버시라는 큰 문제가 있었기 때문입니다. 우리는 그 당시 Web 3 산업의 전망에 대해 매우 낙관적이었지만 이 산업이 주류가 되면 체인의 모든 트랜잭션이 일반 텍스트로 이루어질 것입니다. 이는 매우 나쁩니다. 우리는 프라이버시가 가장 기본적인 인권이라고 생각합니다. 현재 모든 퍼블릭 체인의 구조를 살펴보면 Monero 또는 Zcash와 같은 일부를 제외하고 모든 퍼블릭 체인에는 기본적으로 프라이버시가 없음을 알 수 있습니다.

그래서 우리의 원래 의도는 이 프라이버시 문제를 해결하는 것인데 어떻게 해결해야 할까요? 우리는 먼저 체인에서 개인 결제 제품인 MantaPay를 만들었고 지금까지 두 가지 버전의 테스트 네트워크를 출시했습니다. 그렇다면 Zcash의 토큰 가져오기 버전이라고 생각하시면 됩니다. 우리가 시작하려는 두 번째 단계는 사모 자산에 대한 스마트 계약을 수행하는 것입니다 약 반년 동안 개발되었지만 아직 공식적으로 출시되지 않았습니다. Manta는 우리가 전체 Web3의 프라이버시 계층을 수행하고 있다는 한 문장으로 요약할 수 있다고 생각합니다. 우리는 미래에 Web3의 모든 기존 작업에서 옵션을 가질 수 있기를 바랍니다. Manta에 의해 사유화하면 트랜잭션이 자동으로 비공개 트랜잭션이 됩니다.

나 자신에 대해, 나는 이전에 워싱턴 대학에서 데이터베이스 시스템과 공식 검증을 하면서 박사 학위를 받았습니다. 졸업 후에는 알고랜드에서 1년 동안 연구 과학자로 일한 후 산타바바라 캘리포니아 대학에서 조교수로 재직했으며 현재 Manta Network에서 풀타임으로 일하고 있습니다.

Yiki：

알았어 고마워. 스푸트니크 자신과 현재 과학 연구에서 집중하고 있는 일부 영역을 간략하게 소개할 수도 있습니다.

Sputnik：

첫 번째 레벨 제목

🎙️ ZK란?

Yiki：

먼저 Shumo에게 ZK가 무엇인지, 그 원리와 응용 프로그램에 대해 간략하게 소개하고 약간의 흰색 단어로 개요를 알려달라고 부탁하고 싶습니다.

Shumo： 

ZK의 전체 이름은 제로 지식 증명(Zero Knowledge Proof)입니다. 그것은 원래 이론적으로 수년 동안 연구되었으며 가장 초기 연구는 적어도 20~30년 전에 GMR(Goldwasser Micali Rackoff) 논문이었습니다. 그러면 모두가 이것이 이론적으로 가능하다고 생각합니다. 매우 중요한 이정표는 여러 학교 교수가 협력하여 첫 번째 버전을 만든 Zcash입니다. 모든 사람들은 이것이 이론적인 것이라고 생각했고 그것을 실천하는 것은 불가능했습니다. 그런 다음 그들은 당시 Zcash의 첫 번째 버전을 지원하는 libsnark라는 보다 실용적인 구성을 만들었고 모든 사람들이 이것이 실행 가능하다는 것을 깨달았습니다.

나는 Micali가 말한 것을 빌렸습니다. ZK는 무엇입니까? 계산상의 암호화로 상상할 수 있습니다. 암호화는 일반적으로 데이터 암호화를 의미합니다. 즉, 데이터를 일반 텍스트에서 암호문으로 변경할 수 있지만 ZK는 실제로 상대적으로 더 강력한 것입니다. 계산 시 암호화는 계산을 암호화하는 것입니다. 특히, 3 더하기 5는 8과 같이 무언가를 알고 있음을 증명하고 싶다고 가정해 보겠습니다. 그런 다음 나는 당신이 이것을 알고 있다는 것을 증명하고 싶지만, 당신은 이 3 더하기 5와 이 8의 구체적인 입력이 무엇인지 말하지 않습니다. 그런 다음 이 3-약속 5-약속 및 8-약속이 있고 이것이 옳다는 것을 누군가에게 확신시켜야 합니다. 특히 블록체인에서 이 방법을 사용하여 모든 유효성 검사기 또는 노드 실행자에게 매우 높은 수준의 ZK임을 증명해야 합니다.

Yiki： 

감사합니다 슈모님. 스푸트니크, 당신의 관점에서 ZK의 발전에 대해 어떻게 생각하고 ZK를 어떻게 정의하시겠습니까?

Sputnik： 

암호화 관점에서 볼 때 ZK 프로토콜은 실제로 매우 간단하며 한 문장으로 요약할 수 있습니다. 두 당사자 암호화 프로토콜이며 우리가 증명자라고 부르는 증명자와 검증자가 있습니다. 그리고 검증자. 그가 달성하고자 하는 것은 증명자가 비밀을 알고 있음을 검증자에게 증명하기 위해 지식이 전혀 필요하지 않다는 것입니다.

그렇다면 영지식이란 무엇일까요? 즉, 암호학의 관점에서 정보이론에 대한 어느 정도의 지식을 이용하여 엄밀히 정의할 필요가 있을 수 있다. 예를 들어 3 더하기 5가 8이라는 것을 증명하기 위해 Shumo가 방금 제시한 몇 가지 예처럼 그는 이 공식을 알고 있지만 출판할 수는 없습니다. 따라서 약정을 사용해야 할 수도 있습니다. 약속은 우리가 말하는 암호화 약속이며 구속력과 은폐가 있습니다. 즉, 해시 함수와 같이 내 약속과 내부 값이 구속되어 있음을 볼 수 있습니다. 바인딩된 값이 변경되면 바인딩되는 커밋도 변경됩니다. 은폐는 당신이 약속을 보고 그 안에 무엇이 있는지 정확히 알지 못한다면 미래에 그것을 열 수 있고 이제 내가 당신에게 영지식 증명을 제공할 수 있고 내가 약속한 것이 나의 가치임을 확신시킬 수 있다는 것을 의미합니다. . 암호화의 관점에서 ZK를 바라보는 것입니다.

Yiki： 

우연히 과학 연구의 관점에서 ZK의 정의와 발전에 대해 말씀하셨는데, 현재 과학 연구 분야에서 ZK가 어떻게 연구되고 있는지 간략하게 소개해 주시겠습니까?

Sputnik： 

사실 과학 연구 분야에서도 방향이 다른데 아주 이론적인 것, 즉 증명 가능한 보안이 있고 아주 암호 이론의 내용 집합입니다. 형식적인 방법이 필요합니다. 이것을 확장하지는 않겠습니다. 또한 일부 응용 프로그램이 있습니다. 응용 측면에서도 알고리즘 수준에서 수행되는데, 이는 이전 알고리즘보다 더 나은 성능을 가질 수 있는 몇 가지 새로운 최적화 알고리즘을 제안하는 것입니다. 그런 다음 Zcash와 마찬가지로 Zcash도 방금 Shumo가 언급한 여러 교수에 의해 설계되었으며 2014년에 프로토콜이 제안되었고 2016년에 시스템이 출시되었습니다. 이런 종류의 것은 실제로 응용 프로그램을 구현하기 위해 알고리즘을 사용하는 것과 같습니다. 아마도 이러한 방향일 것입니다.

Yiki： 

즉, THUBA에서 오랫동안 암호화폐에 관심을 가져오셨는데, 지금 ZK의 과학 연구와 암호화폐 산업의 관계는 어떻다고 생각하십니까? 연결이 잘 되나요?

Sputnik： 

ZK는 과학 연구에서 어느 정도 성과를 거두었고 다양한 알고리즘을 가지고 있다고 생각하지만 업계와 결합하면 성능 및 기타 최적화를 개선해야 한다고 생각합니다. 내 말은 이론적으로는 좋은 결과를 얻을 수 있는 알고리즘이 있을 수 있지만 구현에는 그다지 좋지 않을 수 있다는 것입니다. 우리는 Shumo에게 ZK의 적용이 산업 응용 분야에서 어느 정도 도달했는지 자세히 알려달라고 요청했습니다.

Shumo： 

과학적 연구는 물론 매우 중요합니다.과학적 연구와 실제 적용의 차이는 과학 연구는 주로 복잡성의 관점에서 연구되는 반면 실제 적용은 실제 성능에 더 많은 관심을 기울이는 것이라고 생각합니다. 암호학의 좋은 점은 이론적 성능과 실제 구현 사이에 큰 차이가 없고 큰 숨겨진 상수가 없을 것이라는 것입니다.또한 알고리즘을 구현하려면 대규모 엔지니어링과 인력이 필요할 수 있습니다.

두 번째는 ZK 기본 프로토콜에 의해 구현된 엔지니어링의 양이 R1CS 및 plonk의 회로와 같이 매우 복잡하다는 것입니다. 그리고 우리 Manta가 개발 효율성을 향상시킬 수 있는 중간 계층에 해당하는 OpenZL(오픈 소스 영지식 증명 라이브러리)이라는 것을 구축하고 있다는 것을 포함하여 과학 연구와 산업 간의 격차는 이 중간 계층 추상화라고 생각합니다. 물론 기본 암호화에 대한 이해가 매우 좋고 엔지니어링에도 도움이 됩니다.

Yiki：

알았어 고마워. 그런 다음 방금 ZK 응용 프로그램에 대해 언급했는데 블록 체인 분야와 비 블록 체인 분야에서 ZK의 응용 시나리오를 자세히 정리하도록 Sputnik에 요청하고 싶습니다.

Sputnik:

블록체인 적용에서 ZK는 크게 두 부분으로 나뉘는데 하나는 프라이버시이고 다른 하나는 확장성이라고 생각합니다. 프라이버시 단어에는 우리가 방금 여러 번 언급한 Zcash 프로젝트가 포함되며 대부분의 사람들은 Zcash라는 이름을 들어봤을 것입니다. 주로 거래 수준에서 은폐를 실현합니다. 즉, 영지식 증명을 통해 거래의 3요소 즉, 송금 당사자, 수취인, 거래 내용을 실현하여 이전의 Zcoin보다 개선된 것입니다. .

또한 확장입니다. 사실 이른바 확장, 우리는 종종 블록체인 확장이라는 용어를 듣습니다. 이는 주로 TPS의 개선을 반영할 수 있습니다. 그렇다면 layer1과 같은 퍼블릭 체인의 경우 확장이 ZK와 어떤 관련이 있습니까? 우리는 방금 영지식 증명이 무엇보다도 증명 시스템이라고 언급했습니다. 그렇다면 지금 막 프라이버시가 보호된다고 하면 영지식이다. 따라서 확장 측면에서 우리가 사용하는 것은 실제로 증명의 속성입니다. 지금은 모두에게 익숙한 용어를 ZK 롤업이라고 하는데, 이더리움도 이 ZK 롤업의 확장을 모색하고 있습니다. 그 논리는 퍼블릭 체인의 비용이 실제로 매우 높고 모든 사람이 합의에 도달해야 하고 모든 사람이 일련의 원장을 유지해야 하며 새로운 계산을 실행해야 하기 때문에 퍼블릭 체인이 자체적으로 돌아가기를 원한다는 것입니다. , 매우 비용이 많이 듭니다. 따라서 우리는 이 계산 비용을 오프체인으로 가져간 다음 체인의 최종 결과에만 동의하기를 바랍니다. 즉, 우리의 블록체인은 실제로 모든 사람의 계정 잔액으로 구성된 상태이며 트랜잭션이 있을 때마다 잔액이 업데이트됩니다. 그렇다면 이것은 실제로 계산 프로세스입니다.우리는 이러한 계산을 체인에서 수행한 다음 새로운 계산 결과와 내 계산이 정확하다는 증거 값을 체인에 제출하기를 바랍니다. 체인은 증명 값만 확인하면 상태를 직접 업데이트할 수 있으며 증명 값을 직접 계산하고 확인하는 것과 비교할 때 실제로 매우 빠릅니다. 이것이 우리가 확장을 수행하는 ZK 롤업이라고 부르는 것입니다. 이것은 블록체인 방향에서 ZK의 현재 응용 프로그램입니다.

그러다가 비블록체인 분야에서 사실 우리는 종종 어떤 프라이버시 계산에 대해 이야기하고 있습니다. 물론 이제 프라이버시 컴퓨팅도 블록체인과 결합되고 있습니다. 예를 들어 프라이버시 컴퓨팅의 경우 다자간 보안 컴퓨팅을 달성하기를 희망하며 여러 당사자가 공동으로 결과를 계산해야 합니다. 그러면 일부 ZK 프로토콜이 여기에 사용될 수 있으며 종종 구성 요소로 나타납니다. 그러면 기본적인 적용 상황은 이렇습니다.

Yiki： 

알았어 고마워. 이제 ZK가 왜 중요한지 묻고 싶습니다. 예를 들어 일부 대학생에게 ZK를 설명하고 싶다면 Shumo에게 어떻게 설명하시겠습니까?

Shumo： 

첫 번째 레벨 제목

🎙️ ZK를 배우는 방법

Yiki： 

알겠습니다. 그러면 이 주제에 대해 다시 질문할 수 있습니다. Shumo는 자신의 ZK 학습과 결합할 수 있는 하나의 경험입니다. 0에서 ZK를 배우는 방법에 대한 몇 가지 제안을 해줄 수 있습니까?

Shumo：

첫 번째로 필요한 것은 관점을 명확히 하는 것입니다. 즉, 첫 번째 관점에서 모든 사람이 ZK를 배우는 목적은 무엇입니까? ZK의 기술 스택은 매우 깊고 명확한 목적을 갖는 것이 더 효율적입니다. 두 번째 요점은 ZK의 달인이 되려면 암호화의 기초를 배워야 한다는 것입니다. 그런 다음 젊은 세대의 암호 작성자는 스탠포드 대학의 Dan Boneh 교수와 같은 일부 공개 과정을 보고 배우기 시작했습니다. 왜냐하면 이것이 암호에 대한 가장 기본적인 것이기 때문입니다.

두 번째는 Github에서 오픈소스 라이브러리를 살펴보는 것이고, 실제로는 기본적으로 이 두 가지 측면이라고 생각합니다. 하나는 가장 기초적인 암호학부터 바로 학습을 시작할 수 있다는 것입니다. 두 번째 연습은 프로그램 작성을 시작하는 것입니다.

Yiki：

이론적으로 배우는 것뿐만 아니라 코드를 작성하는 것도 매우 중요합니다. 그래서 스푸트니크 이 문제에 대해 어떤 생각이 있습니까? 제가 아는 한, 당신은 대학 때부터 수학을 공부하셨는데, 일부 학생들에게 ZK를 배우기 위한 제안이 있으신가요?

Sputnik： 

학부 때 수학을 공부했고, 나중에 정보 보안을 공부했고, 3학년 때 암호학을 배우기 시작했습니다. 시스템을 이해하고 이를 직접 적용할 수 있으려면 서명, 해시 함수, MAC 등과 같은 일련의 개념을 포함하여 암호화의 기본 개념을 배우고 include cryptography 제로 지식을 정의하는 방법, 방법.

첫 번째 레벨 제목

🎙️ ZK 트랙 상태 및 미래

Sputnik：

그럼 다음 주제는 ZK와 ZK 학습에 대해 너무 많이 이야기하고 Shumo에 대해서도 듣고 싶습니다 업계 관점에서 볼 때 현재 ZK 응용 트랙이 매우 복잡하다고 말하는 이유는 무엇입니까? 방금 언급한 Zcash뿐만 아니라 zkSync 등 많은 ZK 응용 프로그램 프로젝트가 있으며 Ethereum Foundation 자체에서도 수행하고 있습니다. 그런 다음 그들은 이스라엘의 교수이자 Zcash의 창립자이기도 한 Starkware의 공동 창립자 Eli Ben-Sasson을 포함하여 모두 강력한 암호화 팀을 보유하고 있습니다. Shumo에게 이 현상에 대해 물어보고 싶습니다. 어떻게 생각하십니까?

Shumo： 

우선 볼륨이라는 단어를 다들 어떻게 이해하느냐에 달렸다고 생각합니다. 기존 프로젝트든 스타트업 단계의 프로젝트든 제가 말씀드릴 수 있는 것은 더 풍만해질 뿐이고 덜 풍만해지지는 않겠지만 분명 점점 풍만해집니다. 하지만 볼륨의 문제는 ZK 분야를 포함하고 내 웹 전체를 포함하는 것이 좋은 것이라고 생각합니다 3. Web3는 자유롭게 드나들 수 있는 분야입니다. 모두가 기회가 있다고 느꼈고 볼륨이 시작되었습니다. 실제로 볼륨에서 각 프로젝트는 정확히 같은 것이 아니며 Starkware는 매우 독특하고 자체 프로그래밍 언어가 있습니다.

그런 다음 또 다른 질문이 있습니다. 이 책의 프로세스를 어떻게 잘라낼 것인가, 즉 현재 불타고 있는 프로젝트가 무엇을 하고 있는지 보지 않고 이 분야에서 무엇이 필요한지, 그리고 어떻게 몇 가지 실제적인 문제를 해결할 수 있습니까? . 대체로 볼륨은 불가피한 현상이라고 생각합니다. 그런 다음 ZK에서 작업을 수행하려면 다른 프로젝트를 모방하는 대신 고유한 진입점을 찾아야 한다고 생각합니다.

Sputnik： 

이 ZK 트랙에 대한 질문에 대해서도 이야기를 부탁드리고 싶습니다.ZK 롤업 분야의 여러 선도 기업에는 zkSync, Starkware, Scroll 등이 있습니다. 이들 간의 차이점은 무엇입니까? 이것에 대해 이야기 할 수 있습니까?

Shumo：

즉, 우선 ZK 롤업을 제가 직접 하지 않았다는 점에서 이 문제에 있어서 첫 번째는 EVM 등가성, 즉 프로젝트가 EVM과 완벽하게 호환되는지 여부라고 생각합니다.

첫 번째는 zkSync에서 만든 evm compatible이라고 합니다. 그의 접근 방식은 전체 evm을 회로에 넣는 것이 아니라 스스로 VM을 만드는 것입니다. EVM을 회로에 넣는 것은 기술적으로 너무 어려우므로 몇 가지 문제가 발생합니다. 이것이 바로 zkSync의 접근 방식이며, 이점은 더 일찍 온라인에 들어갈 수 있다는 것, 즉 실제 메인 네트워크에서 zkSync가 이들 회사 중 가장 빠른 메인 네트워크일 수 있다는 것입니다. 하지만 Solidity 수준에서만 호환된다면 디버거를 포함한 이더리움의 많은 도구를 사용할 수 없습니다.

Scroll과 Hermez는 둘 다 EVM 등가성을 가지고 있다고 주장합니다. 저는 이것이 더 낫고 툴체인을 활용할 수 있다고 생각합니다.

지금까지 Starkware Prover, 즉 Prover는 여전히 비공개 소스입니다. 그런 다음 이더리움 재단이 하는 일은 실제로 순전히 기술적인 탐구이며 실제로 온라인에 가지 않을 가능성이 높다고 말했습니다.

Sputnik：

다음은 이 ZK 트랙에 관한 것입니다. 우리는 여전히 마지막 질문이 하나 있는데, 프라이버시 및 롤업 측면에서 ZK의 일부 애플리케이션에 대해 이야기했다는 것입니다. 하지만 사실 개발자에게는 전문적인 비밀번호 팀이 필요하다고 할 수 있습니다. 그런 다음 응용 프로그램은 실제로 롤업을 포함하고 있으며 실제로 롤업을 수행하기를 희망합니다.이 사용자는 투명합니다. 즉, 이 중간 계층의 존재를 느끼지 못할 수 있습니다. 내 질문은 우리가 좀 더 실용적인 제품을 만드는 것이 가능합니까? 평범한 사람들이 느끼고 사용할 수 있는 것입니다.

Shumo：

나는 이 질문이 매우 좋다고 생각하고 물론 있다고 생각합니다. ZK 롤업에 대한 첫 번째 요점은 프라이버시가 없으며 ZK를 스스로 알지 못하는 사이에 zkSync와 같은 중간 계층에 직접 배포할 수 있다는 것입니다. 하지만 프라이버시의 관점에서 애플리케이션이라면 ZK를 스스로 이해해야 합니다. 예를 들어 Manta의 프라이버시 자산 플랫폼과 상호 작용하는 경우 ZK 프로그래밍을 직접 수행해야 할 수 있습니다. 저는 이것이 개발자들에게 매우 흥미로운 일이라고 생각합니다.

두 번째 요점은 이 분야에서 암호학에 대한 배경 지식은 매우 훌륭하지만 고급 언어 및 도구의 개발로 인해 개발자는 더 이상 고급 수준의 회로가 등장한 것처럼 낮은 수준의 회로를 손으로 작성할 필요가 없다는 것입니다. 프로그래밍 언어는 어셈블리를 손으로 작성할 필요가 없습니다. 따라서 ZK를 사용한 프로그래밍의 임계값이 실제로 점점 낮아지는 것을 볼 수 있습니다. 이 문제는 분명히 시간이 걸릴 것이라고 생각합니다.앞으로 개발자는 암호화의 모든 세부 사항을 이해할 필요가 없으며 ZK 프로그래밍 언어와 라이브러리가 계속 등장할 것입니다.

Sputnik：

좋아요 감사합니다 슈모님. ZK에 대한 귀하의 전망을 이해합니다. 그리고 그 다음 작품에서 우리는 만타에 대해 다시 이야기하고 싶을 것입니다. 다음으로 여쭤보고 싶은 질문은 Manta가 결제 시스템이기도 하고 프라이버시의 성격을 지닌 MantaPay를 작업하고 있는 것으로 알고 있습니다. 동시에 Zcash?

Shumo： 

첫 번째는 문제 해결의 관점입니다. 우선, 우리는 Zcash의 많은 성공에서 배웠지만 제 프로토콜의 큰 차이점은 Zcash가 단일 통화만 지원하고 여러 통화를 지원한다는 것입니다. 우리는 또한 전반적인 개념에 차이가 있습니다. Zcash는 0에서 무언가를 구축하는 것입니다. 우리는 프라이버시를 우리만의 지불 시스템을 만드는 것보다 전체 산업 체인에 힘을 실어줄 수 있는 인프라로 사용하기를 원합니다.

두 번째 요점은 기술적인 관점에서 Zcash보다 늦게 시작했기 때문에 ZK 친화적인 해시 함수를 포함한 새로운 암호화 기술을 사용했습니다. 우리 회로는 Zcash 크기의 1/10입니다. 더 나은 성능과 더 나은 사용자 경험 이것이 우리와 Zcash의 유사점이자 차이점입니다.물론 우리는 거인의 어깨에 서서 Zcash에 대해 많은 것을 배우고 있습니다.

Sputnik： 

알겠습니다. MantaPay를 소개해주신 Shumo에게 감사드립니다. 추가로 아직 자세한 질문이 남아있는데 개인적으로 궁금한게 있는데 그 전에 이 개념, 즉 trust setup이라는 개념을 소개해드릴까 합니다. 즉, 일부 알고리즘에서는 신뢰할 수 있는 설정을 사용하여 알고리즘이 사용해야 하는 매개변수를 생성한 다음 Zcash의 초기 설계와 마찬가지로 알고리즘에 이러한 설계가 필요합니다. 이전에 Shumo에서 소개한 것처럼 만타페이에도 이런 신뢰 설정이 필요하다는 것을 알게 되었습니다. 이 점, 어떤 이점이 있습니까?

Shumo： 

예, 이것은 확실히 유익하며 현재 널리 사용되고 있습니다. 영지식 증명 시스템에는 두 가지 유형이 있습니다. 하나는 현재 사용 중인 Groth16이고 다른 하나는 Plonk이며 각각 장단점이 있습니다. 전자는 신뢰할 수 있는 설정이 필요하지만 후자는 필요하지 않습니다.(응용 프로그램별 신뢰할 수 있는 설정) 전자가 테스트를 통해 성능이 좋은 것으로 나타났습니다.

많은 암호화 세부 사항의 관점에서 둘의 회로가 다르고 증명 시스템이 다릅니다.요약하면 현재 우리가 사용하는 신뢰할 수 있는 설정은 순전히 성능 고려 사항입니다. 사용자 장치마다 증명 생성 시간이 다르며 느린 사용자를 "차별"할 수 없습니다. 특히 증명 생성 시간이 2초인지 20초인지는 실제로 사용자 경험에 중요한 영향을 미칩니다. 이것이 우리의 성능 고려 사항입니다.

두 번째 요점은 신뢰할 수 있는 설정 보안을 여전히 제어할 수 있다는 것입니다. Manta 커뮤니티의 많은 구성원이 참여할 것이며 신뢰할 수 있는 설정에 참여하도록 서클에서 더 권위 있는 사람들을 초대할 수도 있습니다. 따라서 정직성을 보장할 수 있으므로 신뢰할 수 있는 설정을 사용합니다.

Yiki：

보조 제목

투바 소개

Manta의 창립 팀은 Harvard, MIT 및 Algorand를 포함하여 경험이 있는 여러 암호화폐 베테랑, 교수 및 학자로 구성됩니다. Manta의 투자 기관에는 Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance 및 Hypersphere 등이 있습니다. Manta는 또한 Polkadot의 공식 Web3 Foundation 보조금 수혜자이자 Substrate Builder Program의 회원이자 Berkeley University Blockchain Accelerator의 회원입니다.

만타 네트워크 소개

Manta Network는 개인 정보 보호를 통해 더 나은 Web3 세상을 만들기 위해 최선을 다하고 있습니다. Manta의 제품 설계는 첫 번째 원칙에서 시작하여 zkSNARK와 같은 선도적인 암호화 아키텍처를 통해 블록체인 사용자에게 종단 간 개인 정보 보호를 제공합니다. 개인 정보를 보호하는 동시에 Manta는 상호 운용 가능하고 편리하며 고성능이며 감사 가능하여 사용자가 모든 파라체인 자산 간에 개인 전송 및 거래를 수행할 수 있습니다. Manta의 비전은 전체 블록체인 세계에 보다 편리한 개인 정보 보호 서비스를 제공하는 것입니다.

Manta의 창립 팀은 Harvard, MIT 및 Algorand를 포함하여 경험이 있는 여러 암호화폐 베테랑, 교수 및 학자로 구성됩니다. Manta의 투자 기관에는 Polychain, ParaFi, Binance Labs, Multicoin, CoinFund, Alameda, DeFiance 및 Hypersphere 등이 있습니다. Manta는 또한 Polkadot의 공식 Web3 Foundation 보조금 수혜자이자 Substrate Builder Program의 회원이자 Berkeley University Blockchain Accelerator의 회원입니다.

We're Hiring!

트위터 중국어:

Manta/Calamari에 대한 자세한 내용은 공식 채널을 팔로우하세요.

Website:https://manta.network/

Github:https://github.com/Manta-Network

Twitter:https://twitter.com/MantaNetwork

Medium:https://mantanetwork.medium.co

Telegram:https://t.me/mantanetwork

Discord：https://discord.gg/ZtSuSKRy8X

텔레그램 중국어:https://t.me/mantanetwork_zh

트위터 중국어:https://twitter.com/manta_china