我看好 RISC-V 和 LLVM 長期用於可驗證計算(又名“零知識證明/ZKP”),因為我認為大多數人大大低估了消除所有健全性錯誤的難度,並且大大低估了即使是一個這樣的錯誤的災難性後果。 ⤵️
18.41K