SuperNova是一種新的遞歸證明系統，用於在具有特定指令集的有狀態機器上逐步生成程序正確執行的簡潔證明。

這些似乎都是很棒的功能。本文將主要解讀這些功能是如何實現的。

內容

1. 什麼是折疊？
2. 用 R1CS 表示計算
3. Nova：單個指令的 NIVC
4. SuperNova：用於多指令的 NIVC（ZKVM）
5. 與其他遞歸不同

本文詳細內容請查看《Sin7y 技術評論》（34）：SuperNova 的折疊方案是 ZK 的終局嗎？

如果您對 SuperNova 的折疊方案有任何疑問，請隨時通過 < contact@sin7y.org > 與我們聯繫。歡迎關注 Ola 官方Twitter ，加入我們的Discord服務器，獲取 Ola 的最新動態！

關於
本每週報告旨在提供與Sin7y — Ola和零知識密碼學相關的最新進展和新聞的更新，它有可能徹底改變我們在數字時代處理隱私和安全的方式。我們將持續關注並報導該領域的最新進展。如果您想加入我們或與我們合作，請寫信至 < contact@sin7y.org >。

敬請關注
網站|白皮書| GitHub 1 |推特|不和諧|領英| YouTube |黑客MD |中等|黑客午間