Code

Nova/big nat#185

Code

Merged

ashWhiteHat merged 11 commits intomasterKogarashiNetwork/Kogarashi:masterfrom nova/big_natKogarashiNetwork/Kogarashi:nova/big_natCopy head branch name to clipboardDec 21, 2023

+820-190

Commits

Commits on Dec 18, 2023

• bignat assignment allocations

  KiriosK

  committed
  8440889

  Copy full SHA for 8440889

Commits on Dec 19, 2023

• range check against number of bits, BigNat allocation tests

  KiriosK

  committed
  4391fa3

  Copy full SHA for 4391fa3

• BigNat addition

  KiriosK

  committed
  b601e63

  Copy full SHA for b601e63

• reduction by module

  KiriosK

  committed
  0a467e1

  Copy full SHA for 0a467e1

• equality constraints when carry is done for limbs, draft

  KiriosK

  committed
  8f0d9ed

  Copy full SHA for 8f0d9ed

Commits on Dec 20, 2023

• multiplication for BigNat

  KiriosK

  committed
  396b84c

  Copy full SHA for 396b84c

• fix range check, add range_check_bits test

  KiriosK

  committed
  8f4dff3

  Copy full SHA for 8f4dff3

• change x0 and x1 to BigNat for RelaxedR1csInstanceAssignment

  KiriosK

  committed
  565b9ea

  Copy full SHA for 565b9ea

• squeeze only a specified amount of bits from transcript

  KiriosK

  committed
  e96b09d

  Copy full SHA for e96b09d

• simplify hash function for relaxed instances

  KiriosK

  committed
  6210d54

  Copy full SHA for 6210d54

• change constants to witness allocations for non constant variable

  KiriosK

  committed
  146ba37

  Copy full SHA for 146ba37