Author: Russell O'Connor 2017-05-27 22:07:07
Published on: 2017-05-27T22:07:07+00:00
On May 28, 2017, Russell O'Connor and Peter Todd had a discussion regarding the math operations used in the computation of MerkleRoot in bitcoin-dev. Russell O'Connor explained that he usually means concatenation when using "⋅" and Cartesian product when using "×". When asked for clarification on the specific meaning of Cartesian product, O'Connor defined it as "the type of pairs of A and B in the sense of type theory as used in Standard ML or Haskell or other typed languages." He also clarified that sha256Compress is a function that takes two arguments, a 256 bit word and a 512 bit word, and returns a 256 bit word, which is the compression function defined by the SHA256 standard.
Updated on: 2023-06-12T01:07:01.131772+00:00