🧵 Selama beberapa bulan terakhir, kami telah menerbitkan berbagai posting blog yang mengeksplorasi tantangan teknis dan ide yang membentuk bukti tanpa pengetahuan, kriptografi, dan keamanan. Utas ini mengumpulkan yang terbaru, mulai dari menemukan bug menggunakan AI hingga SNARK 👇 pasca-kuantum
Kami baru-baru ini menemukan masalah kesehatan yang halus namun penting di Halo2, yang kami beri nama bug tabrakan kueri. Ini memengaruhi sirkuit edge-case tertentu dan hadir dalam versi yang banyak digunakan, termasuk implementasi Zcash utama dan garpu PSE. 👇🏼
Dalam Sesi 05 Bukti ada di Puding, @cryptodavidw menyelam ke dalam:
+ TEE dan komputasi rahasia
+ Mengapa TEE aman (dan mengapa tidak)
+ Enkripsi memori, pengukuran, dan firmware
STEMPEL WAKTU
0:00 Pengantar
0:25 Komputasi rahasia
12:55 Vektor keamanan dan serangan TEE
25:08 Akar kepercayaan
27:51 TXT, SGX, VMX, dan enkripsi memori
35:55 Pengukuran dan firmware