rcc icon indicating copy to clipboard operation
rcc copied to clipboard
verified publisher icon clvv

`UInt32` trait, SHA256 implementation, `from_const` for `Wires`, and others

Open clvv opened this issue 2 years ago • 0 comments

This PR adds

  • A preliminary UInt32 trait
  • A naive implementation of UInt32 from Boolean
  • An implementation of SHA256 that is generic over UInt32
  • from_const function for different data traits (addresses #4 )

TODO:

  • An optimized implementation of UInt32 using lookups in rcc-halo2

clvv avatar Sep 05 '23 04:09 clvv