Code

feat: cache lookup consts vk#17

Code

Open

ethan-crypto wants to merge 68 commits intoprivacy-scaling-explorations:mainprivacy-scaling-explorations/halo2-solidity-verifier:mainfrom alexander-camuto:cache-lookup-consts-vkalexander-camuto/halo2-solidity-verifier:cache-lookup-consts-vkCopy head branch name to clipboard

+4,669-333

Commits

Commits on Nov 19, 2023

• feat: chunked lookup verifier (#1)

  alexander-camuto

  authored
  de1326d

  Copy full SHA for de1326d

Commits on Jan 22, 2024

• feat: lookup modularity (#2)

  alexander-camuto

  authored
  1f7315b

  Copy full SHA for 1f7315b

• Merge remote-tracking branch 'upstream/main'

  alexander-camuto

  committed
  bf2c640

  Copy full SHA for bf2c640

• Merge branch 'main' of https://github.com/alexander-camuto/halo2-solidity-verifier

  alexander-camuto

  committed
  366c0d5

  Copy full SHA for 366c0d5

• fix: tests

  alexander-camuto

  committed
  eb04be1

  Copy full SHA for eb04be1

Commits on May 2, 2024

• chore: update readme (#4)

  Show description for fd74f1d
  

  alexander-camuto

  and

  ethan-crypto

  authored
  fd74f1d

  Copy full SHA for fd74f1d

Commits on Jun 24, 2024

• append lookup consts to VK memory.

  ethan-crypto

  committed
  2701125

  Copy full SHA for 2701125

• * finish up tests

  ethan-crypto

  committed
  32b59b1

  Copy full SHA for 32b59b1

Commits on Jun 25, 2024

• *pass none to evaluator.lookup_computations when building conjoined verifier.

  ethan-crypto

  committed
  0aa84ea

  Copy full SHA for 0aa84ea

• check rust version of CI.

  ethan-crypto

  committed
  e649d02

  Copy full SHA for e649d02

• *setup toolchain for rust v 1.77.2 for revm compatibility.

  ethan-crypto

  committed
  8e8e5d3

  Copy full SHA for 8e8e5d3

Commits on Jul 1, 2024

• *new template for reusable verifier.

  Show description for a35d857
  ethan-crypto

  committed
  a35d857

  Copy full SHA for a35d857

• *fix clippy warnings and vk loading bug.

  ethan-crypto

  committed
  54c088d

  Copy full SHA for 54c088d

Commits on Jul 2, 2024

• *cache proof_len_cptr in vk.

  ethan-crypto

  committed
  164fa25

  Copy full SHA for 164fa25

• *cache quotient x's

  ethan-crypto

  committed
  aea26a6

  Copy full SHA for aea26a6

Commits on Jul 3, 2024

• *cache all vk_ptr offset solidity constants in vk.

  ethan-crypto

  committed
  25f27ab

  Copy full SHA for 25f27ab

• *half way caching theta vars

  ethan-crypto

  committed
  f5c3dbc

  Copy full SHA for f5c3dbc

Commits on Jul 4, 2024

• *cache all theta constants in vk.

  ethan-crypto

  committed
  85a0d2c

  Copy full SHA for 85a0d2c

Commits on Jul 7, 2024

• *set delta as a constant

  Show description for 57a969b
  ethan-crypto

  committed
  57a969b

  Copy full SHA for 57a969b

Commits on Jul 9, 2024

• *consolidate all expression

  Show description for 9331a92
  ethan-crypto

  committed
  9331a92

  Copy full SHA for 9331a92

Commits on Jul 11, 2024

• *layout encoded gate computation expressions in VK.

  ethan-crypto

  committed
  591389d

  Copy full SHA for 591389d

• *cfg feat not mv-lookup expression_consts.

  ethan-crypto

  committed
  37945c1

  Copy full SHA for 37945c1

• *don't reset const cache between code blocks in gate computations.

  ethan-crypto

  committed
  82d3033

  Copy full SHA for 82d3033

Commits on Jul 12, 2024

• *test gate_computation encoding

  Show description for f9149c7
  ethan-crypto

  committed
  f9149c7

  Copy full SHA for f9149c7

Commits on Jul 13, 2024

• *hardcode R as a constant.

  ethan-crypto

  committed
  792d609

  Copy full SHA for 792d609

Commits on Jul 19, 2024

• *encode permutation columns.

  ethan-crypto

  committed
  d389492

  Copy full SHA for d389492

Commits on Jul 23, 2024

• *bump solc version to 0.8.26

  Show description for 5c5f76d
  ethan-crypto

  committed
  5c5f76d

  Copy full SHA for 5c5f76d

Commits on Jul 24, 2024

• * refactor generate_vk

  Show description for 21a2444
  ethan-crypto

  committed
  21a2444

  Copy full SHA for 21a2444

• *add diagnostic_namespace feat

  ethan-crypto

  committed
  bf8e9f8

  Copy full SHA for bf8e9f8

• *update rust toolchain config on yaml.

  ethan-crypto

  committed
  34c27cb

  Copy full SHA for 34c27cb

• Revert "*add diagnostic_namespace feat"

  Show description for 4381645
  ethan-crypto

  committed
  4381645

  Copy full SHA for 4381645

• *append solc install with hash svm 2>/dev/null

  ethan-crypto

  committed
  c4915fd

  Copy full SHA for c4915fd

• * updated estimate free static memory

  Show description for 428f39e
  ethan-crypto

  committed
  428f39e

  Copy full SHA for 428f39e

Commits on Jul 25, 2024

• gate_computations struct.

  ethan-crypto

  committed
  78456c4

  Copy full SHA for 78456c4

Commits on Jul 26, 2024

• *packed expression words

  Show description for c6a19a5
  ethan-crypto

  committed
  c6a19a5

  Copy full SHA for c6a19a5

Commits on Jul 27, 2024

• *revert to old solc version

  ethan-crypto

  committed
  4c25caa

  Copy full SHA for 4c25caa

Commits on Jul 28, 2024

• *pack lookup input and table expressions.

  ethan-crypto

  committed
  0654a72

  Copy full SHA for 0654a72

Commits on Jul 29, 2024

• set input_expressions_fsm_usage to 0x0 on None unwrap.

  ethan-crypto

  committed
  1f69bbb

  Copy full SHA for 1f69bbb

• *add reference to 0x0 unwrap or.

  ethan-crypto

  committed
  a3ff8d5

  Copy full SHA for a3ff8d5

• *fix bug with no lookup circuits.

  ethan-crypto

  committed
  2095a70

  Copy full SHA for 2095a70

• *pcs point_computations

  ethan-crypto

  committed
  8e21bff

  Copy full SHA for 8e21bff

Commits on Jul 30, 2024

• *vanishing_computations

  ethan-crypto

  committed
  030051f

  Copy full SHA for 030051f

Commits on Jul 31, 2024

• *coeff_computations.

  ethan-crypto

  committed
  9fe8835

  Copy full SHA for 9fe8835

• *normalized pcs

  ethan-crypto

  committed
  c4380e4

  Copy full SHA for c4380e4

Commits on Aug 1, 2024

• *r_evals_computations

  ethan-crypto

  committed
  bcb85f7

  Copy full SHA for bcb85f7

Commits on Aug 2, 2024

• *coeff_sums_computation

  ethan-crypto

  committed
  cfeea11

  Copy full SHA for cfeea11

Commits on Aug 3, 2024

• *r_eval + pairing computations

  ethan-crypto

  committed
  b2b636c

  Copy full SHA for b2b636c

Commits on Aug 5, 2024

• *pack challenges

  ethan-crypto

  committed
  7ceb2cc

  Copy full SHA for 7ceb2cc

Commits on Aug 7, 2024

• packed perm evaluations.

  ethan-crypto

  committed
  27f6052

  Copy full SHA for 27f6052

Commits on Aug 8, 2024

• hardcode coeff_ptr

  ethan-crypto

  committed
  18ed00a

  Copy full SHA for 18ed00a

Commits on Aug 9, 2024

• *MV lookup packed

  ethan-crypto

  committed
  1d60e0c

  Copy full SHA for 1d60e0c

Commits on Aug 14, 2024

• refactor: verifier cache enum

  ethan-crypto

  committed
  3fac35c

  Copy full SHA for 3fac35c

• *update readme

  Show description for 5a7ff4e
  ethan-crypto

  committed
  5a7ff4e

  Copy full SHA for 5a7ff4e

Commits on Aug 16, 2024

• *move encode mv lookup input table cache from metadata to lookup evals word.

  ethan-crypto

  committed
  99b6548

  Copy full SHA for 99b6548

Commits on Aug 18, 2024

• chore: update h2 curves

  alexander-camuto

  committed
  3082fda

  Copy full SHA for 3082fda

Commits on Aug 21, 2024

• *add compiler warning for non contigious table expressions across lookups.

  ethan-crypto

  committed
  fdfe5e4

  Copy full SHA for fdfe5e4

Commits on Aug 25, 2024

• *bitmask constants

  Show description for bf04cd4
  ethan-crypto

  committed
  bf04cd4

  Copy full SHA for bf04cd4

• *optimization: enumerate set diff ptr at run time.

  ethan-crypto

  committed
  b101da4

  Copy full SHA for b101da4

Commits on Aug 30, 2024

• Update Cargo.toml

  alexander-camuto

  committed
  659ad43

  Copy full SHA for 659ad43

• fix: patch tests

  alexander-camuto

  committed
  b58b241

  Copy full SHA for b58b241

• fix: example

  alexander-camuto

  committed
  a830dcf

  Copy full SHA for a830dcf

Commits on Aug 31, 2024

• h2 curve update + revm version bump

  ethan-crypto

  committed
  b544e4b

  Copy full SHA for b544e4b

Commits on Sep 5, 2024

• *load in all challenge related constants before performing challenge evals.

  ethan-crypto

  committed
  d600b14

  Copy full SHA for d600b14

Commits on Sep 6, 2024

• *reduce extcodecopy call by one by only loading in vka data needed for challenges

  ethan-crypto

  committed
  d1464f9

  Copy full SHA for d1464f9

Commits on Sep 9, 2024

• *fix logic bug in MV lookup and typo in last linear combine accum.

  ethan-crypto

  committed
  d9d4b08

  Copy full SHA for d9d4b08

Commits on Sep 16, 2024

• *non mv lookups

  ethan-crypto

  committed
  853b960

  Copy full SHA for 853b960

Commits on Oct 4, 2024

• *bit flip fuzzing tests

  ethan-crypto

  committed
  fa1c577

  Copy full SHA for fa1c577

Commits on Oct 18, 2024

• Merge branch 'ac/update-h2-curves' into cache-lookup-consts-vk

  ethan-crypto

  committed
  5e252d7

  Copy full SHA for 5e252d7