Giải pháp zkWASM rất thanh lịch.
Các nhà phát triển có thể sử dụng các ngôn ngữ chính như Rust, C, C++, AssemblyScript để viết mã, sau đó biên dịch thành định dạng WASM và tự động tạo ra bằng chứng không có kiến thức. Các tác vụ tính toán nặng được thực hiện ngoài chuỗi, chỉ nộp bằng chứng nhẹ lên chuỗi để xác thực, làm giảm chi phí xuống vài bậc. Cùng một mô-đun WASM có thể thực hiện hiệu quả ngoài chuỗi và cũng có thể thông qua ZK.
Xem bản gốc