Kimuchi

証明システム

PlonKの亜種

2019年

Groth16の醜い回路ごとの信頼済みセットアップを取り除く効率的な普遍的スキームを導入

回路がある上限サイズに達しない限り）回路の寿命は、1つの信頼されたセットアップで十分

chatgpt知らない

https://scrapbox.io/files/65885e0186bcd10023c0ceef.png

kimuchiはバックエンド部分で証拠を作るだけ

以下はOCamlで書かれていて、Mina外で使うことを想定されていない

再帰レイヤーのピクルスは、証明の中の証明を検証する（無限に続く）。

Snarky、開発者がキムチやピクルスが証明できるような高い抽象度でプログラムを書けるようにするフロントエンド

rustでpickles, snarky, kimuchiを実装できるようにするべき

how to contribute kimuchi

以下は読んでない