Code

Async Halo2 verifier service#2645

Code

Merged

teor2345 merged 22 commits intomainZcashFoundation/zebra:mainfrom halo2-verifierZcashFoundation/zebra:halo2-verifierCopy head branch name to clipboardNov 17, 2021

+635-34

Commits

Commits on Nov 16, 2021

• First pass at async Halo2 verification service

  Show description for ecf1fad
  dconnolly

  committed
  ecf1fad

• Halo2 verifier service and test

  dconnolly

  committed
  225300c

• Remove redundant conversion

  dconnolly

  committed
  1aff29d

• Test async halo2 verifier service with pre-computed Orchard shielded data test vectors

  dconnolly

  committed
  506f04a

• Fix typo

  Show description for 77fea70
  

  dconnolly

  and

  conradoplg

  committed
  77fea70

• Assert future result is_ok() in Halo2 verifier test

  Show description for 820021f
  

  dconnolly

  and

  jvff

  committed
  820021f

• Shorten tower::Service trait constraints for Halo2 verifier tests

  dconnolly

  committed
  a13956f

• Remove commented out trait constraints

  dconnolly

  committed
  57f4855

• .expect() vs .unwrap() to parse orchard::redpallas::VerificationKey

  dconnolly

  committed
  fac0b3e

• Use .to_vec() for some test vectors

  dconnolly

  committed
  3fc6c5d

• Fix self-referential Display impl

  dconnolly

  committed
  4ec0842

• Fix deps

  dconnolly

  committed
  93dbeee

• Distinguish orchard vs zebra_chain::orchard imports

  dconnolly

  committed
  804cfaf

• Add test that halo2 verifier fails with malformed proof inputs

  dconnolly

  committed
  e907547

• Use thiserror for Halo2Error

  dconnolly

  committed
  b50b8ce

• Use ZcashFoundation/orchard instead of dconnolly/orchard

  dconnolly

  committed
  ce93931

• Add a link to the issue to remove the zfnd fork of orchard crate

  dconnolly

  committed
  09dc2af

• Update zebra-consensus/Cargo.toml

  Show description for 148fa71
  

  dconnolly

  and

  teor2345

  committed
  148fa71

• Add note

  dconnolly

  committed
  6946e79

• Move artificial Orchard shielded data test vectors to zebra-test

  dconnolly

  committed
  f19cc64

• Align brackets

  dconnolly

  committed
  0ac71f7

• Tidy some trait constraints and debug statements

  Show description for 6607633
  

  dconnolly

  and

  jvff

  committed
  6607633