Code

Acl hvec proof#100

Code

Merged

claucece merged 7 commits intomainbrave-experiments/Boomerang:mainfrom acl-hvec-proofbrave-experiments/Boomerang:acl-hvec-proofCopy head branch name to clipboardSep 2, 2024

+100-12

Commits

Commits on Aug 30, 2024

• implement dleq proof for zeta = h_vec

  ankeleralph

  committed
  b7b000a

• fix using wrong label in challenge_bytes

  ankeleralph

  committed
  5289235

• clippy

  Show description for 4ea517b
  

  rillian

  authored and

  ankeleralph

  committed
  4ea517b

• fix wrong buffer variable

  ankeleralph

  committed
  6c1b328

• fix rebasing conflict

  ankeleralph

  committed
  aa666ce

Commits on Sep 2, 2024

• fix equality proof zeta=h_vec

  ankeleralph

  committed
  c9fd762

• cargo fmt

  ankeleralph

  committed
  86f1356