Code

Split verifier#146

Code

Merged

Okm165 merged 146 commits intomainHerodotusDev/integrity:mainfrom autogenerated_splitHerodotusDev/integrity:autogenerated_splitCopy head branch name to clipboardSep 28, 2024

+34,312-29,575

Commits

Commits on Jul 24, 2024

• Split dex

  fmkra

  committed
  0b58178

• Small layout

  fmkra

  committed
  d1e7cd7

• Starknet layout

  fmkra

  committed
  e4d935b

• Starknet with keccak layout

  fmkra

  committed
  eb991e8

Commits on Jul 25, 2024

• Starknet composition polynomial split

  fmkra

  committed
  e93222b

Commits on Jul 29, 2024

• Starknet with keccak

  fmkra

  committed
  758d8db

Commits on Jul 30, 2024

• Update starknet layout

  fmkra

  committed
  2fcd709

• Update starknet_with_keccak deployment script

  fmkra

  committed
  3390dad

• Improve starknet_with_keccak autogenerated

  fmkra

  committed
  f4d7fa8

Commits on Jul 31, 2024

• Support for multiple verifiers in fact registry

  fmkra

  committed
  1f31b5a

• FactRegistry ownership and verifier registration

  fmkra

  committed
  6dbd81e

• Remove cairo_version from VerifierSettings

  fmkra

  committed
  612daf9

• Move verifier contract to root directory

  fmkra

  committed
  85b4b0b

• FactRegistry multicall scripts

  fmkra

  committed
  251c4ca

• Features support

  fmkra

  committed
  9a8134e

Commits on Aug 5, 2024

• Split starknet_with_keccak by transactions

  fmkra

  committed
  02a61ed

Commits on Aug 6, 2024

• Extract fri_verify_layer_step into function

  fmkra

  committed
  cbb445b

• Fri separate init, step and finalize

  fmkra

  committed
  352e4d9

• Stark proof split into init, step, finalize

  fmkra

  committed
  6e74d48

Commits on Aug 9, 2024

• Fri layers splitting

  fmkra

  committed
  0ec627b

• Change identification by fact to job_id

  fmkra

  committed
  cef3fa3

• Better error messages

  fmkra

  committed
  b73a0bf

Commits on Aug 13, 2024

• Add script for autogenerated generation

  fmkra

  authored
  21ce4fc

• Make eval registration optional

  fmkra

  committed
  b0d1be8

• Recursive with poseidon layout

  fmkra

  committed
  a15c010

• Merge calldata_split

  fmkra

  committed
  2a479eb

• Fix errors

  fmkra

  committed
  e7319b9

Commits on Aug 15, 2024

• Fix compilation errors

  fmkra

  committed
  644f5d3

• Merge branch 'autogenerated_split' of https://github.com/HerodotusDev/integrity into autogenerated_split

  fmkra

  committed
  8006068

• Fixes

  fmkra

  committed
  9a52c12

• Fix CairoVerifier compilation error

  fmkra

  committed
  7ae148d

• Fix contract part2 compilation

  fmkra

  committed
  2acbb39

Commits on Aug 16, 2024

• Add proxy contract

  fmkra

  committed
  19180a5

• Recursive autogenerated split

  fmkra

  committed
  96398b8

• Add all deployment scripts

  fmkra

  committed
  26f49e1

Commits on Sep 9, 2024

• Merge remote-tracking branch 'origin/proxy_contract' into autogenerated_split

  fmkra

  committed
  e0293ee

• Add monolit/split features for recursive

  fmkra

  committed
  854603a

Commits on Sep 10, 2024

• monolit/split for dex,small,recursive_with_poseidon

  fmkra

  committed
  135edf4

• Make monolit feature default

  fmkra

  committed
  f56b5dd

• Update README

  fmkra

  committed
  4efbe3d

• Fix blake2s tests

  fmkra

  committed
  e4ca8eb

• Revert starknet and starknet_with_keccak split

  fmkra

  committed
  1e0a656

• Remove unnecessary files

  fmkra

  committed
  23b125e

• refactor

  Okm165

  committed
  6414a95

• Change handling of security bits

  fmkra

  committed
  479f3c6

• Merge branch 'main' into autogenerated_split

  fmkra

  committed
  8c1d710

• Merge branch 'autogenerated_split' into autogenerated_split_merge

  Okm165

  committed
  23374ab

• rm old fact registry

  Okm165

  committed
  c36fa38

• Merge pull request #147 from HerodotusDev/autogenerated_split_merge

  Show description for 59de5da
  Okm165

  authored
  59de5da

• monolit -> monolith [typo]

  Okm165

  committed
  e783bbe

• Update CI/CD

  fmkra

  committed
  9d74211

• Fact registry with verification_hash

  fmkra

  committed
  0924ad9

• Format

  fmkra

  committed
  7695c8c

• Proxy contract

  fmkra

  committed
  d023d80

• Hotfix typo

  fmkra

  committed
  0ad6813

• hasher enhancements

  Okm165

  committed
  7e6f83a

• stone5 stone6 features

  Okm165

  committed
  f04a92e

• Make get_all_verifications_for_fact_hash return type a struct

  fmkra

  committed
  15d5569

• Fmt

  fmkra

  committed
  717f6d0

• Update README

  fmkra

  committed
  0050351

• Update README

  fmkra

  committed
  1681392

• Add get_verification method

  fmkra

  committed
  a9bab39

• Update README

  fmkra

  committed
  a5b0e34

Commits on Sep 11, 2024

• Change verify functions from read to write

  fmkra

  committed
  e346791

• Update multicall scripts

  fmkra

  committed
  9193202

• Update README

  fmkra

  committed
  f24dea9

• tests fixes

  Okm165

  committed
  b6579ef

• fmt

  Okm165

  committed
  ef90d04

• Merge branch 'autogenerated_split' into hasher_and_stone_features

  Okm165

  committed
  56133b1

• multicall settings updates

  Okm165

  committed
  06e7800

• ci update

  Okm165

  committed
  a73110b

• Prover version specific hash_data initialization

  Okm165

  committed
  37fd642

• Merge pull request #148 from HerodotusDev/hasher_and_stone_features

  Show description for c79c8d1
  Okm165

  authored
  c79c8d1

• fix hash calc error

  Okm165

  committed
  957a20d

Commits on Sep 12, 2024

• Revert "Revert starknet and starknet_with_keccak split"

  Show description for 372244d
  Okm165

  committed
  372244d

• split monolith missing layouts

  Okm165

  committed
  3ae439c

• contract fixes

  Okm165

  committed
  7c4c7ca

• fixing contracts updating to newer scarb

  Okm165

  committed
  b44912e

• fmt

  Okm165

  committed
  49ef272

• contracts compiling fixes

  Okm165

  committed
  d576573

• Make number of hasher bits a setting

  fmkra

  committed
  2ca863f

• Make stone version a setting

  fmkra

  committed
  03b849b

• Fmt

  fmkra

  committed
  a3e4624

• Fix typo

  fmkra

  committed
  5744a6e

• Remove comment

  fmkra

  committed
  4192b71

• Adjust runner

  fmkra

  committed
  6f050c5

• Fix CI/CD

  fmkra

  committed
  6adfbb4

• Rename Settings

  fmkra

  committed
  108b42a

• Fmt

  fmkra

  committed
  41052a6

Commits on Sep 13, 2024

• default features

  Okm165

  committed
  2d68ee0

• contract refactored

  Okm165

  committed
  834a853

• Merge pull request #151 from HerodotusDev/verifier_settings

  Show description for bdebb41
  Okm165

  authored
  bdebb41

• Revert "Revert starknet and starknet_with_keccak split"

  Show description for 67de665
  Okm165

  committed
  67de665

• split monolith missing layouts

  Okm165

  committed
  7eaf85b

• Merge branch 'autogenerated_split' into autogenerated_split_missing_layouts

  Okm165

  committed
  1d8b83e

• conflict resolve

  Okm165

  committed
  3686d1b

• Merge pull request #150 from HerodotusDev/autogenerated_split_missing_layouts

  Show description for 45d041e
  Okm165

  authored
  45d041e

• Update comment

  fmkra

  committed
  67bdd05

• Update cairo version

  fmkra

  committed
  b135e7f

Commits on Sep 16, 2024

• Update cairo-runner packages

  fmkra

  committed
  5cae122

Commits on Sep 17, 2024

• runner update 2.8.2

  Okm165

  committed
  4be694e

• crates version updates

  Okm165

  committed
  ad1751d

• Add python script

  fmkra

  committed
  b5908bc

• Update autogenerated for rec,recwp,dex,small

  fmkra

  committed
  e17befe

• Remove recursive splitting

  fmkra

  committed
  810223c

• Fix test

  fmkra

  committed
  d6ddabc

• Optimize recursive autogen

  fmkra

  committed
  7fe65a4

• Reorder arguments in contracts

  fmkra

  committed
  794f3c9

• Update recursive layout deployment scripts

  fmkra

  committed
  8401139

• Remove recursive_with_poseidon oods contract

  fmkra

  committed
  fbe8bd3

• Create recursive_with_poseidon deployment scripts

  fmkra

  committed
  26ebcee

• Fmt

  fmkra

  committed
  0f8413f

• Remove small oods contract

  fmkra

  committed
  ca458f4

• Create small deployment scripts

  fmkra

  committed
  afbd896

• Fmt

  fmkra

  committed
  e21552c

• Contracts refactor variable types

  fmkra

  committed
  12815c6

• Remove dex oods contract

  fmkra

  committed
  a20545f

• Create dex deployment scripts

  fmkra

  committed
  133f48d

• Fmt

  fmkra

  committed
  8d8cb38

Commits on Sep 18, 2024

• cleanup

  Okm165

  committed
  2ae7de5

• proofs vip

  Okm165

  committed
  d008dbb

• proofs generation and cairo0 programs

  Okm165

  committed
  4e2c9d4

• CI and more proofs

  Okm165

  committed
  2152279

• filename typo and python formated

  Okm165

  committed
  530c366

• Optimize starknet layout to 2 contracts

  fmkra

  committed
  cee5559

Commits on Sep 19, 2024

• Merge pull request #152 from HerodotusDev/proofs_refactor

  Show description for 16d1f90
  Okm165

  authored
  16d1f90

• ci fix

  Okm165

  committed
  ad1cdf9

• Merge pull request #153 from HerodotusDev/proofs_refactor

  Show description for 3bcd1cb
  Okm165

  authored
  3bcd1cb

Commits on Sep 20, 2024

• Almost finished splitting script

  fmkra

  committed
  d5cccb3

Commits on Sep 22, 2024

• Finish autogenerated script

  fmkra

  committed
  d039881

• Make settings argument a snapshot

  fmkra

  committed
  ad4562d

• Fmt

  fmkra

  committed
  1f298ed

• Fix tests

  fmkra

  committed
  077aca7

• Fix

  fmkra

  committed
  80fc3ef

• Update deployment scripts

  fmkra

  committed
  db50638

• Update proof parser and readme

  fmkra

  committed
  a9f40ca

Commits on Sep 23, 2024

• Merge pull request #154 from HerodotusDev/autogenerated-script

  Show description for a17d918
  fmkra

  authored
  a17d918

• Update README

  fmkra

  committed
  8774633

• Remove runner default arguments

  fmkra

  committed
  1ae7397

• Move contracts to separate directory

  fmkra

  committed
  79b6bf0

• Rename multicall -> deployment

  fmkra

  committed
  1c42cc9

• Create snfoundry.toml

  fmkra

  committed
  7ae6fe3

• Update README

  fmkra

  committed
  56964b5

• Update README

  fmkra

  committed
  55a2df3

Commits on Sep 24, 2024

• Use Vec<> in fact_registry

  fmkra

  committed
  4ef7caa

• Update deployment scripts and readme

  fmkra

  committed
  aa28d4d