This implementation aims to optimize the SHA256 circuit by operating on the 32-bit words as a single field element utilizing native binary gadgets. (Won 'Crypto Primitive' prize by O(1)Labs & the ‘Chewing Glass’ prize by ZK Hack)
I am working on a project that also greatly needs the functionality you are developing. Could we discuss how you plan to implement it? I would like to collaborate with you.