def H0
import lawful-bytes@0.1.1.0/proof_fast_append.bend as ProofFastAppendimport Base
1066def H0(+ld: U32) -> U32:
1067 U32.and(U32.sub(4, U32.and(ld, 3)), 3)
import lawful-bytes@0.1.1.0/proof_fast_append.bend as ProofFastAppendimport Base
1066def H0(+ld: U32) -> U32:
1067 U32.and(U32.sub(4, U32.and(ld, 3)), 3)