Folder
Homonyms
soft3/glia/import/proto
proto
soft3/zheng/specs/proto
proto โ zheng's IOP as zippel protocols Executable specs of the IOP in `rs/src/spartan` and `rs/src/sumcheck`, written for [eniac/zippel](https://github.com/eniac/zippel) so that the transcript is derived from the choreography and the completeness and special-soundness analyses can run on it.โฆ