Zero-Knowledge-Proofs
最簡單的遞歸 SNARK 工作範例
我一直在對遞歸 SNARKs進行一些研究。但是我還沒有找到一個有效的程式碼範例，例如這個使用 Zokrates 或這個使用snarkjs的範例。任何人都知道一個這樣的例子，比如證明雜湊鏈？
遞歸 STARK 範例也很好。
您是在尋找實現遞歸 SNARK 系統的程式碼，還是實現利用它的電路的程式碼（這就是您連結的內容）。
對於實現支持遞歸的零知識證明系統的程式碼，您必須查看pickles或halo2。
如果您正在查看實現利用遞歸的電路的程式碼，snarkyjs中有一些，但它尚未在生產中執行。我不知道在生產中執行的其他任何東西（除了使用泡菜的 Mina 電路）。