Infrastruktur zkVM & Zero-Knowledge Tersuai
Kerja Kejuruteraan TerpilihKerja kejuruteraan terpilih yang disahkan untuk pengiraan boleh sah, pelaksanaan yang memelihara privasi dan infrastruktur zkVM berasaskan Rust.
Konteks
Skop merangkumi mesin maya asli ZK, jejak pelaksanaan, kekangan AIR, bukti STARK berasaskan Plonky3 dan komponen sistem teragih.
Masalah atau objektif
Membangunkan infrastruktur pengiraan boleh sah dan pelaksanaan memelihara privasi dengan sempadan input awam, keadaan, transaksi dan pengesahan yang jelas.
Skop yang disampaikan
- Pengiraan boleh sah berasaskan Rust
- Pelaksanaan memelihara privasi
- Mesin maya asli ZK
- Seni bina set arahan
- Jejak pelaksanaan
- Kekangan AIR
- Bukti STARK berasaskan Plonky3
- Pengikatan input awam
- Mekanisme pengesahan berfokus ketepatan
- Mesin keadaan deterministik
- Bukti Merkle
- Komit dan undur balik transaksi
- RPC
- libp2p
- GossipSub
- Pendekatan storan keadaan
Domain kejuruteraan
- Rust
- Pengiraan boleh sah
- Infrastruktur zero-knowledge
- Sistem teragih
- Reka bentuk keadaan dan transaksi
Output wakil
- Infrastruktur mesin maya asli ZK
- Jejak pelaksanaan dan kekangan AIR
- Pengikatan input awam serta mekanisme pengesahan
- Komponen keadaan dan rangkaian teragih
Yang ditunjukkan
- Kejuruteraan pengiraan boleh sah
- Reka bentuk pelaksanaan memelihara privasi
- Kerja sistem teragih dan mesin keadaan
Skop dan pendedahan
Ringkasan ini terhad kepada inventori kejuruteraan yang disahkan dan tidak mendakwa jaminan, sifat sejagat, hasil prestasi atau penerimaan.
Kekalkan butiran pelaksanaan dalam inventori infrastruktur yang disahkan dan jangan tambah dakwaan protokol atau penggunaan yang tidak dinyatakan.
Perkhidmatan BilgeQor berkaitan
Bincangkan skop kejuruteraan berkaitan
Gunakan kes ini sebagai konteks dan jelaskan sistem, sempadan atau soalan penyampaian yang perlu disemak.
Minta skop untuk kes iniKembali ke kes Kejuruteraan