Now, we have a straightforward blake2s hash circuit implementation, which could be more efficient. A lookup table with 8 bits would help. - [ ] convert the range check to lookup - [ ] convert the xor, shift, and other operations to lookup, inspired by halo2 sha256 implementation. - [ ] other potential tricks to improve it, from Risc0 and Miden, perhaps
Now, we have a straightforward blake2s hash circuit implementation, which could be more efficient. A lookup table with 8 bits would help.