Code

Implement the non-zero proof#2

Code

Merged

claucece merged 7 commits intomainbrave-experiments/CDLS:mainfrom non-zerobrave-experiments/CDLS:non-zeroCopy head branch name to clipboardDec 14, 2023

+602

Commits

Commits on Dec 13, 2023

• Add the non-zero proof

  claucece

  committed
  face7af

• Change the domain

  claucece

  committed
  f05a17e

• Add more tests

  claucece

  committed
  7200cfb

• Add benchmarks

  claucece

  committed
  8f5270b

• Check for zero

  claucece

  committed
  f595c8b

Commits on Dec 14, 2023

• Properly bench

  claucece

  committed
  8cb3079

• Make proof nicer

  claucece

  committed
  dcc2bba