Modules

  • Circuits for the SHA-512 hash function and its internal compression function.
  • Circuit representation of a u64, with helpers for the [sha512] gadgets.