Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group - View it on GitHub