종합 비교: zk-SNARK와 zk-STARK란 무엇인가요?
영지식 증명과 영지식 증명이란 무엇인가요? 둘 다 영지식 증명이지만, 그 특성은 무엇이며 서로 어떻게 비교하나요?
JinseFinance출처: 마스터 조의 구부러진 산
암호화폐 개발의 주요 흐름은 분명합니다: 비트코인은 암호화폐를, 이더는 퍼블릭 체인을, 타이드는 스테이블 코인을, 비트멕스는 영구 계약을 만들었습니다. 이 네 가지 창조물은 암호화폐의 원조처럼 수조 달러 시장, 수많은 부의 신화, 탈중앙화의 신화를 만들어냈습니다.
암호의 궤적은 그렇게 명확하지 않으며, 모든 종류의 합의 알고리즘, 모든 종류의 절묘한 디자인은 서약 및 다중 서명 시스템과 일치하지 않으며, 후자는 BTC L2의 대다수가 존재할 수없는 후 WBTC의 분산 서약을 펌핑하는 등 암호화 시스템의 기능을 유지하기위한 암호화 시스템의 실제 기둥이며 바빌론의 기본 서약은 7 천만 달러 상당의 탐사 탐사의 탐사 방향입니다.
이 글에서는 암호화폐 산업의 모든 종류의 기술 변화 과정과는 다른 암호화폐 기술의 발전사를 개괄적으로 설명하려고 하는데, 예를 들어 FHE와 ZK와 MPC의 관계, 대략적인 과정의 적용 측면에서 MPC가 시작에 사용되고, 계산 과정의 중간에 FHE가 사용되며, ZK가 최종 증명이 될 수 있으며, 시간 순서의 적용 측면에서 ZK가 먼저 착륙하고 그 다음이 AA입니다. 지갑 개념이 불타고 있고, 관심을 끌기위한 기술 솔루션으로 MPC, 속도 개발, 2020 년에는 FHE 만 신들에 의해 은유로 캐스팅되었지만 2024 년에는 약간만 불이났습니다.
FHE는 ZK, MPC와 달리 현재의 모든 암호화 알고리즘과도 다르며, FHE를 제외한 모든 대칭 또는 비대칭 암호화는 "깨기 쉽지 않거나 불가능한 암호체계"를 만들기 위해 "깨기 쉽지 않거나 불가능한 암호체계"를 만들려고 노력합니다. FHE를 제외한 모든 대칭 또는 비대칭 암호화 기술은 절대적인 보안을 달성하기 위해 "해독하기 쉽지 않거나 불가능한 암호화 시스템"을 만들려고 노력합니다.
FHE는 기본 기술로 학계에서는 이론적 탐구가 완료되었고, 마이크로소프트, 인텔, IBM 등 웹2 거대 기업들이 많은 기여를 하고 있으며 DARPA의 지원을 받는 듀얼리티는 이미 이에 맞는 하드웨어와 소프트웨어, 개발 도구의 준비를 완료한 상태입니다.
좋은 소식은 웹2.0 거대 기업들이 FHE를 어떻게 해야 할지 잘 모르고 있고, 웹3.0을 시작해도 늦지 않았다는 것입니다. 나쁜 소식은 웹3.0의 적응이 거의 제로에 가깝고 주류 비트코인과 이더가 기본적으로 FHE 알고리즘과 호환되지 않기 때문에 이더가 세상의 컴퓨터라고 해도 FHE를 세는 데 어려움을 겪는다면 세상은 종말을 맞이할 것이라는 점입니다.
우리는 웹3.0 탐색에 집중하고 있으므로 웹2.0 거대 기업들이 FHE에 매우 열성적이며 많은 기초 작업을 해왔다는 점을 염두에 두시기 바랍니다.
비탈릭은 2020년부터 2024년까지 ZK에 초점을 맞추고 있기 때문입니다.
제가 ZK에 열광하는 이유를 간단히 설명하자면, 이더리움이 롤업 확장 경로를 구축한 후 ZK의 상태 압축은 L2에서 L1으로 전송되는 데이터의 크기를 획기적으로 줄일 수 있어 경제적으로 가치가 있지만, 물론 이는 이론적인 이야기일 뿐입니다. 이는 지속적인 개발을 통해서만 해결할 수 있는 새로운 개발 문제입니다.
단순히 요약하면, 이더넷은 용량 확장, 레이어 2 개발 경로 구축, ZK/OP 시스템 롤업 경쟁, 단기 OP 형성, 장기 ZK 업계 합의, ARB/OP/zkSync/SatrkNet 4대 거인 형성이 필요하다는 것입니다.
경제는 유일한 이유는 아니지만 ZK가 암호 세계, 특히 이더 시스템에 의해 받아 들여질 수있는 중요한 이유이므로 다음 FHE 기술 기능이 반복되지 않을 것이며, 초점은 FHE가 Web3의 운영 효율성을 향상시킬 수있는 방향을 검토하거나 Web3의 운영 비용을 절감하고 비용과 효율성을 줄이기 위해 항상 a.
먼저, 동형 암호화와 완전 동형 암호화에는 차이가 있습니다. 엄밀히 말하면 완전 동형 암호화는 전자의 특수한 경우이며 동형 암호화는 "암호 텍스트의 덧셈 또는 곱셈 연산이 평문 텍스트의 덧셈 또는 곱셈 연산과 동일하다"는 의미를 내포하고 있습니다. ", 즉
이 시점에서 c와 E(c), d와 E(d)는 동일한 값으로 간주할 수 있지만, 여기에는 두 가지 어려움이 있습니다.
평문 텍스트와 암호 텍스트의 평등은 실제로 암호 텍스트를 얻기 위해 연산을 수행하는 일부 노이즈를 추가 한 후의 평문 텍스트이며, 암호 텍스트가 값에서 너무 큰 편차를 초래하면 계산의 실패로 이어질 수 있으므로 키의 다양한 유형의 알고리즘의 노이즈 제어;
가산 및 곱셈에는 엄청난 오버 헤드가 있으며 암호 텍스트 계산은 평문 계산보다 10,000 ~ 1,000,000 배 더 클 수 있으며 단지 무한대의 덧셈과 곱셈을 동시에 수행하는 것만 완전 동형암호라고 할 수 있습니다. 물론 모든 유형의 동형암호는 고유한 분야에서 고유한 값을 가지며, 구현 정도에 따라 다음과 같이 나눌 수 있습니다.
부분 동형암호( 부분 동형 암호화): 암호화된 데이터에 대해 덧셈이나 곱셈과 같은 제한된 연산만 수행하도록 허용합니다. 일부 동형 암호화: 제한된 수의 덧셈 및 곱셈 연산을 허용합니다.
완전 동형 암호화: 덧셈과 곱셈 연산을 무제한으로 허용하여 암호화된 데이터에 대해 임의의 연산을 할 수 있습니다.
완전동형암호(FHE)의 개발은 2009년 크레이그 젠트리가 다차원 공간에서 점들이 특정 선형 관계를 만족하는 점 집합을 정의할 수 있는 수학적 구조인 이상적 격자에 기반한 완전동형 알고리즘을 처음 제안한 때로 거슬러 올라갈 수 있습니다. 점이 특정 선형 관계를 만족합니다.
Gentry의 방식에서는 이상적인 격자를 사용하여 키와 암호화된 데이터를 나타내므로 "신발끈을 잡아당겨 몸을 뒤집는 것"으로 해석할 수 있는 부트스트랩을 사용하여 노이즈를 줄이면서 암호화된 데이터를 비공개로 유지할 수 있습니다. 실제로는 복잡한 연산 작업을 지원하기 위해 노이즈를 줄이고 기밀성을 유지하기 위해 FHE로 암호화된 암호 텍스트를 한 번 더 암호화하는 방식으로 수행됩니다.
(자체 설명은 FHE의 실용화를 위해 매우 중요한 기술적 진보이지만 수학은 확장되지 않음)
이 알고리즘은 FHE의 이정표이며 엔지니어링 맥락에서 FHE의 실현 가능성을 처음으로 입증한 것이지만 한 단계의 연산을 수행하는 데 약 30분이 소요되는 엄청난 오버헤드로 인해 기본적으로 실용화가 불가능합니다.
0에서 1까지의 문제를 해결한 후 남은 것은 대규모 실용성뿐이며, 이는 다양한 수학적 가정을 바탕으로 해당 알고리즘 설계를 수행하는 것으로도 이해할 수 있습니다. 이상적인 그리드 외에도 보안 가정에 사용되는 LWE(Learning with Error) 및 그 변형이 현재 가장 일반적인 솔루션이기도 합니다.
2012년 즈비카 브레이커스키, 크레이그 젠트리, 비노드 바이쿤타나탄은 2세대 FHE 방식 중 하나인 BGV 방식을 제안했으며, 가장 중요한 기여는 동형 연산으로 인한 암호 텍스트 노이즈 증가를 효율적으로 제어하는 아날로그-디지털 변환 기법입니다. 평준화된 FHE, 즉 주어진 계산 깊이로 동형 연산 작업을 실현할 수 있는 FHE입니다.
유사하게, 부동 소수점 연산을 지원할 수 있지만 컴퓨팅 자원의 소비를 더욱 증가시키는 BFV 및 CKKS, 특히 CKKS와 같은 방식이 있으며 더 나은 방식에 대한 필요성이 여전히 존재합니다.
마지막으로 TFHE와 FHEW 방식이 있는데, 특히 TFHE는 자마가 선호하는 알고리즘으로 간략히 소개하겠습니다. 간단히 말해서 FHE의 노이즈 문제는 젠트리의 첫 번째 애플리케이션으로 부트스트랩을 통해 줄일 수 있으며 TFHE는 효율적이고 정확도가 보장된 부트스트랩이 가능하므로 블록체인 영역과 더 잘 결합할 수 있다는 장점이 있습니다.
다양한 방식에 대한 소개는 사실 그 차이는 좋고 나쁨의 차이가 아니라 시나리오의 차이에 가깝지만 기본적으로 모두 강력한 소프트웨어와 하드웨어 자원이 뒷받침되어야 하며, TFHE 방식도 하드웨어 문제를 해결해야 대규모 적용이 가능하며, 기본적으로 ZK 분야에서 "알고리즘과 소프트웨어를 먼저, 하드웨어와 모듈성을 따르는 것"을 따르는 것은 불가능하다는 점까지입니다. ZK 분야에서 '알고리즘과 소프트웨어가 먼저, 하드웨어와 모듈성이 뒤따르는' 경로를 따르는 것은 기본적으로 불가능하며, 이는 적어도 암호화 분야에서는 처음부터 하드웨어와 병행하여 FHE를 개발해야 한다는 것을 의미합니다.
웹2 거대 기업들은 이를 탐구해 왔으며, 몇 가지 실질적인 결과를 도출하여 여기에 요약하고 Web3 시나리오에 소개했습니다.
간단하게 설명하자면, IBM은 BGV와 CKKS를 주로 지원하는 Helib 라이브러리를, 마이크로소프트의 SEAL 라이브러리는 CKKS와 BFV 시나리오를 주로 지원하며, CKKS의 저자 중 한 명인 송용수 씨가 SEAL의 설계와 개발에 참여했다는 점을 언급할 필요가 있고, OpenFHE는 DARPA의 지원을 받은 듀얼리티가 개발한 가장 포괄적인 라이브러리라고 할 수 있습니다. OpenFHE는 DARPA의 지원을 받는 Duality가 개발한 가장 포괄적인 알고리즘으로, 현재 BGV, BFV, CKKS, TFHE, FHEW와 같은 주요 알고리즘을 지원하며 현존하는 가장 완벽한 FHE 라이브러리로 평가받고 있습니다.
또한 OpenFHE는 인텔의 CPU 가속 라이브러리와의 연동은 물론 엔비디아의 CUDA 인터페이스를 호출하여 GPU 가속을 지원하는 방안도 모색했지만, 가장 최근인 2018년에 CUDA의 FHE 지원이 중단되었으며 아직 새로운 지원은 발견되지 않았으므로 오류가 있는 경우 수정해 주시기 바랍니다.
OpenFHE는 C++와 Python을 모두 지원하며, Rust API는 개발 중이며 간단하고 포괄적인 모듈성과 크로스 플랫폼 기능을 제공하는 것을 목표로 하고 있어 웹2.0 개발자에게는 가장 쉬운 기본 솔루션이 될 것입니다.
웹3 개발자에게는 더 어려울 것입니다.
대부분의 퍼블릭 체인은 약한 컴퓨팅 파워로 인해 FHE 알고리즘을 지원할 수 없고, 비트코인과 이더리움 생태계에서 FHE에 대한 '경제적 수요'가 부족하며, 효율적인 L2-L1 데이터 전송의 필요성이 다시 한번 ZK 알고리즘에 영감을 불러일으켰습니다. ZK 알고리즘은 L2-L1의 효율적인 데이터 전송의 필요성에서 영감을 얻은 최초의 알고리즘으로, FHE를 위한 것이 아니라 망치를 들고 못을 쳐서 강제로 일치시키는 FHE를 위한 것이므로 착륙 비용만 증가시킬 것입니다.
지금까지 겪은 어려움과 가능한 시나리오에 대해서는 나중에 더 자세히 이야기하겠지만 여기서는 웹3 개발자에게 자신감을 주는 데 초점을 맞추겠습니다.
2024년 자마는 멀티코인이 주도한 7,300만 달러의 펀딩 라운드를 통해 암호화폐 업계에서 FHE 개념과 관련된 최대 규모의 펀딩을 받았습니다. 자마는 현재 TFHE 알고리즘을 기반으로 한 알고리즘 라이브러리와 그보다 적은 범위에서 FHE 기능을 갖춘 EVM 호환 체인 개발을 지원하는 fhEVM을 보유하고 있습니다.
다음 문제는 효율성인데, 이는 하드웨어와 소프트웨어의 협력을 통해서만 해결할 수 있습니다. 하나는 EVM이 직접 FHE 컨트랙트를 실행할 수 없다는 점인데, 이는 자마의 fhEVM 프로그램과 충돌하지 않으며, 자마는 자체적으로 체인을 구축해 FHE 기능을 직접 추가할 수 있습니다(예: 시바 이누도 자마의 프로그램 레이어 3을 기반으로 새로운 체인을 구축할 예정). FHE를 지원하는 것은 어렵지 않지만, 이더리움 EVM 자체에 FHE 컨트랙트를 배포할 수 있는 기능을 갖추는 것이 어려운데, 이를 위해서는 이더리움 옵코드의 지원이 필요합니다. 좋은 소식은 Fair Math와 OpenFHE가 공동으로 FHERMA 대회를 주최하여 개발자들이 EVM의 Opcode를 다시 작성하도록 장려함으로써 두 가지의 결합 가능성을 적극적으로 모색하고 있다는 점입니다.
다른 하나는 하드웨어 가속으로, 솔라나 및 기타 고성능 퍼블릭 체인이 기본적으로 FHE 컨트랙트 배포를 지원하더라도 노드의 속도를 끌어올리는 것입니다. 주요 네이티브 FHE 하드웨어는 ASIC 솔루션인 Chain Reaction의 3PU™(Privacy Protected Processing Unit)이며, Zama와 Inco도 하드웨어 가속의 가능성을 모색하고 있습니다. 예를 들어 현재 Zama의 TPS는 5 정도이고, Inco는 10 TPS를 할 수 있으며, Inco는 FPGA 하드웨어 가속을 사용하면 TPS를 100-1000 정도까지 높일 수 있다고 생각합니다.
그러나 속도에 대해 너무 걱정할 필요는 없습니다. 이론적으로 기존 ZK 하드웨어 가속 솔루션은 FHE 솔루션과 함께 작동하도록 조정할 수 있으므로 아래 논의에서는 속도에 지나치게 신경 쓰지 않고 시나리오를 찾고 EVM 호환성 문제를 해결하는 데 초점을 맞출 것입니다.
멀티코인은 자마에 투자할 때 ZKP는 과거에 있고 미래는 FHE에 있다고 말했지만 현실은 항상 그 미래가 사실인지 아닌지 알기 어렵습니다. 자마 이후 Inco Network와 Fhenix는 각각 같은 방향에 초점을 맞춘 fhEVM 생태계의 스텔스 동맹을 결성했습니다. 자마 이후, 인코 네트워크와 페닉스는 각각 고유한 초점을 가지고 있지만 기본적으로 같은 방향, 즉 FHE와 EVM 생태계의 통합을 위해 노력하는 fhEVM 생태계 인비저블 얼라이언스를 결성했습니다.
늦게 시작하는 것보다 일찍 시작하는 것이 낫기 때문에 찬물을 끼얹는 것부터 시작합시다.
2024년은 FHE에 있어 중요한 해이지만, 2022년에 Solana의 "다크 풀" 프로토콜로 시작되어 현재 코드베이스와 문서가 삭제된 Elusiv는 더 이상 운영되지 않습니다. 결국 FHE는 여전히 기술 구성 요소의 일부로 MPC/ZKP와 같은 기술과 함께 사용되어야 하며, FHE가 블록체인의 현재 패러다임을 어떻게 바꿀 수 있는지 살펴볼 필요가 있습니다.
우선, 단순히 프라이버시를 강화한다고 해서 FHE가 경제적 가치가 있다고 가정하는 것은 부정확하며, 과거 사례를 보면 웹3.0이나 온체인 사용자들은 프라이버시에 크게 신경 쓰지 않고, 해커들이 훔친 자금을 숨기기 위해 토네이도를 사용하는 것처럼 프라이버시가 경제적 가치를 제공하는 도구만 사용한다는 점을 인정하는 것이 중요하다고 할 수 있습니다. 예를 들어 해커는 훔친 자금을 숨기기 위해 토네이도 캐시를 사용하지만, 일반 사용자는 토네이도 캐시를 사용하는 데 드는 추가 시간이나 재정적 비용 때문에 유니스왑만 사용할 것입니다.
FHE의 암호화 비용은 그 자체로 이미 취약한 체인 운영 효율성을 더욱 악화시키며, 프라이버시 보호는 2023년 6월 홍콩의 아시아 태평양 고객을 대상으로 UBS를 통해 발행한 BOCI의 "RWA" 채권 발행과 거래처럼 비용 상승으로 얻을 수 있는 더 큰 이점이 있을 경우에만 대규모로 도입될 가능성이 있습니다. 예를 들어, 2023년 6월에 UBS를 통해 BOCI는 아시아 태평양 고객들에게 "블록체인 디지털 구조화 채권"을 발행했고, UBS 보도자료에는 이더를 통해 발행했다고 언급되어 있는데, 신기하게도 해당 거래의 계약 및 유통 주소를 찾을 수 없으니 혹시 찾을 수 있는 분이 있다면 관련 정보를 추가해 주시기 바랍니다.
블록체인과 같은 퍼블릭 체인을 사용할 필요는 있지만 모든 정보를 공개하는 것이 불편하거나 원하지 않고, 암호문으로 매매와 같은 작업을 할 수 있는 기관 고객에게는 ZKP보다 FHE가 더 적합하다는 것을 보여주는 사례라고 할 수 있습니다.
개인 개인 투자자에게 FHE는 여전히 상대적으로 먼 기반 인프라이며, 안티-MEV, 개인 거래, 더 안전한 네트워크, 제3자 스누핑으로부터 보호 등 여러 방향을 나열할 수 있지만 분명히 그 중 어느 것도 우선적으로 필요한 것은 없으며 FHE를 사용하면 현재 네트워크 속도가 느려지므로 FHE가 주인공이 되는 순간은 아직 오지 않았다고 솔직히 말하는 것이 낫습니다. 결국 프라이버시는 고통스럽지 않은 요구 사항이며, 공공 서비스로서 프라이버시를 위해 프리미엄을 지불할 의향이 있는 사람은 거의 없습니다. FHE로 암호화된 데이터의 계산 가능한 특성을 활용해 비용을 절감하거나 거래 효율성을 개선할 수 있는 시나리오를 찾아야 시장에서 자발적으로 활성화될 수 있습니다. 예를 들어, 중앙화된 노드를 통해 해결할 수 있는 여러 종류의 안티-MEV 솔루션이 있지만, FHE는 현장의 문제점을 직접적으로 해결하지 못합니다.
또 다른 문제는 컴퓨팅 효율성의 문제로, 표면적으로는 하드웨어 가속 또는 기술 문제의 알고리즘 최적화가 필요하지만 본질적으로 이것은 시장이 수요가 많지 않고 프로젝트가 볼륨의 힘을 가지고 있지 않으며 최종 분석에서 컴퓨팅 효율성은 ZK 또는 예를 들어 급성장하는 시장 수요, SNARK 및 STARK 경로가 서로 경쟁하는 모든 종류의 ZK 롤업에서 볼륨입니다! 프로그래밍 언어부터 호환성까지, ZK의 개발은 핫머니에 힘입어 비약적으로 성장하고 있습니다.
응용 시나리오와 착륙은 FHE가 블록체인의 인프라가 되기 위한 돌파구이며, 이 단계를 밟지 못하면 FHE는 암호화폐 업계에서 추진력을 얻을 수 없으며 주요 프로젝트는 울타리 옆을 두드리고 자신의 에이커와 1/3의 땅에서 즐길 수 있을 뿐입니다.
자마와 그의 친구들의 사례를 보면, 이더리움 외부에서 새로운 체인을 만들고 그 위에 ERC-20 및 기타 기술 구성 요소와 표준을 재사용하여 이더리움과 연결되는 FHE L1/L2의 암호 체계를 형성하는 것이 합의된 방법 중 하나이며, 이는 FHE의 기본 구성 요소를 가장 먼저 시도하고 구축할 수 있다는 장점이 있습니다. 단점은 이더리움 자체가 FHE 알고리즘을 지원하지 않는다면 오프체인 솔루션은 항상 더 어색한 상황에 처할 수 있다는 것입니다.
자마 자체도 이러한 문제를 인식하고 있으며, 위에서 언급한 FHE 라이브러리 외에도 더 많은 학문적 결과를 엔지니어링 애플리케이션으로 전환하기 위해 FHE.org를 출범하고 컨퍼런스를 후원하고 있습니다.
인코 네트워크의 방향은 본질적으로 아웃소싱 컴퓨팅 서비스 제공자 모델인 "범용 프라이버시 레이어"를 지향하며, 다른 EVM 호환 체인의 게임 메커니즘을 네트워크에 통합하기 위해 크로스 체인 메시징 프로토콜인 Hyperlane과 협력하는 흥미로운 탐색과 함께 Zama를 기반으로 FHE EVM L1 네트워크를 구축했습니다. 흥미로운 실험은 크로스체인 메시징 프로토콜인 하이퍼레인을 사용하여 다른 EVM 호환 체인의 게임 메커니즘을 Inco 위에 배포하고, 게임 실행에 FHE 연산이 필요할 때 하이퍼레인이 Inco의 연산 능력을 호출한 다음 그 결과만 원래 체인으로 다시 전송하는 것입니다.
Inco가 구상한 시나리오를 실현하려면 EVM 호환 체인이 Inco의 신뢰성을 기꺼이 신뢰해야 하고, Inco의 자체 계산 능력이 충분히 강력해야 하는데, 이는 체인 게임의 높은 동시성과 낮은 지연 시간 요구 사항의 맥락에서 상당히 어려운 일입니다.
그러나 일부 zkVM은 FHE 아웃소싱 역할을 할 수도 있습니다. 예를 들어 RISC Zero는 이미 이 기능을 갖추고 있으며, ZK 제품과 FHE 간의 다음 충돌은 더 많은 불꽃을 일으킬 수 있습니다.
한 걸음 더 나아가 일부 프로젝트는 이더리움에 조금 더 가까워지거나 적어도 이더리움의 일부가 되는 방향으로 나아가고자 합니다. Inco는 자마 솔루션을 사용하여 L1을 구현하고, Fhenix는 아직 개발 중인 EVM L2를 구현하기 위해 자마 솔루션을 사용합니다. 최종 제품이 무엇이 될지는 모르겠지만, 아마도 FHE 기능에 초점을 맞춘 L2가 될 것입니다.
이 밖에도 위에서 언급한 FHERMA 대회가 있는데, 이더리움 개발에 능숙한 독자라면 FHE를 실현하는 데 도움을 주는 동시에 상금도 받을 수 있습니다.
또 한 가지 놀라운 프로젝트가 더 있는데, 썬스크린과 마인드 네트워크입니다. 썬스크린은 주로 Ravital에서 운영하고 있으며, 그 방향은 BFV 알고리즘을 사용하여 FHE에 적합한 컴파일러 솔루션을 구축하는 것이지만 장기간 테스트 및 실험 상태에 있으며 제품이 실용화되기까지는 오랜 시간이 걸릴 것입니다.
마지막으로 마인드 네트워크의 아이디어는 주로 리플레징과 같은 기존의 다양한 시나리오와 FHE의 결합에 초점을 맞추고 있지만, 이를 어떻게 구현할지 검증하는 데 시간이 필요합니다.
마지막으로, 이 섹션의 서두를 재활용하기 위해 Elusiv는 현재 Arcium으로 이름을 바꾸고 새로운 자금을 받아 실행 효율성 측면에서 FHE를 개선하기 위한 "병렬 FHE" 솔루션으로 변모하고 있습니다.
이 기사는 FHE의 이론과 실제에 관한 것처럼 보일 수 있지만 어두운 선은 암호 화폐의 역사와 정확히 같지 않은 암호 화폐 자체의 역사를 명확히하는 것이며, ZKP와 FHE 사이에는 많은 유사점이 있으며, 그 중 하나는 둘 다 블록 체인의 공공성 외에도 개인 정보를 유지하기 위해 노력한다는 점과 ZKP 프라이버시 솔루션은 암호 화폐 개발의 핵심 요소 인 L2 및 L1 수준을 줄여야한다는 점을 지적하고 있습니다. lt;> L1 상호 작용, FHE는 여전히 최적의 시나리오를 찾고 있습니다.
길은 멀고 FHE는 여전히 위아래로 검색하고 있습니다. 이더와 얼마나 가깝거나 먼지에 따라 세 가지 유형으로 나눌 수 있습니다.
유형 1: 독립 왕국, 이더와 소통. 자마/피닉스/인코 네트워크가 대표적이며, 주로 개발 기반을 제공하고 특정 세그먼트에 적용할 수 있는 자체 FHE L1/L2 구축을 장려합니다.
유형 2: 외부, 이더에 통합되는 외부. 페어 수학/마인드 네트워크로 대표되며, 어느 정도의 독립성을 유지하지만 전반적인 아이디어는 이더와 더 긴밀하게 통합되는 것입니다.
유형 3: 이더를 통과하여 변형. 이더가 기본적으로 FHE 기능을 지원할 수 없다면 컨트랙트 레이어에서 다양한 EVM 호환 체인에 FHE 기능을 제공할 수 있는 방법을 모색해야 하는데, 이 기준을 잘 충족하는 솔루션은 아직 없습니다.
원클릭 체인 게시와 하드웨어 가속이 개발 후반에야 실용화된 ZK와 달리, FHE는 ZK 거인들의 어깨 위에 서 있으며, FHE 체인 게시가 현재 가장 쉬울 수 있지만 자체와 이더 간의 통신 방법이 가장 어려운 문제입니다.
하루에 세 번, 우리는 블록체인 세계에서 FHE의 미래 좌표를 찾습니다.
평문이 아닌 암호화해야 하는 시나리오는 무엇인가요?
어떤 시나리오는 FHE 암호화가 필요하고 다른 암호화 방법을 사용할 수 없나요?
사용자가 FHE 암호화를 사용하는 것이 좋다고 느끼고 더 많은 비용을 지불할 의향이 있는 시나리오는 무엇인가요?
앞으로도 FHE를 계속 지켜보겠습니다!
영지식 증명과 영지식 증명이란 무엇인가요? 둘 다 영지식 증명이지만, 그 특성은 무엇이며 서로 어떻게 비교하나요?
JinseFinance투자자라면 몇 년 전 이더리움 생태계 zk 레이어2 프로젝트에 투자했을 확률이 높습니다. 올해 꽤 많은 zk 프로젝트가 메인넷에 올라 코인을 발행했고, 꽤 많은 못생긴 며느리들이 마침내 시어머니를 만났습니다.
JinseFinance최근 비트코인 레이어 2 프로젝트인 시트레아가 ZK 롤업 체계를 최초로 채택했다고 주장하는 가운데, 테스트 네트워크에서 롤업이 곧 가동될 예정이라 커뮤니티의 문의가 쇄도하고 있습니다.
JinseFinanceZK 스택,전용과 범용 ZK: 어떤 것이 미래인가? 골든 파이낸스,전용과 범용 ZK의 경계가 모호해지고 있습니다.
JinseFinance요나는 비트코인의 SVM 기반 레이어 2(롤업)입니다.
JinseFinance영지식 증명 기반 이더 레이어 2 확장(ZK-Rollup)은 이더 생태계에서 항상 큰 기대를 모아왔습니다. 이론적으로는 효율성과 보안 문제를 보다 균형 잡힌 방식으로 해결할 수 있습니다.
JinseFinance모듈성과 영지식 증명은 블록체인 기술을 이끄는 두 가지 주요 트렌드입니다.
JinseFinance암호화폐 분야뿐만 아니라 다른 전통적인 분야에서도 회계사를 통해 허위 계정을 만들어 투자자를 속인 사람들의 수를 헤아리기 어려울 정도입니다.
JinseFinance이 글에서는 암호화폐 리더십의 변화하는 지형을 조명하면서 SBF의 판결이 업계의 다른 주요 플레이어에게 미칠 잠재적 영향을 살펴봅니다.
JinseFinanceZK 롤업은 이더리움에서 주목을 받았습니다. 이 기술을 비트코인에도 적용할 수 있습니까?
The Crypto Illuminati