Code

Efficient comparisons#1523

Code

Merged

mitschabaude merged 32 commits intomaino1-labs/o1js:mainfrom feature/efficient-comparisonso1-labs/o1js:feature/efficient-comparisonsCopy head branch name to clipboardMar 28, 2024

+733-394

Commits

Commits on Mar 27, 2024

• bigint assert less than

  mitschabaude

  committed
  9c6fa34

  Copy full SHA for 9c6fa34

• bigint assert less than or equal

  mitschabaude

  committed
  e274fcd

  Copy full SHA for e274fcd

• unit tests for comparison assertions

  mitschabaude

  committed
  ffae661

  Copy full SHA for ffae661

• helper in field stub module

  mitschabaude

  committed
  0af69c1

  Copy full SHA for 0af69c1

• more efficient comparison assertions which are generic over the range

  mitschabaude

  committed
  41f75d1

  Copy full SHA for 41f75d1

• refine assumptions of comparison gadget

  mitschabaude

  committed
  ea60f08

  Copy full SHA for ea60f08

• use generic comparison assertion for uint, improve efficiency

  mitschabaude

  committed
  9b5c337

  Copy full SHA for 9b5c337

• generic boolean comparisons

  mitschabaude

  committed
  79e610d

  Copy full SHA for 79e610d

• use generic boolean comparison for field

  mitschabaude

  committed
  65e21bd

  Copy full SHA for 65e21bd

• use generic boolean comparisons for uint, improve efficiency

  mitschabaude

  committed
  71a1b0d

  Copy full SHA for 71a1b0d

• full field comparison

  mitschabaude

  committed
  8726900

  Copy full SHA for 8726900

• fixup uint lessthan

  mitschabaude

  committed
  34bbd56

  Copy full SHA for 34bbd56

• get rid of circular dependencies from using foreign field gadgets for field

  mitschabaude

  committed
  17fbdb6

  Copy full SHA for 17fbdb6

• constant spec

  mitschabaude

  committed
  49f04f1

  Copy full SHA for 49f04f1

• make failing foreign field additions throw, so we can trust unit tests

  mitschabaude

  committed
  53e5b11

  Copy full SHA for 53e5b11

• full less than or equal

  mitschabaude

  committed
  9e2357c

  Copy full SHA for 9e2357c

• use full comparison assertions for field, massive efficiency gain

  mitschabaude

  committed
  e703bdd

  Copy full SHA for e703bdd

• full boolean comparisons

  mitschabaude

  committed
  87be871

  Copy full SHA for 87be871

• use full boolean comparisons

  mitschabaude

  committed
  1b80114

  Copy full SHA for 1b80114

• remove 253-bits limitation from tests and docs

  mitschabaude

  committed
  9531b51

  Copy full SHA for 9531b51

Commits on Mar 28, 2024

• fix edge case in bigint assert less than

  mitschabaude

  committed
  9606b23

  Copy full SHA for 9606b23

• explicit unsafe bool creation and optimization for constants

  mitschabaude

  committed
  76f261c

  Copy full SHA for 76f261c

• more efficient isEven that always works; assertBool returns a Bool

  mitschabaude

  committed
  10138fa

  Copy full SHA for 10138fa

• it was a lovely trick, but this is more efficient

  mitschabaude

  committed
  f04c396

  Copy full SHA for f04c396

• fixup diverse zkprogram types

  mitschabaude

  committed
  af78122

  Copy full SHA for af78122

• use fast isOdd gadget in signature gadgets

  mitschabaude

  committed
  9a362d2

  Copy full SHA for 9a362d2

• cleanup and changelog

  mitschabaude

  committed
  0b56545

  Copy full SHA for 0b56545

• final changelog tweaks

  mitschabaude

  committed
  a7808e2

  Copy full SHA for a7808e2

• bindings

  mitschabaude

  committed
  b973423

  Copy full SHA for b973423

• force recompile changes the vk

  mitschabaude

  committed
  d2dc857

  Copy full SHA for d2dc857

• unrelated: fix ./run-in-browser on scripts that import o1js

  mitschabaude

  committed
  5348010

  Copy full SHA for 5348010

• typos

  mitschabaude

  committed
  e15f77d

  Copy full SHA for e15f77d