Hey everyone, I was hoping to get some assistance in understanding how to construct a zero knowledge proof. I was wondering if I can get some assistance. I am constructing a proof similar to bellman - Rust but instead my idea of circuit is multiplying to arrays,
I want to understand a few things,
impl<Scalar: PrimeField> Circuit<Scalar> for MyCircuitI do not understand how exactly this is making a circuit. Can I look into a few more examples? Any reference?
- Can I take an array of u8 and convert to sort of vector of bits as is used in bellman - Rust
- How does one actually generate the constraints.
I am a bit confused and would be grateful for any help.