Code

Merge develop back to master#1379

Code

Merged

mrmr1993 merged 47 commits intomastero1-labs/proof-systems:masterfrom merge-back-to-mastero1-labs/proof-systems:merge-back-to-masterCopy head branch name to clipboardDec 5, 2023

+123-37

Commits

Commits on Aug 30, 2023

• Add link to GitHub

  dannywillems

  committed
  4f1a904

  Copy full SHA for 4f1a904

• This TODO is done

  dannywillems

  committed
  5e91825

  Copy full SHA for 5e91825

Commits on Oct 9, 2023

• Add helpers for inferring feature flags

  mrmr1993

  committed
  99b35be

  Copy full SHA for 99b35be

• Derive binding types for FeatureFlags

  mrmr1993

  committed
  33252de

  Copy full SHA for 33252de

Commits on Oct 12, 2023

• [#14070] Add a unit check for the table id zero value condition

  volhovm

  committed
  488ad18

  Copy full SHA for 488ad18

• [#14070] Fix the table dummy rows bug

  volhovm

  committed
  74b5b0c

  Copy full SHA for 74b5b0c

• [#14097,#14070] Move lookup table consistency checks into LookupTable#create()

  volhovm

  committed
  eaf3184

  Copy full SHA for eaf3184

Commits on Oct 23, 2023

• Cosmetics on the lookup RFC

  volhovm

  committed
  2cf2ea4

  Copy full SHA for 2cf2ea4

• Capitalize book summary titles

  volhovm

  committed
  c5d1459

  Copy full SHA for c5d1459

• Add .ignore file to .gitignore

  volhovm

  committed
  d71b06b

  Copy full SHA for d71b06b

• Improve RFC3, fix rendering in kimchi/overview.md

  volhovm

  committed
  51e2672

  Copy full SHA for 51e2672

Commits on Oct 26, 2023

• Cargo: use wasm-bindgen 0.2.87

  rbonichon

  committed
  f38a2c3

  Copy full SHA for f38a2c3

• Merge pull request #1302 from o1-labs/rb/wasm-bindgen-0.2.87

  Show description for 57a3d8b
  dannywillems

  authored
  57a3d8b

  Copy full SHA for 57a3d8b

Commits on Oct 30, 2023

• Merge pull request #1292 from o1-labs/volhovm/rfc3-cosmetics

  Show description for ab79316
  dannywillems

  authored
  ab79316

  Copy full SHA for ab79316

Commits on Oct 31, 2023

• Initially move sections around [MinaProtocol/mina#14442]

  volhovm

  committed
  81f1296

  Copy full SHA for 81f1296

Commits on Nov 1, 2023

• Bump up actions/@checkout to 4.1.1

  dannywillems

  committed
  992448e

  Copy full SHA for 992448e

• Merge pull request #1316 from o1-labs/dw/update-actions-to-4.1.1-develop

  Show description for b66e145
  dannywillems

  authored
  b66e145

  Copy full SHA for b66e145

Commits on Nov 2, 2023

• [#14097,#14070] Enforce using constructor through private fields

  volhovm

  committed
  251ab0c

  Copy full SHA for 251ab0c

• Formatting

  volhovm

  committed
  cb46062

  Copy full SHA for cb46062

• [#14097,#14070] Fix lookup test creating invalid id=0 zero table

  volhovm

  committed
  e3aceaf

  Copy full SHA for e3aceaf

• Add table id collision assertions to LookupConstraintSystem#create

  volhovm

  committed
  1fac311

  Copy full SHA for 1fac311

• Improve lookup collision checks, fixed broken tests

  volhovm

  committed
  d0e5de6

  Copy full SHA for d0e5de6

• Add a test for lookup table id collisions

  volhovm

  committed
  64e9155

  Copy full SHA for 64e9155

• Address PR comments [MinaProtocol/mina#14070]

  volhovm

  committed
  2121c7f

  Copy full SHA for 2121c7f

• Revert HashSet<LookupTable<_>> changes

  volhovm

  committed
  d79015d

  Copy full SHA for d79015d

Commits on Nov 7, 2023

• Consistency pass on book chapters / styling

  volhovm

  committed
  2bcd3db

  Copy full SHA for 2bcd3db

• Prettify sections more

  volhovm

  committed
  73ae00a

  Copy full SHA for 73ae00a

Commits on Nov 9, 2023

• Merge pull request #1275 from o1-labs/feature/infer-features-from-gates

  Show description for ab36dce
  dannywillems

  authored
  ab36dce

  Copy full SHA for ab36dce

Commits on Nov 14, 2023

• Merge branch 'develop' into misc/link-todo-with-gh-issues

  dannywillems

  committed
  e9250aa

  Copy full SHA for e9250aa

• Add TODO link

  dannywillems

  committed
  a285216

  Copy full SHA for a285216

Commits on Nov 16, 2023

• Deduplicate lookup tables

  mrmr1993

  committed
  da65a25

  Copy full SHA for da65a25

• Merge pull request #1334 from o1-labs/feature/deduplicate-lookup-table

  Show description for 88c1776
  dannywillems

  authored
  88c1776

  Copy full SHA for 88c1776

• Merge branch 'develop' into volhovm/mina14070-table-id-zero-row

  volhovm

  committed
  c8ebc93

  Copy full SHA for c8ebc93

Commits on Nov 21, 2023

• Merge pull request #1263 from o1-labs/volhovm/mina14070-table-id-zero-row

  Show description for 7f6eba0
  dannywillems

  authored
  7f6eba0

  Copy full SHA for 7f6eba0

• Merge pull request #1304 from o1-labs/volhovm/mina14442-move-old-rfcs-chapters

  Show description for 2f94807
  volhovm

  authored
  2f94807

  Copy full SHA for 2f94807

Commits on Nov 27, 2023

• Bare URL's are not supported and must be wrapped.

  dannywillems

  committed
  8920a01

  Copy full SHA for 8920a01

• Update specifications

  Show description for 25156a2
  dannywillems

  committed
  25156a2

  Copy full SHA for 25156a2

Commits on Nov 28, 2023

• Merge pull request #1200 from o1-labs/misc/link-todo-with-gh-issues

  Show description for 901033a
  dannywillems

  authored
  901033a

  Copy full SHA for 901033a

Commits on Nov 29, 2023

• Fix resolver warnings

  Show description for 6c6adca
  dannywillems

  committed
  6c6adca

  Copy full SHA for 6c6adca

• Merge pull request #1348 from o1-labs/dw/fix-resolver-warnings-develop

  Show description for 3908626
  

  Richard Bonichon

  authored
  3908626

  Copy full SHA for 3908626

• Additional comment on the table_id_combiner

  dannywillems

  committed
  1c30635

  Copy full SHA for 1c30635

Commits on Nov 30, 2023

• Merge pull request #1355 from o1-labs/dw/additional-comments-on-combine-table-develop

  Show description for bde1c05
  dannywillems

  authored
  bde1c05

  Copy full SHA for bde1c05

Commits on Dec 4, 2023

• Revert "Merge pull request #1263 from o1-labs/volhovm/mina14070-table-id-zero-row"

  Show description for 267105a
  mrmr1993

  committed
  267105a

  Copy full SHA for 267105a

• Merge pull request #1378 from o1-labs/feature/revert-bad-par

  Show description for 5685f41
  mrmr1993

  authored
  5685f41

  Copy full SHA for 5685f41

• Merge branch 'master' into merge-back-to-master

  mrmr1993

  committed
  862d172

  Copy full SHA for 862d172

• Merge branch 'develop' into merge-back-to-master

  mrmr1993

  committed
  9a999cf

  Copy full SHA for 9a999cf

• Reintroduce comment

  mrmr1993

  committed
  b88e61c

  Copy full SHA for b88e61c