leo/asg/tests/pass/circuits/pedersen_mock.leo

circuit PedersenHash {
    parameters: [u32; 512]

    function new(parameters: [u32; 512]) -> Self {
        return Self { parameters: parameters };
    }

    function hash(self, bits: [bool; 512]) -> u32 {
        let digest: u32 = 0;
        for i in 0..512 {
            const base = bits[i] ? self.parameters[i] : 0u32;
            digest += base;
        }
        return digest;
    }
}

// The 'pedersen_hash' main function.
function main() {
    const parameters = [0u32; 512];
    const pedersen = PedersenHash::new(parameters);
    const hash_input: [bool; 512] = [true; 512];

    const res = pedersen.hash(hash_input);

    console.assert(res == 0u32);
}