Circuit compiler

[chriseth]

No description provided.

[chriseth]

Translation of

        for u32 i in 0..5 {
            bc[i] = st[i] ^ st[i + 5] ^ st[i + 10] ^ st[i + 15] ^ st[i + 20];
        }

let single_step = |st, i| xor(xor(xor(xor(st[i], st[i + 5]), st[i + 10]), st[i + 15]) st[i + 20]);
let loop = |st| map([0, 1, 2, 3, 4], |i| single_step(st, i));

[chriseth]

Implementation in zokrates: https://github.com/Zokrates/ZoKrates/blob/develop/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok

[leonardoalt]

Suggested change

	// TODO I don't think this is correct, it shuold add namespace len.
	// TODO I don't think this is correct, it should add namespace len.