Code

decompose_range_check: Solutions#10

Code

Open

therealyingtong wants to merge 4 commits intodecomposition-specicemelon/halo2-examples:decomposition-specfrom decomposition-solnicemelon/halo2-examples:decomposition-solnCopy head branch name to clipboard

+1,380-77

Commits

Commits on Jun 25, 2022

• decompose_range_check: Move to submodule.

  therealyingtong

  committed
  1b1e88b

• decompose_range_check: Example 1 (multiples of K).

  therealyingtong

  committed
  948cc8e

• decompose_range_check: Example 2, arbitrary N (tag lookup)

  therealyingtong

  committed
  a74ec9f

• decompose_range_check: Example 3, shifted short lookup range check.

  therealyingtong

  committed
  6169f49