So sánh toàn diện: zk-SNARK và zk-STARK là gì?
Zk-SNARK và zk-STARK là gì? Cả hai đều là bằng chứng không có kiến thức, nhưng chúng có đặc tính gì và so sánh với nhau như thế nào.
JinseFinanceNguồn: Zuoye Waibo Mountain
Đường hướng phát triển tiền điện tử chính là cực kỳ rõ ràng. Bitcoin tạo ra tiền điện tử, Ethereum tạo ra chuỗi công khai và TEDA tạo ra Stablecoin, BitMEX tạo ra vĩnh viễn. hợp đồng, bốn sáng tạo giống như những nguyên thủy về mật mã, xây dựng một thị trường nghìn tỷ đô la, vô số huyền thoại làm giàu hay những giấc mơ phi tập trung luôn được mọi người ghi nhớ.
Quỹ đạo phát triển của công nghệ mã hóa không rõ ràng. Các thuật toán đồng thuận khác nhau và các thiết kế tinh tế khác nhau không thể sánh được với các hệ thống cam kết và đa chữ ký, và sau này là trụ cột thực sự để duy trì hoạt động của hệ thống mã hóa. , chẳng hạn như rút tiền Sau khi đặt cược tập trung vào WBTC, hầu hết BTC L2 không thể tồn tại và việc đặt cược gốc của Babylon là một cuộc khám phá theo hướng này, trị giá 70 triệu đô la Mỹ.
Tôi cố gắng phác thảo lịch sử phát triển của công nghệ mã hóa trong bài viết này, khác với những thay đổi công nghệ khác nhau trong ngành mã hóa, chẳng hạn như mối quan hệ giữa FHE, ZK và MPC, từ một quy trình ứng dụng thô sơ, MPC được sử dụng ngay từ đầu, FHE có thể được sử dụng cho quá trình tính toán trung gian và ZK cuối cùng có thể được chứng minh về thời gian áp dụng, ZK là ví đầu tiên được triển khai. Sau đó, khái niệm ví AA trở nên phổ biến và MPC. được đánh giá cao như một giải pháp kỹ thuật và sự phát triển của nó đã tăng tốc, chỉ có FHE mới được Chúa ban cho một phép ẩn dụ vào năm 2020, nhưng nó chỉ bốc cháy nhẹ vào năm 2024.
Không giống như ZK và MPC, FHE thậm chí còn khác với tất cả các thuật toán mã hóa hiện tại. Ngoại trừ FHE, mọi mã hóa đối xứng hoặc bất đối xứng Công nghệ đang cố gắng tạo ra một "hệ thống mật mã không dễ hoặc không thể bẻ khóa" để đạt được độ bảo mật tuyệt đối, nhưng mục tiêu của FHE là làm cho bản mã được mã hóa hoạt động, tức là mã hóa và giải mã là quan trọng, nhưng sau khi mã hóa, nội dung trước khi giải mã không nên lãng phí.
FHE là một công nghệ cơ bản, và việc khám phá lý thuyết đã được hoàn thiện về mặt học thuật, những gã khổng lồ Web2 đã đóng góp rất nhiều. vì hỗ trợ của Microsoft, Intel, IBM và DARPA Duality đã chuẩn bị các công cụ phát triển và thích ứng phần mềm và phần cứng.
Tin tốt là gã khổng lồ Web2 không biết phải làm gì với FHE kể từ bây giờ vẫn chưa muộn để bắt đầu. Tin xấu khác là khả năng thích ứng của Web3 là xấp xỉ 0. Bitcoin và Ethereum chính thống về bản chất không tương thích với thuật toán FHE. Mặc dù Ethereum là máy tính của thế giới nhưng việc tính toán khó khăn về FHE có thể sẽ kết thúc vào ngày tận thế.
Chúng tôi chủ yếu tập trung vào việc khám phá Web3, chỉ cần nhớ rằng những gã khổng lồ Web2 rất nhiệt tình với FHE và đã hoàn thành rất nhiều công việc nền tảng.
Điều này là do trọng tâm của Vitalik sẽ là ZK từ năm 2020 đến năm 2024.
Ở đây tôi muốn giải thích ngắn gọn về sự phổ biến của ZK. Sau khi Ethereum thiết lập lộ trình mở rộng Rollup, chức năng nén trạng thái của ZK có thể giảm đáng kể kích thước dữ liệu được truyền từ L2 đến L1. Điều này mang lại lợi ích kinh tế rất lớn. Tất nhiên, đây chỉ là lý thuyết. Các vấn đề như phân mảnh và sắp xếp L2, và thậm chí một số phí người dùng thu hoạch L2/Rollup đều là những vấn đề mới trong quá trình phát triển và chỉ có thể được sử dụng để tiếp tục phát triển.
Tóm tắt ngắn gọn, Ethereum cần mở rộng năng lực và thiết lập lộ trình phát triển Lớp 2 và Rollup cạnh tranh để đạt được sự xuất sắc, hình thành sự đồng thuận trong ngành về OP ngắn hạn và dài hạn. ZK, định hình Bộ tứ lớn ARB/OP/ zkSync/SatrkNet.
Kinh tế là lý do quan trọng, thậm chí là lý do duy nhất để ZK được thế giới tiền điện tử chấp nhận, đặc biệt là hệ thống Ethereum. Do đó, các tính năng kỹ thuật sau đây của FHE sẽ không được mô tả. một cách chi tiết. Trọng tâm là xem xét FHE Theo hướng nào thì hiệu quả hoạt động của Web3 có thể được cải thiện, hay chi phí vận hành của Web3 có thể giảm xuống, việc giảm chi phí và tăng hiệu quả luôn phải được tính đến.
Đầu tiên là phân biệt giữa mã hóa đồng cấu và mã hóa đồng cấu hoàn toàn Nói đúng ra, mã hóa đồng cấu hoàn toàn trước đây là loại A đặc biệt. trường hợp mã hóa đồng cấu có nghĩa là "việc cộng hoặc nhân văn bản mã hóa tương đương với việc cộng hoặc nhân văn bản gốc", đó là:
Tại thời điểm này, c và E(c), d và E(d) có thể được coi là có giá trị bằng nhau, nhưng xin lưu ý rằng có hai khó khăn ở đây:
Sự bằng nhau của bản rõ và bản mã thực sự là do việc thêm một số nhiễu vào bản rõ. để thu được bản mã. Nếu giá trị sai lệch do bản mã gây ra quá lớn thì phép tính sẽ thất bại, do đó nó là chìa khóa cho các thuật toán khác nhau để kiểm soát nhiễu;
Bổ sung tổng Chi phí của phép nhân là rất lớn. Việc tính toán văn bản mã hóa có thể gấp 10.000 đến 1 triệu lần so với tính toán văn bản gốc. Chỉ khi có thể đạt được phép tính cộng và nhân không giới hạn cùng một lúc, nó mới có thể được gọi là mã hóa đồng cấu hoàn toàn. tất cả các loại mã hóa đồng cấu Chúng cũng có giá trị duy nhất của riêng chúng trong các trường tương ứng. Theo mức độ hiện thực hóa khác nhau, chúng có thể được chia như sau:
Mã hóa đồng cấu một phần: Chỉ một số thao tác giới hạn, chẳng hạn như phép cộng hoặc phép nhân, mới được phép thực hiện trên dữ liệu được mã hóa. Mã hóa hơi đồng cấu: cho phép một số phép tính cộng và nhân có giới hạn.
Mã hóa đồng cấu hoàn toàn: cho phép số lượng phép tính cộng và nhân không giới hạn để đạt được các phép tính tùy ý trên dữ liệu được mã hóa.
Sự phát triển của mã hóa đồng cấu hoàn toàn (FHE) có thể bắt nguồn từ năm 2009, khi Craig Gentry lần đầu tiên đề xuất một phương pháp dựa trên Lưới lý tưởng< /strong> Một thuật toán đồng cấu hoàn toàn, mạng lý tưởng là một cấu trúc toán học cho phép người dùng xác định một tập hợp các điểm trong không gian đa chiều trong đó các điểm này thỏa mãn các mối quan hệ tuyến tính cụ thể.
Trong giải pháp của Gentry, một mạng lý tưởng được sử dụng để biểu thị khóa và dữ liệu được mã hóa, do đó dữ liệu được mã hóa có thể được giữ kín trong khi bootstrapping được sử dụng để giảm nhiễu. Để "tự kéo dây giày và lật mình lại", thao tác thực tế là thêm một mã hóa khác vào bản mã do FHE mã hóa để giảm nhiễu và duy trì tính bảo mật, từ đó hỗ trợ các hoạt động tính toán phức tạp.
(Bootstrapping là một tiến bộ kỹ thuật rất quan trọng cho ứng dụng thực tế của FHE, nhưng kiến thức toán học sẽ không còn được mở rộng nữa)
Thuật toán này là một cột mốc quan trọng của FHE , và nó đã được chứng minh lần đầu tiên trong kỹ thuật. Nó đã chứng minh tính khả thi của FHE, nhưng chi phí rất lớn, thậm chí phải mất ba mươi phút để tính toán một bước nên về cơ bản không có khả năng ứng dụng thực tế.
Sau khi giải từ 0 đến 1, cái còn lại là tính thực tiễn trên quy mô lớn, cũng có thể hiểu là thực hiện thiết kế thuật toán tương ứng dựa trên các giả định toán học khác nhau. Ngoại trừ các trường hợp lý tưởng, nó được sử dụng để bảo mật. Ngoài ra còn có LWE (Học có lỗi) và các biến thể của nó, hiện là giải pháp phổ biến nhất.
Vào năm 2012, Zvika Brakerski, Craig Gentry và Vinod Vaikuntanathan đã đề xuất sơ đồ BGV, một trong những sơ đồ FHE thế hệ thứ hai, đóng góp quan trọng nhất của nó là công nghệ chuyển đổi tương tự sang kỹ thuật số, có hiệu quả. Sự gia tăng nhiễu của bản mã gây ra bởi các hoạt động đồng cấu được kiểm soát và FHE được phân cấp được xây dựng, nghĩa là FHE như vậy có thể đạt được các nhiệm vụ tính toán đồng cấu ở độ sâu tính toán nhất định.
Tương tự, có các giải pháp như BFV và CKKS. Đặc biệt, giải pháp CKKS có thể hỗ trợ các phép toán dấu phẩy động nhưng sẽ làm tăng thêm mức tiêu thụ tài nguyên máy tính và vẫn cần có các giải pháp tốt hơn.
Cuối cùng, có các sơ đồ TFHE và FHEW, đặc biệt là sơ đồ TFHE, đây là thuật toán ưa thích của Zama. Nói một cách đơn giản, vấn đề nhiễu của FHE có thể được giải quyết bằng cách khởi động đầu tiên được áp dụng bởi. Gentry. Giảm và TFHE có thể đạt được khả năng khởi động hiệu quả và độ chính xác được đảm bảo, do đó, nó có điểm tích hợp tốt với lĩnh vực blockchain.
Đó là phần giới thiệu của chúng tôi về từng giải pháp. Trên thực tế, sự khác biệt giữa chúng không phải ở ưu điểm và nhược điểm mà là ở các tình huống khác nhau. Tuy nhiên, về cơ bản, chúng yêu cầu sự hỗ trợ tài nguyên phần cứng và phần mềm mạnh mẽ, ngay cả khi. chúng là Giải pháp TFHE cũng cần giải quyết các vấn đề về phần cứng trước khi có thể áp dụng trên quy mô lớn. Về cơ bản, không thể đi theo con đường "thuật toán và phần mềm trước, sau đó là phần cứng và mô đun hóa" trong lĩnh vực ZK. Chẳng hạn, FHE phải phát triển đồng thời với phần cứng ngay từ đầu, ít nhất Điều này phải đúng trong không gian tiền điện tử.
Như đã đề cập trước đó, những gã khổng lồ Web2 đang khám phá và đã đạt được một số kết quả thực tế. kịch bản.
Để đơn giản hóa mọi việc, IBM đã đóng góp thư viện Helib, chủ yếu hỗ trợ BGV và CKKS. Thư viện SEAL của Microsoft chủ yếu hỗ trợ các giải pháp CKKS và BFV. Điều đáng nói là Song Yongsoo, một trong những tác giả của CKKS, đã tham gia. trong thiết kế và phát triển SEAL, và OpenFHE là phiên bản toàn diện nhất. Nó được phát triển bởi Duality được hỗ trợ bởi DARPA. Nó hiện hỗ trợ các thuật toán chính thống như BGV, BFV, CKKS, TFHE và FHEW. hoàn thiện thư viện FHE hiện có trên thị trường.
Hơn nữa, OpenFHE cũng đã tìm cách hợp tác với thư viện tăng tốc CPU của Intel và gọi giao diện CUDA của NVIDIA để hỗ trợ tăng tốc GPU. Tuy nhiên, hỗ trợ gần đây nhất của CUDA cho FHE là vào năm 2018 và vẫn chưa được tìm thấy. xin vui lòng sửa cho tôi nếu có bất kỳ sai sót.
OpenFHE hỗ trợ C++ và Python, API Rust đang được phát triển và cam kết cung cấp khả năng mô-đun hóa và đa nền tảng đơn giản và toàn diện. Nếu bạn là nhà phát triển Web2 thì đây là cách dễ dàng nhất trong số các tính năng này. hộp Giải pháp sẵn sàng sử dụng.
Nếu bạn là nhà phát triển Web3 thì sẽ khó khăn hơn.
Bị hạn chế bởi sức mạnh tính toán yếu, hầu hết các chuỗi công khai không thể hỗ trợ việc thực thi thuật toán FHE. Thứ hai, hệ sinh thái Bitcoin và Ethereum hiện thiếu "nhu cầu kinh tế" đối với FHE. chính nhu cầu về L2->L1 để truyền dữ liệu một cách hiệu quả đã truyền cảm hứng cho việc triển khai thuật toán ZK không thể được sử dụng vì lợi ích của FHE. Điều này sẽ chỉ làm tăng chi phí triển khai. .
Bài viết sau đây sẽ nêu chi tiết những khó khăn hiện tại và các kịch bản triển khai có thể xảy ra. Bài viết này chủ yếu mang lại niềm tin cho các nhà phát triển Web3.
Vào năm 2024, Zama đã nhận được khoản tài trợ ý tưởng FHE lớn nhất trong lĩnh vực mã hóa, với 73 triệu USD do Multicoin dẫn đầu. Zama hiện chủ yếu có thư viện thuật toán TFHE, tiếp theo là fhEVM để hỗ trợ phát triển EVM. chuỗi tương thích cho chức năng FHE.
Thứ hai là vấn đề hiệu quả, chỉ có thể giải quyết được thông qua sự hợp tác giữa phần mềm và phần cứng. Một là EVM không thể trực tiếp điều hành hợp đồng FHE. Điều này không mâu thuẫn với giải pháp fhEVM của Zama đã xây dựng. một chuỗi riêng, có thể trực tiếp thêm chức năng FHE. Ví dụ: Shiba Inu cũng cần xây dựng Lớp 3 dựa trên giải pháp Zama. Không khó để chuỗi mới được tạo để hỗ trợ FHE. khó khăn là làm sao bản thân Ethereum EVM có khả năng triển khai các hợp đồng FHE, đòi hỏi phải có sự hỗ trợ Opcode (Opcode) của Ethereum, tin vui là Fair Math và OpenFHE đã cùng nhau tổ chức cuộc thi FHERMA để khuyến khích các nhà phát triển viết lại Opcode của EVM, có thể là được coi là tích cực khám phá khả năng hội nhập.
Điều còn lại là tăng tốc phần cứng. Có thể nói rằng ngay cả khi các chuỗi công khai hiệu suất cao như Solana vốn hỗ trợ triển khai hợp đồng FHE, thì phần cứng FHE gốc của họ sẽ bị kéo vào chỗ chết. 3PU™ (đơn vị xử lý Bảo vệ quyền riêng tư), thuộc giải pháp ASIC, tiếp theo là Zama hoặc Inco, cũng đang khám phá khả năng tăng tốc phần cứng. Ví dụ: TPS hiện tại của Zama là khoảng 5, Inco có thể đạt được 10 TPS và Inco. tin rằng bằng cách sử dụng khả năng tăng tốc phần cứng FPGA, TPS có thể tăng tốc độ lên khoảng 100-1000.
Nhưng không cần phải lo lắng quá nhiều về vấn đề tốc độ. Về mặt lý thuyết, giải pháp tăng tốc phần cứng ZK có thể được sửa đổi để thích ứng với giải pháp FHE. vấn đề, nhưng chủ yếu tập trung vào các vấn đề về tốc độ. Đó là tìm kiếm các kịch bản và giải quyết các điều chỉnh tương thích với EVM.
Tốt hơn là nên bắt đầu với một chậu nước lạnh.
2024 có thể là một năm quan trọng đối với FHE, nhưng Elusiv, bắt đầu vào năm 2022, đã ngừng chạy. Elusiv ban đầu là một giao thức "dark pool" trên Solana và hiện tại cơ sở mã cũng như tài liệu đã bị xóa. .
Cuối cùng, FHE, với tư cách là một phần của các thành phần kỹ thuật, vẫn cần được sử dụng cùng với các công nghệ như MPC/ZKP, và điều chúng tôi cần kiểm tra là FHE có thể thay đổi mô hình hiện tại theo những cách nào của chuỗi khối.
Trước hết, chúng tôi phải thừa nhận rằng sẽ không chính xác nếu chỉ nghĩ rằng FHE sẽ nâng cao quyền riêng tư và do đó có giá trị kinh tế. chuỗi không quan tâm nhiều đến quyền riêng tư. Các công cụ liên quan sẽ được sử dụng khi quyền riêng tư có thể mang lại giá trị kinh tế. Ví dụ: tin tặc sẽ sử dụng Tornado Cash để che giấu số tiền bị đánh cắp, trong khi người dùng thông thường sẽ chỉ sử dụng Uniswap vì sử dụng Tornado Cash sẽ phải chịu thêm thời gian. hoặc chi phí kinh tế.
Bản thân chi phí mã hóa của FHE là một sự tra tấn hơn nữa đối với hiệu quả hoạt động vốn đã yếu kém trên chuỗi. Chỉ khi việc tăng chi phí này mang lại nhiều lợi ích đáng kể hơn thì việc bảo vệ quyền riêng tư mới có giá trị lớn. khả năng xúc tiến quy mô lớn, chẳng hạn như phát hành và giao dịch trái phiếu theo hướng RWA. Ví dụ: vào tháng 6 năm 2023, Bank of China International đã phát hành "Ghi chú có cấu trúc kỹ thuật số Blockchain" cho khách hàng châu Á-Thái Bình Dương tại Hồng Kông thông qua UBS và ở Thụy Sĩ Thông cáo báo chí Yin cho biết rằng nó được thực hiện thông qua Ethereum, nhưng điều kỳ diệu là không thể tìm thấy địa chỉ hợp đồng và địa chỉ phân phối của giao dịch. Nếu ai có thể tìm thấy, vui lòng thêm thông tin liên quan.
Ví dụ này có thể minh họa rõ ràng tầm quan trọng của FHE Đối với khách hàng tổ chức, họ có nhu cầu sử dụng các chuỗi công khai như blockchain, nhưng không phù hợp hoặc muốn tiết lộ mọi thông tin, vì vậy FHE có đặc điểm của ciphertext. hoạt động trưng bày và mua bán trực tiếp phù hợp hơn ZKP.
Đối với các nhà đầu tư bán lẻ cá nhân, FHE vẫn là một cơ sở hạ tầng cơ bản tương đối xa vời, chẳng hạn như chống MEV, giao dịch riêng tư, mạng an toàn hơn, ngăn chặn sự rình mò của bên thứ ba, v.v., nhưng rõ ràng là vậy. Đây không phải là yêu cầu đầu tiên, sử dụng FHE bây giờ quả thực sẽ làm chậm mạng. Nói thẳng ra là thời điểm nhân vật chính của FHE vẫn chưa đến.
Trong phân tích cuối cùng, quyền riêng tư là một nhu cầu tầm thường. Là một dịch vụ công, rất ít người sẵn sàng trả phí bảo mật. Chúng tôi cần tìm cách tiết kiệm chi phí hoặc cải thiện giao dịch bằng cách sử dụng các tính năng có thể tính toán của. Dữ liệu được mã hóa FHE Các kịch bản hiệu quả sẽ tạo ra lực thúc đẩy thị trường tự phát. Ví dụ: có nhiều giải pháp chống MEV. Ví dụ: các nút tập trung thực sự có thể giải quyết được vấn đề đó.
Một vấn đề nữa là vấn đề hiệu quả tính toán. Nhìn bề ngoài, đây là vấn đề kỹ thuật đòi hỏi phải tăng tốc phần cứng hoặc tối ưu hóa thuật toán, nhưng thực chất là không có nhiều nhu cầu trên thị trường và phía dự án. không có động lực để thực hiện các phép tính. Trong phân tích cuối cùng, hiệu quả hoàn toàn là về việc triển khai. Hãy lấy ZK làm ví dụ. Dưới nhu cầu thị trường đang bùng nổ, các tuyến SNARK và STARK cạnh tranh với nhau. ngôn ngữ để tương thích. Sự phát triển của ZK được chín muồi bởi tiền nóng Một ngàn dặm một ngày.
Các kịch bản ứng dụng và triển khai là bước đột phá để FHE trở thành cơ sở hạ tầng blockchain Nếu bước đi này không được thực hiện, FHE sẽ không bao giờ có thể đạt được động lực trong ngành mã hóa và các dự án lớn sẽ có. không còn lựa chọn nào khác ngoài việc đánh trống và tận hưởng trên mảnh đất nhỏ bé của riêng mình.
Từ thực tiễn của Zama và những người bạn của anh ấy, sự đồng thuận là xây dựng một chuỗi mới bên ngoài Ethereum và tích hợp các thành phần và tiêu chuẩn kỹ thuật như ERC-20 Reuse nó tạo thành một sơ đồ mã hóa để FHE L1/L2 liên kết với Ethereum. Ưu điểm của sơ đồ này là nó có thể được thử trước tiên để xây dựng các thành phần cơ bản của FHE. Nhược điểm là nếu bản thân Ethereum không hỗ trợ thuật toán FHE. thì kế hoạch ngoài chuỗi sẽ luôn Bạn sẽ rơi vào một tình huống khá xấu hổ.
Bản thân Zama cũng nhận thức được vấn đề này, ngoài các thư viện lớp liên quan đến FHE nêu trên, họ cũng đã thành lập tổ chức FHE.org và tài trợ cho các hội nghị liên quan, với hy vọng chuyển đổi nhiều kết quả học thuật hơn sang lĩnh vực kỹ thuật. ứng dụng.
Hướng phát triển của Inco Network là "lớp điện toán bảo mật toàn cầu", về cơ bản là mô hình nhà cung cấp dịch vụ gia công máy tính. Nó xây dựng mạng FHE EVM L1 dựa trên Zama. giao thức nhắn tin chuỗi Bằng cách hợp tác với Hyperlane, cơ chế trò chơi trên một chuỗi tương thích EVM khác có thể được triển khai trên Inco. Khi cần tính toán FHE trong khi chạy trò chơi, sức mạnh tính toán của Inco được gọi thông qua Hyperlane và sau đó chỉ kết quả mới được gửi trở lại. chuỗi ban đầu.
Để hiện thực hóa kịch bản mà Inco dự tính, cần phải đáp ứng sự sẵn sàng tin tưởng vào độ tin cậy của Inco của chuỗi tương thích EVM và sức mạnh tính toán của chính Inco phải đủ mạnh để đáp ứng các yêu cầu về tính đồng thời cao và độ trễ thấp của chuỗi games., liệu nó có thực sự hoạt động tốt hay không là một điều khá khó khăn.
Nói cách khác, một số zkVM thực sự có thể đóng vai trò là nhà gia công điện toán của FHE. Ví dụ: RISC Zero đã có khả năng này. Có thể sẽ có nhiều tia lửa hơn trong cuộc xung đột tiếp theo giữa các sản phẩm dòng ZK và FHE. .
Hơn nữa, một số dự án hy vọng sẽ gần gũi hơn với Ethereum một chút, ít nhất là tiến tới trở thành một phần của Ethereum. Inco có thể sử dụng giải pháp Zama để triển khai L1 và Fhenix có thể sử dụng giải pháp Zama để triển khai EVM L2. . , nó vẫn đang được phát triển và có vẻ như nó có nhiều hướng muốn đi theo. Tôi không biết cuối cùng nó sẽ được ra mắt trên sản phẩm nào, có thể nó sẽ là L2 tập trung vào khả năng của FHE.
Ngoài ra, còn có cuộc thi FHERMA được đề cập ở trên. Độc giả là lập trình viên thành thạo trong việc phát triển Ethereum có thể thử sức. Họ có thể giúp triển khai FHE và đồng thời nhận được tiền thưởng.
Ngoài ra, còn có 2 dự án tuyệt vời nữa là Sunscreen và Mind Network chủ yếu do Ravital điều hành. Hướng đi là sử dụng thuật toán BFV để tạo ra giải pháp biên dịch phù hợp với FHE nhưng đã có. đã ở trạng thái thử nghiệm và thử nghiệm trong một thời gian dài, sẽ mất một thời gian trước khi sản phẩm có thể sử dụng được.
Cuối cùng, ý tưởng của Mind Network chủ yếu tập trung vào sự kết hợp giữa FHE và nhiều kịch bản hiện có khác nhau, chẳng hạn như đặt cược lại, nhưng cách triển khai cụ thể sẽ cần thời gian để xác minh.
Cuối cùng, nhớ lại phần đầu của phần này, Elusiv hiện đã được đổi tên thành Arcium, cũng đã nhận được nguồn tài chính mới và chuyển đổi thành giải pháp "FHE song song", nhằm cải thiện FHE từ góc độ hiệu quả thực thi .
Bài viết này tưởng chừng như đang nói về lý thuyết và thực tiễn của FHE nhưng ẩn ý là làm rõ lịch sử phát triển của bản thân công nghệ mã hóa, nó không hoàn toàn tương đương với Công nghệ được sử dụng trong tiền điện tử ZKP và FHE có nhiều điểm tương đồng. Một trong số đó là cả hai đều cam kết duy trì thiết kế quyền riêng tư trong khi vẫn duy trì tính chất công khai của blockchain, trong khi giải pháp quyền riêng tư ZKP hướng tới việc giảm chi phí kinh tế khi tương tác giữa chúng. L2 <> Và FHE vẫn đang tìm kiếm kịch bản tốt nhất.
Con đường còn dài, FHE vẫn đang khám phá. Nó có thể được chia thành ba loại tùy theo mức độ kết nối với Ethereum:
Loại 1: Vương quốc độc lập, giao tiếp với Ether. Được đại diện bởi mạng Zama/Fhenix/Inco, nó chủ yếu cung cấp phần mềm phát triển cơ bản và khuyến khích FHE L1/L2 tự xây dựng, phù hợp với các khu vực thích hợp nhất định;
Loại 2 : Cắm nó vào và tích hợp vào ether. Được đại diện bởi Fair Math/Mind Network, mặc dù nó vẫn giữ được mức độ độc lập nhất định nhưng ý tưởng tổng thể là đạt được sự tích hợp sâu hơn với Ethereum.
Loại 3: Đặt lịch hẹn để chuyển hóa ether. Nếu Ethereum thực sự không thể hỗ trợ chức năng FHE, thì nó cần được khám phá ở lớp hợp đồng để phân phối chức năng FHE cho các chuỗi tương thích EVM khác nhau. Hiện tại, không có giải pháp nào đáp ứng đầy đủ tiêu chuẩn này.
Không giống như ZK, nơi việc đăng liên kết chỉ bằng một cú nhấp chuột và khả năng tăng tốc phần cứng không thực tế cho đến tận quá trình phát triển sau này, FHE đứng trên vai những gã khổng lồ ZK. để gửi một liên kết FHE Điều đơn giản nhất, nhưng làm thế nào để giao tiếp giữa chính nó và Ethereum mới là khó khăn nhất.
Suy ngẫm về bản thân ba lần một ngày và tìm kiếm tọa độ tương lai của FHE trong thế giới blockchain:
Cái gì các tình huống cần thiết Mã hóa mà không sử dụng văn bản rõ ràng?
Trường hợp nào yêu cầu mã hóa FHE nhưng không thể sử dụng các phương pháp mã hóa khác?
Trong trường hợp nào người dùng cảm thấy hài lòng khi sử dụng mã hóa FHE và sẵn sàng trả nhiều tiền hơn?
Còn tiếp, tôi sẽ tiếp tục chú ý đến FHE!
Zk-SNARK và zk-STARK là gì? Cả hai đều là bằng chứng không có kiến thức, nhưng chúng có đặc tính gì và so sánh với nhau như thế nào.
JinseFinanceNếu bạn là một nhà đầu tư, rất có thể bạn đã đầu tư vào dự án zk Lớp 2 trong hệ sinh thái Ethereum vài năm trước. Năm nay, nhiều dự án zk đã phát hành tiền trên mạng chính và nhiều cô con dâu xấu xí cuối cùng cũng đã phát hành. đã gặp bố mẹ chồng.
JinseFinanceGần đây, Citrea, tuyên bố là dự án Bitcoin Lớp 2 đầu tiên áp dụng giải pháp ZK-Rollup, đã nhận được câu hỏi từ cộng đồng khi sắp ra mắt testnet của mình.
JinseFinanceZK Stack, ZK dành riêng cho VS đa năng: Cái nào là tương lai? Ranh giới giữa ZK chuyên dụng và mục đích chung đang trở nên mờ nhạt.
JinseFinanceYona là lớp 2 (cuộn lên) được hỗ trợ bởi SVM trên Bitcoin.
JinseFinancePhần mở rộng lớp thứ hai của Ethereum (ZK-Rollup) dựa trên bằng chứng không có kiến thức luôn là một nhóm có nhiều hy vọng vào hệ sinh thái Ethereum. Về lý thuyết, nó có thể giải quyết các vấn đề về hiệu quả và an toàn một cách tương đối cân bằng.
JinseFinanceTính mô đun và bằng chứng không có kiến thức là hai xu hướng chính thúc đẩy sự phát triển của công nghệ blockchain.
JinseFinanceKhông chỉ trong lĩnh vực tiền điện tử mà các lĩnh vực truyền thống khác cũng xảy ra vô số trường hợp lừa dối nhà đầu tư thông qua gian lận kế toán.
JinseFinanceBài viết này sẽ khám phá tác động tiềm tàng của phán quyết SBF đối với những người chơi chủ chốt khác trong ngành, làm sáng tỏ bối cảnh đang thay đổi của vai trò lãnh đạo tiền điện tử.
JinseFinanceZK-rollup đã đạt được sức hút trên Ethereum. Công nghệ này cũng có thể được áp dụng cho Bitcoin không?
The Crypto Illuminati