feat(protogalaxy): add protogalaxy skeleton

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

119 stars 17 forks source link

Closed chaosma closed 6 months ago

chaosma commented 6 months ago

Motivation Part of #20

Overview

multi-folding prover and verifier method signatures in NIFS trait, i.e. prove_mult and verify_mult.
skeleton codes to protogalaxy