Fall2023 - Implementation in Rust of zkSNARKs