Bộ công cụ zk mô-đun mới! ⚡ Sử dụng nó để tạo zkps từ các chứng thực offchain. Quy trình: - Ký/sử dụng chứng thực offchain - Tạo bằng chứng với SP1 - Xác minh với WASM - Chứng thực kết quả xác minh trên chuỗi (tùy chọn) Cảm ơn đặc biệt đến @shivansheth & @whoisgautxm (zkAttestify) vì đã đóng góp điều này và đến @SuccinctLabs vì sự hỗ trợ!

Dưới đây là quy trình: 1) Ký/cung cấp một chứng thực offchain hợp lệ - Chứng thực có cấu trúc được tạo ra bằng EAS - Được ký với EIP712 - Dữ liệu vẫn ở ngoài chuỗi và riêng tư. - Chữ ký có thể xác minh. 2) Tạo ZK Proof (SP1) - Sử dụng SP1 zkvm để phân tích cấu trúc EAS - Xác thực tính chính xác của chữ ký và logic (được mã hóa cứng cho bản demo) - Chương trình SP1 tạo ra các chứng minh Groth16 hoặc Plonk - Đầu ra bao gồm tệp chứng minh + đầu vào công khai Các chương trình dob-program và dob-scripts trong repo xử lý logic. 3) Xác minh trong WASM (Trình duyệt hoặc Node) - Tải trình xác minh đã biên dịch - Cung cấp chứng minh + đầu vào công khai - Tập lệnh JS chạy xác minh chứng minh và kiểm tra logic 4) Tùy chọn: Chứng thực kết quả xác minh trên chuỗi - Gửi chứng minh zk đến hợp đồng xác minh solidity (trình xác minh groth16) - Nếu thành công, gọi EAS để phát hành một chứng thực trên chuỗi mới - Sơ đồ và dữ liệu có thể tùy chỉnh (isOver18 = true) - Giúp bạn kiểm soát việc hết hạn/rút lại/tính khả thi - Không có liên kết đến chứng thực offchain gốc Ghi chú - quy trình này giả định bạn tin tưởng người chứng thực của chứng thực offchain. - việc tạo ra chứng minh groth16/plonk là chậm. Sử dụng Mạng Trình Chứng Minh Ngắn Gọn để cải thiện hiệu suất.

Hướng dẫn/demo này sẽ hướng dẫn bạn cách nó hoạt động trong 15 phút. Nó sử dụng một ví dụ đơn giản về chứng minh độ tuổi. Bộ công cụ này có tính mô-đun, vì vậy với một vài điều chỉnh, bạn có thể thay thế nó bằng các sơ đồ / logic mạch của riêng bạn sau này.

Truy cập Github

Bạn muốn xem một video từ đội ngũ ZKAttestify thay vì không?

Bạn muốn tùy chỉnh quy trình? Dưới đây là những gì cần điều chỉnh: - Trong `dob-program/src/main.rs` – thay đổi logic (ví dụ, `degree == "CS"`) - Trong `dob-script/input.json` – thay đổi dữ liệu và sơ đồ chứng thực - Trong `WASM_verifier/` – xác minh bất kỳ chứng cứ nào với cùng cấu trúc

Dự án này là một triển khai tham khảo. Nó có tính mô-đun, mã nguồn mở và sẵn sàng để phân nhánh. Hãy giúp chúng tôi mở rộng hỗ trợ cho nhiều sơ đồ, người xác minh và trường hợp sử dụng hơn. Chúng tôi đang tích cực tìm kiếm những người đóng góp và xây dựng muốn đưa kho lưu trữ này lên một tầm cao mới. Hãy liên hệ với chúng tôi! 🫡