The bellman crate is a Rust library for building zk-SNARKs, providing a modular and user-friendly API for constructing and verifying zero-knowledge proofs. It employs circuits as abstract representations of computations, uses R1CS for circuit representation, requires specific parameters for proof generation and verification, and works with pairing-friendly elliptic curves like BLS12-381.
SquareRootCircuit: to generate a proof that we know the square root of a valuexwithout disclosing the root value.