Exploration This project seeks proof of concept for sagaproofs, a variant of zero-knowledge proofs. The content is written in tex files and intended to be compiled with tlang.