Module sha2_gkr

Modules§

brent_kung_adder: Brent-Kung adder is a parallel prefix adder described here https://maths-people.anu.edu.au/~brent/pd/rpb060_IEEETC.pdf
nonlinear_gates: Implementation of Different non-linear Gates used in SHA-2 family of circuits as described in NIST SP-180-4 https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.180-4.pdf
ripple_carry_adder: Utilities related to Ripple Carry Adder
sha256_bit_decomp: Implementation of SHA-256 circuit using bitwise decomposition