Bangkok Devcon Insights: ZK bắt đầu câu chuyện "Chứng minh mọi điều"

Tác giả gốc: Haotian, nhà nghiên cứu mã hóa

Trong hai ngày qua, tôi đã tham gia vào các Hội nghị Chứng minh chung như @eigenlayer \altlayer, Provable, @ProjectZKM và @RiscZero do @GOATRollup và những người khác khởi xướng, và ZK Accelerate, v.v. Có rất nhiều hoạt động và không thể nào tham dự hết được. Nhưng tất cả những gì tôi làm là đến "sân ZK". Sau khi chạy một vòng, tôi cảm thấy như bị đầu độc bởi ZK. Nó rất gây nghiện.

Mơ lại khoảnh khắc ico: Trên chuỗi mọi thứ——>Chứng minh mọi thứ

Tôi nhớ 2017 Trong đợt ICO 2018 đã diễn ra khung cảnh thịnh vượng khi “tất cả các ngành đều có thể đưa vào chuỗi”, như: dữ liệu ca bệnh y tế được đưa vào chuỗi, chuỗi truy xuất nguồn gốc nông sản từ trồng trọt đến bàn ăn, thượng nguồn và hạ nguồn tài trợ giao dịch của chuỗi cung ứng được đưa vào chuỗi, v.v. Mặc dù sau này hóa ra không phải tất cả các kịch bản đều có thể được triển khai trên chuỗi và không phải tất cả các kịch bản đều yêu cầu nó. Tuy nhiên, mô hình tường thuật của Onchain Anything đã khiến thị trường tăng trưởng kéo dài 17 năm trở nên thịnh vượng.

Những sự kiện đặc biệt lớn của ZK này cũng có cảm giác tương tự, ZK đang khởi đầu một câu chuyện vĩ đại về "Chứng minh bất cứ điều gì".

Giá trị thực sự của ZK nằm ở sự tách biệt giữa tính toán ngoài chuỗi và xác minh trên chuỗi. Chỉ bằng cách cho phép tính toán ngoài chuỗi có thể tối đa hóa hiệu suất tính toán. -chi phí lưu trữ và thực thi chuỗi được giảm đến mức tối thiểu, ZK Tech đóng vai trò là "cầu nối đáng tin cậy" để kết nối mọi thứ.

Nhìn lại hai chu kỳ vừa qua, cả hai đều có xu hướng kể câu chuyện về "on-chain". Rollup layer2 chỉ là phần nổi của tảng băng trôi. giá trị của ZK. Sau sự bùng nổ của ZK, sẽ không còn sự phân chia giữa trên chuỗi và ngoài chuỗi. Từ giờ trở đi, sẽ chỉ có một mô hình mới về "điện toán có thể kiểm chứng".

Đồng thời, hoạt động khám phá đổi mới của Prove Anything cũng đang âm thầm bắt đầu, bao gồm các trò chơi điện toán có thể xác minh, xác minh danh tính, DeFi/RWA, giao dịch quyền riêng tư, quản trị biểu quyết và xác minh mô hình AI, chứng nhận đáng tin cậy của thiết bị Internet of Things, đảm bảo quyền riêng tư của chuỗi cung ứng cấp doanh nghiệp và các tình huống ứng dụng khác liên quan đến cả ngoài chuỗi và trên chuỗi, sẽ được đề cập.

Hệ thống đồng thuận kinh tế AVS rất quan trọng đối với ZK

Tôi đã thấy nó tại Hội nghị thượng đỉnh Proof cuộc họp Có nhiều dự án mới, chẳng hạn như: @alt_layer đang phát triển hệ thống chứng minh VITAL ZK để cung cấp khả năng chứng minh ZK cho OP-Rollup; @alignedlayer tập trung vào việc tạo bằng chứng ZK quy mô lớn và khám phá khả năng tích hợp hiệu quả với OP Stack; @OpacityNetwork khám phá quyền riêng tư dữ liệu và cơ sở hạ tầng chia sẻ an toàn dựa trên VDN, zkTLS, MPC, v.v.; @lagrangedevProver Network thiết lập lớp dịch vụ chứng nhận chuyên dụng giữa L1 và L2 để cung cấp cơ sở hạ tầng chứng nhận được chia sẻ thống nhất cho các chứng chỉ ZK khác nhau.

Trước đây tôi đã phân tích rằng Eigenlayer và mô hình dịch vụ AVS của nó đại diện cho tương lai của Ethereum. Chỉ mong chờ thôi. Tại địa điểm này, tôi đã được xác minh rằng việc cải tiến OP Fraud Proof của Altlayer cần phải dựa trên AVS và sự đồng thuận của lớp dịch vụ bằng chứng thống nhất của Lagrange cần phải dựa vào AVS.

Sự “đồng thuận bảo mật” do AVS cung cấp có thể được thương mại hóa và đóng gói sẽ giúp ZK nhanh chóng xây dựng một số mạng dịch vụ giao thức phần mềm trung gian và giúp hàng loạt mạng lưới dịch vụ giao thức phần mềm trung gian đang phát triển nhanh chóng. ZK Cơ sở hạ tầng được kết nối với môi trường VM thuần túy trên chuỗi hiện có.

Không cần phải nói, mọi người cũng có thể cảm thấy rằng có quá nhiều lực lượng ZK đang gia tăng hoạt động ở thượng nguồn và hạ nguồn của hệ thống dịch vụ xác minh hoạt động AVS do Eigenlayer khởi xướng. có vẻ như những ngày đầu, nhưng hãy để đạn bay một lúc.

Môi trường thực thi có thể kiểm chứng của TEE mang lại cho ZK đôi cánh

Đây là về TEE Salon Nó kéo dài tất cả ngày hôm nay và tôi không có thời gian để nghe hết, nhưng thật bất ngờ, sự kiện lại diễn ra tại văn phòng tuyệt vời của Google ở Bangkok. Tôi thực sự hào hứng khi tham gia sự kiện này.

Dòng sản phẩm điện toán đám mây Confidential Computing của Google, công nghệ SGX, TDX của Intel Tôi thực sự muốn tìm một điểm vào phù hợp trong câu chuyện mới của TEE Logic rất đơn giản nếu bạn nhìn vào mối quan hệ không rõ ràng giữa Alibaba Cloud, Huawei Cloud và Tencent Cloud đối với blockchain.

Theo quan điểm của tôi, ZK+TEE là người bảo vệ kỷ nguyên điện toán có thể kiểm chứng. ZK chịu trách nhiệm về việc truyền tải thông tin xác minh và chứng minh tính toán, đồng thời TEE cung cấp một giải pháp đáng tin cậy. môi trường thực thi và bảo mật dữ liệu.

Ví dụ: dark pool của Aztec, chip đổi mới phần cứng VPU do Fabric xây dựng, v.v., ngày càng có nhiều dự án tích hợp ZK và TEE cũng như các dự án khác MPC, thuật toán mã hóa của FHE được sử dụng để đẩy nhanh sự xuất hiện của một mô hình điện toán mới có thể kiểm chứng được. Mặc dù TEE vẫn có cảm giác quá truyền thống khi ZK trở nên phổ biến, TEE. Tôi chắc chắn sẽ giúp một tay;

zkVM cung cấp cơ sở hạ tầng lớn để phổ biến ZK Tech

Hãy đến với zkHUB Các sự kiện đặc biệt, ZKM, RiscZERO, Cysic, Mina, Goat Network, Succinct, v.v. đều bị ZK lấn át Dự án hơi khó hiểu, tôi không có ý "quá nhiều" khi nói khó hiểu, nhưng mức độ và chiều sâu của các giải pháp thượng nguồn và hạ nguồn của nó thật ngoạn mục.

Nhiều người có thể đã biết máy ảo Risc-V đang làm gì từ bài viết Some của @VitalikButerin đổi mới, ở đây tôi đã thấy các kỹ sư từ @ProjectZKM giải thích một cách có hệ thống về zkMIPS, một zkVM phổ quát có thể đơn giản hóa quy trình phát triển ZK. Nó giúp giảm thời gian và độ phức tạp của việc phát triển các mạch ZK tùy chỉnh và cung cấp tiêu chuẩn hóa cho nền tảng ứng dụng ZK.

Khác với kiến trúc bộ xử lý thiên về phần cứng hơn của Risc-V, zkMIPS, một tập hợp con lệnh được sắp xếp hợp lý, hướng đến phần mềm, có thể tối ưu hóa đáng kể việc tạo ra không có kiến thức tình huống cần chứng minh.

zkVM rất phổ biến trong bối cảnh tường thuật mô-đun. Nhiều người biết rằng zkVM có triển vọng hơn zkEVM. Logic cốt lõi của nó là ZK chắc chắn sẽ thoát khỏi. nó trong tương lai. Mô hình kết nối trên chuỗi thuần túy ban đầu.

Do đó, zkVM có thể kết nối tất cả các AltVM, cho phép Ethereum, Bitcoin, v.v. trở thành lớp thanh toán thống nhất cho toàn bộ môi trường chuỗi và có thể xây dựng một chéo thống nhất -Cấu trúc kỹ thuật thực sự quan trọng.

Tôi tin rằng ở phần cuối của câu chuyện Tương thích với EVM, zkVM mới sẽ phát hành một cơ sở hạ tầng lớn về điện toán có thể kiểm chứng được để kết nối mọi thứ, đây sẽ là một quá trình tiếp tục điểm nóng trong nhiều năm tới.

Trên.

Cuối cùng, hãy kết thúc bằng câu nói của RiscZERO VP. Ông nói rằng blockchain mà chúng ta đang sử dụng đang phát triển từ “Kỷ nguyên máy chủ” đã bước vào một “Kỷ nguyên đám mây” mới. ".

Đặt câu này vào môi trường phát triển blockchain hiện tại đang được chia nhỏ và xây dựng lại như "mô-đun hóa, trừu tượng hóa chuỗi, zkVM", và bạn chắc chắn sẽ hiểu Có có điều gì đó rực rỡ và kêu la đằng sau câu nói này.

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia