Hạ tầng zkVM & Zero-Knowledge tùy chỉnh

Công việc Kỹ thuật Được Chọn

Công việc kỹ thuật chọn lọc đã được xác minh cho tính toán có thể kiểm chứng dựa trên Rust, thực thi bảo toàn quyền riêng tư và hạ tầng zkVM.

Bối cảnh

Phạm vi bao gồm máy ảo ZK gốc, execution trace, ràng buộc AIR, bằng chứng STARK dựa trên Plonky3 và các thành phần hệ thống phân tán.

Vấn đề hoặc mục tiêu

Phát triển hạ tầng tính toán có thể kiểm chứng và thực thi bảo toàn quyền riêng tư với ranh giới rõ ràng cho public input, trạng thái, giao dịch và xác thực.

Phạm vi đã thực hiện

Tính toán có thể kiểm chứng dựa trên Rust
Thực thi bảo toàn quyền riêng tư
Máy ảo ZK gốc
Kiến trúc instruction set
Execution trace
Ràng buộc AIR
Bằng chứng STARK dựa trên Plonky3
Liên kết public input
Cơ chế xác thực tập trung vào soundness
Máy trạng thái xác định
Bằng chứng Merkle
Commit và rollback giao dịch
RPC
libp2p
GossipSub
Phương pháp lưu trữ trạng thái

Lĩnh vực kỹ thuật

Rust
Tính toán có thể kiểm chứng
Hạ tầng zero-knowledge
Hệ thống phân tán
Thiết kế trạng thái và giao dịch

Đầu ra tiêu biểu

Hạ tầng máy ảo ZK gốc
Execution trace và ràng buộc AIR
Liên kết public input cùng cơ chế xác thực
Các thành phần trạng thái và mạng phân tán

Điều công việc này thể hiện

Kỹ thuật tính toán có thể kiểm chứng
Thiết kế thực thi bảo toàn quyền riêng tư
Công việc hệ thống phân tán và máy trạng thái

Phạm vi và công bố

Tóm tắt này giới hạn ở danh mục kỹ thuật đã được xác minh và không tuyên bố bảo đảm, thuộc tính phổ quát, kết quả hiệu năng hoặc mức độ tiếp nhận.

Giữ chi tiết triển khai trong danh mục hạ tầng đã được xác minh và không thêm các tuyên bố về giao thức hoặc triển khai chưa được nêu.

Dịch vụ BilgeQor liên quan

Trao đổi về phạm vi kỹ thuật liên quan

Dùng tình huống này làm bối cảnh và cho biết hệ thống, ranh giới hoặc câu hỏi triển khai cần được xem xét.

Yêu cầu phạm vi cho tình huống này Quay lại các tình huống kỹ thuật