Mars Finance melaporkan bahawa EthSystems, sebuah agensi teknologi privasi institusi Ethereum, mengumumkan bahawa kolam privasi (shielded pool) mereka telah berjaya menjalani pengesahan formal, merangkumi dari spesifikasi tertulis hingga bytecode yang berjalan di jaringan ujian Sepolia. Pengesahan dilakukan secara lapisan menggunakan alat yang berbeza: model, sirkuit, dan hash menggunakan Lean, kontrak menggunakan Halmos dan Kontrol, dompet menggunakan Aeneas dan Verus, serta pengesah dan pelaksanaan melalui pengesahan semula bit demi bit. Masalah double-spend dan kekekalan nilai telah disahkan oleh mesin teorem Lean. Enam isu telah ditemui semasa pengesahan, di mana tiga daripadanya berpunca daripada alat pengesahan itu sendiri. Pasukan juga menyenaraikan andaian yang masih bergantung: hash tanpa perlanggaran, pengesah akan menolak bukti palsu, dan perilaku kontrak sejajar dengan model.
EthSystems Menyelesaikan Pengesahan Formal untuk Privacy Pool
MarsBitKongsi
Ringkasan
EthSystems, sebuah syarikat teknologi privasi Ethereum, telah menyelesaikan pengesahan formal terhadap kolam privasinya, mencakup spesifikasi hingga bytecode di rangkaian percubaan Sepolia. Proses ini menggunakan pelbagai alat di pelbagai lapisan: model, sirkuit, dan hash dengan Lean; kontrak dengan Halmos dan Kontrol; dompet dengan Aeneas dan Verus; serta validator melalui pemeriksaan byte-per-byte. Mesin teorem Lean mengesahkan penggunaan ganda dan pemeliharaan nilai. Enam isu telah ditemui, tiga di kalangan alat-alat tersebut. Anggapan yang tinggal termasuk ketahanan perlanggaran hash dan konsistensi kontrak dengan model. Usaha ini selari dengan perbincangan berterusan antara model keselamatan Proof of Work (PoW) dan Proof of Stake (PoS).
Sumber:Tunjukkan artikel asal
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini.
Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.