Code

feat: OOB constraints#42

Code

Merged

lorenzogentile404 merged 196 commits intomasterConsensys/linea-constraints:masterfrom oobConsensys/linea-constraints:oobCopy head branch name to clipboardMay 24, 2024

+1,222-104

Commits

Commits on Feb 28, 2024

• OOB added columns

  lorenzogentile404

  committed
  ad68927

• OOB added counter constancy and binary constraints

  lorenzogentile404

  committed
  431c38d

• OOB added constants and support functions

  lorenzogentile404

  committed
  552b56d

• OOB fixed functions and partially added heartbeat

  lorenzogentile404

  committed
  82f3a49

• OOB completed heartbeat

  lorenzogentile404

  committed
  1cb7627

• OOB fixed heartbit

  lorenzogentile404

  committed
  e1d501a

• OOB and MXP fixed some issues related to the usage of loobean functions

  lorenzogentile404

  committed
  75cc329

• OOB added instruction decoding constraints

  lorenzogentile404

  committed
  463293f

• OOB added constraints for JUMP

  lorenzogentile404

  committed
  bac8104

• OOB added constraints for JUMPI

  lorenzogentile404

  committed
  1d86c67

• OOB added constraints for RETURNDATACOPY

  lorenzogentile404

  committed
  9d5aa01

• OOB added constraints fro CALLDATALOAD

  lorenzogentile404

  committed
  2217ee0

• OOB fixed naming issue between ADD column and ADD opcode

  lorenzogentile404

  committed
  3485441

• OOB added constraints for CALL's

  lorenzogentile404

  committed
  7a1f3f8

• OOB added contraints for CREATE's

  lorenzogentile404

  committed
  01bca0e

• OOB added constraints for SSTORE

  lorenzogentile404

  committed
  fb18a0b

• OOB added constraints for RETURN

  lorenzogentile404

  committed
  bebbd7c

• OOB added draft of lookups

  lorenzogentile404

  committed
  d6ead7e

• OOB completed lookups

  lorenzogentile404

  committed
  b5e9b38

• OOB fixed minor issues in the constraints and completed the module

  lorenzogentile404

  committed
  9712a83

• OOB updated comments

  lorenzogentile404

  committed
  0714360

• OOB fixed naming of ADD_FLAG and WCP_FLAG

  lorenzogentile404

  committed
  ec0e81a

• OOB changed OUTGOING_RES_LO to boolean

  lorenzogentile404

  committed
  5f2fd01

• OOB marked instructions as byte

  lorenzogentile404

  committed
  3a3595b

• OOB fixed lookup file

  lorenzogentile404

  committed
  4db8514

• OOB updated notation of constraints and MakeFile

  lorenzogentile404

  committed
  eebf8a2

• OOB fixed typo

  lorenzogentile404

  committed
  41ae857

• OOB fixed constraint

  lorenzogentile404

  committed
  d81a9c0

• OOB fixed constraints that were wrong due to misunderstanding of loobean stuff

  lorenzogentile404

  committed
  ef69fe0

• OOB changed naming

  lorenzogentile404

  committed
  1ce066b

• OOB fixed alias for RETURN

  lorenzogentile404

  committed
  de9a053

• OOB fixed alias

  lorenzogentile404

  committed
  9787f24

• OOB fixed CALL constraint

  lorenzogentile404

  committed
  c38d9a2

• OOB updated notation of constraints and MakeFile

  lorenzogentile404

  committed
  f0a949d

• OOB added lookups and inverted arguments

  lorenzogentile404

  committed
  0a88e62

• OOB used explicit column names instead of aliases

  lorenzogentile404

  committed
  1a4a038

• MXP fixed consistency constraint

  lorenzogentile404

  committed
  184bb02

• OOB partially updated columns and constraints

  lorenzogentile404

  committed
  3977fc0

• OOB added constraints for ECRECOVER, ECADD, ECMUL

  lorenzogentile404

  committed
  c88d4e1

• OOB added constraints for SHA2-256, RIPEMD-160 and IDENTITY

  lorenzogentile404

  committed
  4e691b8

• OOB added ECPAIRING constraints

  lorenzogentile404

  committed
  a34876e

• OOB added lookup

  lorenzogentile404

  committed
  ad7588e

• OOB fixed hypothesis

  lorenzogentile404

  committed
  1ef1fb4

• OOB removed zero column

  lorenzogentile404

  committed
  88cb603

• OOB changed OUTGOING_RES_LO type

  lorenzogentile404

  committed
  17278f9

• OOB clened constraints

  lorenzogentile404

  committed
  72a80f6

• OOB partially updated constraints

  lorenzogentile404

  committed
  a0f2aa2

• OOB partially updated constraints

  lorenzogentile404

  committed
  b35d1a6

• OOB completed update of constraints

  lorenzogentile404

  committed
  138859e

• OOB added XCALL

  lorenzogentile404

  committed
  d675b9a

• OOB fixed constraints for CALL and XCALL

  lorenzogentile404

  committed
  6998e33

• OOB fixed XCALL constraint

  lorenzogentile404

  committed
  ae62d9c

• OOB updated columns and constraints up to binary constraints

  lorenzogentile404

  committed
  e2e6c1d

• OOB added shorthands for OpCodes

  lorenzogentile404

  committed
  6450076

• OOB fixed RDC constraint

  lorenzogentile404

  committed
  1fba083

• OOB added BLAKE2F_a constraints

  lorenzogentile404

  committed
  11be37e

• OOB added BLAKE2F_b constraints

  lorenzogentile404

  committed
  4b9a86e

• OOB fixed prc common constraints

  lorenzogentile404

  committed
  afd9b06

• OOB fixed common constraints hypothesis naming

  lorenzogentile404

  committed
  7861945

• OOB partially updated constraints

  lorenzogentile404

  committed
  cfa7c63

• OOB updated constraints using functions

  lorenzogentile404

  committed
  7cd6aec

• OOB fixed numbering of sections

  lorenzogentile404

  committed
  ca08acb

• OOB added MODEXP - CDS

  lorenzogentile404

  committed
  aa120f9

• OOB added MOXEXP - base

  lorenzogentile404

  committed
  c64e20b

• OOB added MODEXP - exponent

  lorenzogentile404

  committed
  28149be

• OOB added MODEXP - modulus

  lorenzogentile404

  committed
  d6b3817

• OOB partially added MODEXP - pricing

  lorenzogentile404

  committed
  78875c9

• OOB extracted justify hub predictions

  lorenzogentile404

  committed
  f80cbe1

• OOB updated MODEXP - CDS

  lorenzogentile404

  committed
  0089394

• OOB updated MODEXP - base

  lorenzogentile404

  committed
  c5f064e

• OOB changed is_zero to ISZERO and lt to LT

  lorenzogentile404

  committed
  b1412c8

• OOB completed update of constraints

  lorenzogentile404

  committed
  dde0fdf

• OOB cleaned code

  lorenzogentile404

  committed
  5c1f0df

• OOB removed redundant constraint for BLAKE2f

  lorenzogentile404

  committed
  823fd8b

• OOB fixed Makefile and lookup to wcp after rebase

  lorenzogentile404

  committed
  bbdec58

• perf: iszero is already constraint in wcp

  

  letypequividelespoubelles

  authored and

  lorenzogentile404

  committed
  56c83b8

• MXP substituted = with eq!

  lorenzogentile404

  committed
  4171dea

• OOB column name update + constants update

  

  OlivierBBB

  authored and

  lorenzogentile404

  committed
  a2b71e6

• constants extracted into their own file

  

  OlivierBBB

  authored and

  lorenzogentile404

  committed
  73ee940

• MODEXP related OOB instructions

  

  OlivierBBB

  authored and

  lorenzogentile404

  committed
  354d651

• OOB partially updated constraints according to latest specs

  lorenzogentile404

  committed
  81acdca

• OOB reverted and commented out deletion of oob events (so as to turn into data)

  lorenzogentile404

  committed
  32fab94

• OOB commented out OpCodes

  lorenzogentile404

  committed
  a99da13

• OOB updated constants

  lorenzogentile404

  committed
  7856c98

• OOB reordered and updated initial sections

  lorenzogentile404

  committed
  a09cdbd

• OOB updated common precompiles

  lorenzogentile404

  committed
  e58b22e

• OOB updated all precompiles except modexp

  lorenzogentile404

  committed
  5248d0e

• OOB updated modexp

  lorenzogentile404

  committed
  98457f1

• OOB completed update of precompiles

  lorenzogentile404

  committed
  f53b9bc

• OOB fixed constraints after rebase

  lorenzogentile404

  committed
  6c2cd0e

Commits on Mar 5, 2024

• OOB fixed r_at_c_nonzero for modexp pricing

  lorenzogentile404

  committed
  6f43e45

Commits on Apr 19, 2024

• ECDATA fixed bugs related to prc___return_gas (similar ones remaining)

  lorenzogentile404

  committed
  79eb493

• OOB fixed data in prc-modexp_cds and hub justification predictions

  lorenzogentile404

  committed
  8b51825

Commits on Apr 22, 2024

• OOB fixed bug related to SHA2, RIPEMD, IDENTITY

  lorenzogentile404

  committed
  1702766

• OOB fixed bug related to mod lookup

  lorenzogentile404

  committed
  4db858c

Commits on Apr 24, 2024

• OOB added columns

  

  lorenzogentile404

  authored and

  powerslider

  committed
  284dd7e

• OOB added counter constancy and binary constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  f55df1a

• OOB added constants and support functions

  

  lorenzogentile404

  authored and

  powerslider

  committed
  573102f

• OOB fixed functions and partially added heartbeat

  

  lorenzogentile404

  authored and

  powerslider

  committed
  59df456

• OOB completed heartbeat

  

  lorenzogentile404

  authored and

  powerslider

  committed
  aa6194a

• OOB fixed heartbit

  

  lorenzogentile404

  authored and

  powerslider

  committed
  7c5f442

• OOB and MXP fixed some issues related to the usage of loobean functions

  

  lorenzogentile404

  authored and

  powerslider

  committed
  b67879d

• OOB added instruction decoding constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  884f08a

• OOB added constraints for JUMP

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6fa85eb

• OOB added constraints for JUMPI

  

  lorenzogentile404

  authored and

  powerslider

  committed
  c0669b2

• OOB added constraints for RETURNDATACOPY

  

  lorenzogentile404

  authored and

  powerslider

  committed
  9979ab0

• OOB added constraints fro CALLDATALOAD

  

  lorenzogentile404

  authored and

  powerslider

  committed
  fc7cf3d

• OOB fixed naming issue between ADD column and ADD opcode

  

  lorenzogentile404

  authored and

  powerslider

  committed
  3545ba4

• OOB added constraints for CALL's

  

  lorenzogentile404

  authored and

  powerslider

  committed
  bd3f56f

• OOB added contraints for CREATE's

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5ac96e1

• OOB added constraints for SSTORE

  

  lorenzogentile404

  authored and

  powerslider

  committed
  530eb5a

• OOB added constraints for RETURN

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e50009c

• OOB added draft of lookups

  

  lorenzogentile404

  authored and

  powerslider

  committed
  91056a0

• OOB completed lookups

  

  lorenzogentile404

  authored and

  powerslider

  committed
  84c811d

• OOB fixed minor issues in the constraints and completed the module

  

  lorenzogentile404

  authored and

  powerslider

  committed
  a7c18bd

• OOB updated comments

  

  lorenzogentile404

  authored and

  powerslider

  committed
  ffb539b

• OOB fixed naming of ADD_FLAG and WCP_FLAG

  

  lorenzogentile404

  authored and

  powerslider

  committed
  40c90ad

• OOB fixed lookup file

  

  lorenzogentile404

  authored and

  powerslider

  committed
  d3db191

• OOB updated notation of constraints and MakeFile

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5f40b48

• OOB fixed typo

  

  lorenzogentile404

  authored and

  powerslider

  committed
  3f3d95c

• OOB fixed constraint

  

  lorenzogentile404

  authored and

  powerslider

  committed
  062410f

• OOB fixed constraints that were wrong due to misunderstanding of loobean stuff

  

  lorenzogentile404

  authored and

  powerslider

  committed
  9b03ce0

• OOB changed naming

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e71c767

• OOB fixed alias for RETURN

  

  lorenzogentile404

  authored and

  powerslider

  committed
  ebdd4b3

• OOB fixed alias

  

  lorenzogentile404

  authored and

  powerslider

  committed
  4eec89f

• OOB fixed CALL constraint

  

  lorenzogentile404

  authored and

  powerslider

  committed
  3c90fd9

• OOB updated notation of constraints and MakeFile

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e5f4452

• OOB added lookups and inverted arguments

  

  lorenzogentile404

  authored and

  powerslider

  committed
  c602e51

• OOB used explicit column names instead of aliases

  

  lorenzogentile404

  authored and

  powerslider

  committed
  63c0b5b

• MXP fixed consistency constraint

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6989f90

• OOB partially updated columns and constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  eae3b79

• OOB added constraints for ECRECOVER, ECADD, ECMUL

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e4dcc9d

• OOB added constraints for SHA2-256, RIPEMD-160 and IDENTITY

  

  lorenzogentile404

  authored and

  powerslider

  committed
  19fee47

• OOB added ECPAIRING constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e5f74eb

• OOB added lookup

  

  lorenzogentile404

  authored and

  powerslider

  committed
  cbf8f16

• OOB fixed hypothesis

  

  lorenzogentile404

  authored and

  powerslider

  committed
  b226214

• OOB removed zero column

  

  lorenzogentile404

  authored and

  powerslider

  committed
  70e15a6

• OOB changed OUTGOING_RES_LO type

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6dd45a3

• OOB clened constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6a56a07

• OOB partially updated constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  d17dd13

• OOB partially updated constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  67e9871

• OOB completed update of constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  467ff83

• OOB added XCALL

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e880377

• OOB fixed constraints for CALL and XCALL

  

  lorenzogentile404

  authored and

  powerslider

  committed
  d125f36

• OOB fixed XCALL constraint

  

  lorenzogentile404

  authored and

  powerslider

  committed
  4bd325c

• OOB updated columns and constraints up to binary constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5d92ada

• OOB added shorthands for OpCodes

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5b086a8

• OOB fixed RDC constraint

  

  lorenzogentile404

  authored and

  powerslider

  committed
  7898614

• OOB added BLAKE2F_a constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  58b4944

• OOB added BLAKE2F_b constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  64a4eca

• OOB fixed prc common constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6bf2f81

• OOB fixed common constraints hypothesis naming

  

  lorenzogentile404

  authored and

  powerslider

  committed
  a044642

• OOB partially updated constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  fc775e2

• OOB updated constraints using functions

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e6980da

• OOB fixed numbering of sections

  

  lorenzogentile404

  authored and

  powerslider

  committed
  24440ea

• OOB added MODEXP - CDS

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e88e012

• OOB added MOXEXP - base

  

  lorenzogentile404

  authored and

  powerslider

  committed
  18bec7c

• OOB added MODEXP - exponent

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5b4aec1

• OOB added MODEXP - modulus

  

  lorenzogentile404

  authored and

  powerslider

  committed
  2b3c095

• OOB partially added MODEXP - pricing

  

  lorenzogentile404

  authored and

  powerslider

  committed
  77f3b46

• OOB extracted justify hub predictions

  

  lorenzogentile404

  authored and

  powerslider

  committed
  dff24f4

• OOB updated MODEXP - CDS

  

  lorenzogentile404

  authored and

  powerslider

  committed
  14b3845

• OOB updated MODEXP - base

  

  lorenzogentile404

  authored and

  powerslider

  committed
  26aea36

• OOB changed is_zero to ISZERO and lt to LT

  

  lorenzogentile404

  authored and

  powerslider

  committed
  303bf81

• OOB completed update of constraints

  

  lorenzogentile404

  authored and

  powerslider

  committed
  7518746

• OOB cleaned code

  

  lorenzogentile404

  authored and

  powerslider

  committed
  1e4258c

• OOB removed redundant constraint for BLAKE2f

  

  lorenzogentile404

  authored and

  powerslider

  committed
  6a38082

• OOB fixed Makefile and lookup to wcp after rebase

  

  lorenzogentile404

  authored and

  powerslider

  committed
  daf04eb

• perf: iszero is already constraint in wcp

  

  letypequividelespoubelles

  authored and

  powerslider

  committed
  447f167

• MXP substituted = with eq!

  

  lorenzogentile404

  authored and

  powerslider

  committed
  4f380d5

• OOB column name update + constants update

  

  OlivierBBB

  authored and

  powerslider

  committed
  4e2d121

• constants extracted into their own file

  

  OlivierBBB

  authored and

  powerslider

  committed
  f509e21

• MODEXP related OOB instructions

  

  OlivierBBB

  authored and

  powerslider

  committed
  48dc4c6

• OOB partially updated constraints according to latest specs

  

  lorenzogentile404

  authored and

  powerslider

  committed
  a67aeca

• OOB reverted and commented out deletion of oob events (so as to turn into data)

  

  lorenzogentile404

  authored and

  powerslider

  committed
  876aac9

• OOB commented out OpCodes

  

  lorenzogentile404

  authored and

  powerslider

  committed
  76e5c76

• OOB updated constants

  

  lorenzogentile404

  authored and

  powerslider

  committed
  c9647c0

• OOB reordered and updated initial sections

  

  lorenzogentile404

  authored and

  powerslider

  committed
  5a558b4

• OOB updated common precompiles

  

  lorenzogentile404

  authored and

  powerslider

  committed
  2ca0f49

• OOB updated all precompiles except modexp

  

  lorenzogentile404

  authored and

  powerslider

  committed
  2a6dbc2

• OOB updated modexp

  

  lorenzogentile404

  authored and

  powerslider

  committed
  2c043db

• OOB completed update of precompiles

  

  lorenzogentile404

  authored and

  powerslider

  committed
  ea730c4

• OOB fixed constraints after rebase

  

  lorenzogentile404

  authored and

  powerslider

  committed
  e731b86

• OOB fixed r_at_c_nonzero for modexp pricing

  

  lorenzogentile404

  authored and

  powerslider

  committed
  c4750f6

• ECDATA fixed bugs related to prc___return_gas (similar ones remaining)

  

  lorenzogentile404

  authored and

  powerslider

  committed
  a696355

• OOB fixed data in prc-modexp_cds and hub justification predictions

  

  lorenzogentile404

  authored and

  powerslider

  committed
  d616c25

• OOB fixed bug related to SHA2, RIPEMD, IDENTITY

  

  lorenzogentile404

  authored and

  powerslider

  committed
  4e6797f

• OOB fixed bug related to mod lookup

  

  lorenzogentile404

  authored and

  powerslider

  committed
  01e0047

• Merge branch 'tmp' into oob

  powerslider

  committed
  6f740a7

• fix(oob): split file paths onto multiple lines in Makefile

  powerslider

  committed
  c4ad44f

Commits on May 8, 2024

• fix(oob): substituted common constants in constraints and cleaned local constants file

  lorenzogentile404

  committed
  f711744

Commits on May 22, 2024

• Merge branch 'master' into oob

  lorenzogentile404

  committed
  5be5b6e

• fix(oob): moved G_QUADDIVISOR to local constants

  lorenzogentile404

  committed
  69b9251

Commits on May 23, 2024

• Merge branch 'master' into oob

  lorenzogentile404

  committed
  3cc5094

Commits on May 24, 2024

• fix(oob): moved lookups in dedicated folder

  lorenzogentile404

  committed
  eed3042

• fix(oob): fixed valid-prc-blake_cds-future

  lorenzogentile404

  committed
  e9579ab