Toolkit zk modular baru! ⚡ Gunakan untuk menghasilkan zkps dari pengesahan offchain. Aliran: - Menandatangani/menggunakan pengesahan offchain - Hasilkan bukti dengan SP1 - Verifikasi dengan WASM - Membuktikan hasil verifikasi onchain (opsional) Terima kasih khusus kepada @shivansheth & @whoisgautxm (zkAttestify) karena telah berkontribusi dalam hal ini dan kepada @SuccinctLabs untuk dukungan!

Berikut alurnya: 1) Menandatangani/memberikan pengesahan offfchain yang valid - Pengesahan terstruktur dibuat menggunakan EAS - Ditandatangani dengan EIP712 - Data tetap offchain dan pribadi. - Tanda tangan dapat diverifikasi. 2) Hasilkan Bukti ZK (SP1) - Gunakan SP1 zkvm untuk mengurai struktur EAS - Memvalidasi kebenaran dan logika tanda tangan (hardcode untuk demo) - Program SP1 menghasilkan bukti Groth16 atau Plonk - Output termasuk file bukti + input publik Dob-program dan dob-scripts repo menangani logika. 3) Verifikasi di WASM (Browser atau Node) - Muat verifikator yang dikompilasi - Memberikan bukti + masukan publik - Skrip JS menjalankan verifikasi bukti dan memeriksa logika 4) Opsional: Membuktikan hasil verifikasi onchain - Kirimkan bukti zk ke kontrak validity verifier (groth16 verifier) - Jika berhasil, hubungi EAS untuk menerbitkan pengesahan onchain baru - Skema dan data dapat disesuaikan (isOver18 = true) - Memberi Anda kontrol atas kedaluwarsa/pencabutan/composability - Tidak ada tautan ke pengesahan offchain asli Catatan - Alur ini mengasumsikan Anda mempercayai attester pengesahan offchain. - Menghasilkan bukti Groth16/Plonk lambat. Gunakan Jaringan Penyediaan Ringkas untuk meningkatkan efisiensi.

Tutorial/demo ini akan memandu Anda melalui cara kerjanya dalam 15 menit. Ini menggunakan contoh bukti usia sederhana. Toolkit ini modular sehingga dengan beberapa penyesuaian Anda dapat menukarnya dengan skema / logika sirkuit Anda sendiri nanti.

Kunjungi Github

Ingin menonton video dari tim ZKAttestify?

Ingin menyesuaikan alur? Inilah yang harus diubah: - Dalam 'dob-program/src/main.rs' – ubah logika (misalnya, 'degree == "CS"') - Dalam 'dob-script/input.json' – ubah data dan skema pengesahan - Dalam 'WASM_verifier/' – verifikasi bukti apa pun dengan struktur yang sama

Proyek ini merupakan implementasi referensi. Ini modular, open source, dan siap untuk fork. Bantu kami memperluas dukungan untuk lebih banyak skema, pemverifikasi, dan kasus penggunaan. Kami secara aktif mencari kontributor dan pembuat yang ingin membawa repositori ini ke tingkat berikutnya. Menggapai! 🫡