➥ Lớp GPU cho Blockchain - ZK Coprocessors Blockchain di chuyển giá trị, không phải tính toán. Khi các hợp đồng chạy logic phức tạp hoặc truy vấn dữ liệu, chúng gặp phải bức tường gas. ZK Coprocessors khắc phục điều đó. Chúng hoạt động như lớp GPU cho blockchain, thực hiện tính toán ngoài chuỗi và chứng minh kết quả trên chuỗi. Để tôi giải thích trong 30 giây 🧵 — — — ► ZK Coprocessors là gì? ZK Coprocessors là các lớp tính toán ngoài chuỗi cho phép hợp đồng thông minh xử lý logic phức tạp mà không gặp phải vấn đề gas cao hoặc tin cậy. Chúng thực hiện các tác vụ ngoài chuỗi, tạo ra các chứng minh không biết và cho phép chuỗi xác minh chúng một cách rẻ tiền. Nói ngắn gọn, chúng mở rộng khả năng tính toán trong khi vẫn giữ được tính xác minh. Các tính năng chính: ➤ Thực hiện ngoài chuỗi: Chạy các khối lượng công việc nặng như truy vấn dữ liệu hoặc suy diễn AI. ➤ Chứng minh tính chính xác: Mỗi kết quả bao gồm một chứng minh ZK được xác minh trên chuỗi. ➤ Không trạng thái và không phụ thuộc vào chuỗi: Hoạt động trên các L1, L2 và rollup. ➤ Hiệu quả về chi phí: Giảm gas và độ trễ. — ► ZK Coprocessors phù hợp ở đâu ZK Coprocessors không phải là rollup hay oracle; chúng bổ sung cho chúng. Chúng ngồi bên cạnh blockchain như một lớp tính toán xác minh công việc mà không làm tăng tắc nghẽn. Cách chúng khác nhau: ➤ Rollups: Mở rộng giao dịch và giữ trạng thái. Coprocessors mở rộng tính toán và giữ không trạng thái. ➤ Oracles: Cung cấp dữ liệu mà không có chứng minh. Coprocessors trả về dữ liệu kèm theo chứng minh. ➤ TEEs: Dựa vào phần cứng đáng tin cậy. Coprocessors xác minh thông qua toán học, không phải máy móc. Cùng nhau, chúng mở rộng ngăn xếp mô-đun, rollups di chuyển dữ liệu, oracles lấy dữ liệu, coprocessors chứng minh dữ liệu. — ► Cách ZK Coprocessors hoạt động Quy trình làm việc: Hợp đồng thông minh → ZK Coprocessor → Tạo chứng minh → Xác minh trên chuỗi Bước từng bước: ➤ Hợp đồng thông minh: Gửi yêu cầu cho một tác vụ nặng như lấy dữ liệu hoặc chạy một mô hình AI. ➤ ZK Coprocessor: Thực hiện tính toán ngoài chuỗi để tránh gas và độ trễ. ➤ Tạo chứng minh: Tạo ra một chứng minh ZK rằng tính toán là chính xác. ➤ Xác minh trên chuỗi: Hợp đồng xác minh chứng minh và cập nhật kết quả. — ► Các dự án ZK Coprocessor hàng đầu ➤ Lagrange ( @LagrangeDev ) Cung cấp một ZK coprocessor dựa trên SQL với các ủy ban khách hàng nhẹ cho các truy vấn chuỗi chéo có độ hoàn tất nhanh. Được sử dụng bởi @eigenlayer, @Mantle_Official, và @base cho khả năng tương tác có thể xác minh. ➤ Space and Time ( @SpaceandTimeDB ) Cung cấp một coprocessor Proof-of-SQL cho phép các truy vấn có thể xác minh trên dữ liệu trên chuỗi và ngoài chuỗi. Được sử dụng bởi @chainlink và các đối tác doanh nghiệp cho phân tích có thể mở rộng và nguồn cấp dữ liệu oracle. ➤ RISC Zero ( @RiscZero ) Cung cấp một zkVM RISC-V với dịch vụ chứng minh Bonsai cho tính toán có thể xác minh đa mục đích. Được sử dụng bởi @citrea_xyz và @PhalaNetwork cho các chứng minh thực thi đáng tin cậy. ➤ Brevis ( @brevis_zk ) Cung cấp một ZK coprocessor có thể lập trình cho các truy vấn chuỗi chéo và dữ liệu chuỗi chéo không cần tin cậy. Được sử dụng bởi @Uniswap V4 Hooks và @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Cung cấp một khung zkML chuyển đổi các mô hình AI thành dạng có thể xác minh không biết. Được sử dụng bởi các dự án AI dựa trên @Starknet cho phát hiện gian lận và quản lý tài sản. ➤ =nil; Foundation ( @nil_foundation ) Cung cấp trình biên dịch zkLLVM và Thị trường Chứng minh để chuyển đổi mã tiêu chuẩn thành các mạch có thể chứng minh. Được sử dụng bởi các cầu nối, rollups và các giao thức tài chính cho việc tạo chứng minh. ➤ Boundless ( @BoundlessXYZ ) Cung cấp các ZK coprocessors có thể lập trình cho việc truy cập trạng thái lịch sử và tính toán chuỗi chéo. Được sử dụng bởi các rollups đối tác cho việc lập chỉ mục dữ liệu và cơ chế khuyến khích. ➤ Succinct ( @SuccinctLabs ) Cung cấp zkVM SP1 và một mạng chứng minh phi tập trung cho các chứng minh tính hợp lệ. Được sử dụng bởi @Mantle_Official để thay thế các chứng minh gian lận và giảm thời gian rút tiền từ bảy ngày xuống còn sáu giờ. ➤ Axiom ( @axiom_xyz ) Cung cấp một API chứng minh và OpenVM để truy vấn dữ liệu lịch sử của @ethereum ngoài chuỗi và xác minh nó trên chuỗi. Được sử dụng bởi @Scroll_ZKP để hoàn tất các khối và giảm độ trễ rút tiền. — ► Rủi ro và Thương lượng ➤ Chi phí chứng minh cao: Các chứng minh cần phần cứng mạnh và tính toán lâu. ➤ Phát triển phức tạp: Cần có chuyên môn về mật mã và các công cụ chuyên biệt. ➤ Rủi ro tập trung: Các mạng chứng minh ban đầu phụ thuộc vào một vài nút. ➤ Chu kỳ phần cứng nhanh: Phần cứng phát triển nhanh, làm cho các thiết lập trở nên tốn kém và ngắn hạn. — ► Kết luận ZK Coprocessors loại bỏ nút thắt lớn nhất của blockchain — tính toán. Chúng biến logic chậm, tốn kém thành thực thi có thể mở rộng và xác minh cho các hợp đồng thông minh phức tạp. Khi phần cứng cải thiện và các mạng chứng minh phi tập trung, chi phí chứng minh sẽ giảm và hiệu suất sẽ tăng. Các nhà phát triển trong DeFi, rollups, AI và hệ thống ý định đang sử dụng chúng để mang lại tính toán có thể xác minh cho các blockchain mô-đun.

Đã gắn thẻ những người bạn của tôi, những người định hình lại câu chuyện và nâng cao cuộc trò chuyện. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Tuyên bố từ chối trách nhiệm