leo/grammar/benches/main.leo

circuit PedersenHash {
    parameters: [group; 256],

    // Instantiates a Pedersen hash circuit
    static function new(parameters: [group; 256]) -> Self {
        return Self { parameters: parameters }
    }

    function hash(bits: [bool; 256]) -> group {
        let mut digest: group = 0;
        for i in 0..256 {
            if bits[i] {
                digest += self.parameters[i];
            }
        }
        return digest
    }
}

// The 'pedersen-hash' main function.
function main() -> group {
    const parameters = [1group; 256];
    const pedersen = PedersenHash::new(parameters);
    let hash_input: [bool; 256] = [true; 256];
    return pedersen.hash(hash_input)
}