Code

feat: blake2b using memory#121

Code

Merged

kevjue merged 63 commits intomainsuccinctlabs/starkyx:mainfrom kevjue/blake2b_refactorsuccinctlabs/starkyx:kevjue/blake2b_refactorCopy head branch name to clipboardDec 12, 2023

+2,603-84

Commits

Commits on Nov 8, 2023

• initial commit

  kevjue

  committed
  2c92f07

Commits on Nov 9, 2023

• more changes

  kevjue

  committed
  97bcf13

• some fixes

  kevjue

  committed
  00602a4

• added logic for initial compress xors

  kevjue

  committed
  63a25f8

Commits on Nov 10, 2023

• more compilation fixes

  kevjue

  committed
  9c72d2d

• added in multiplicities (TODO, need to add in dummy multiplicities)

  kevjue

  committed
  e7ddf4e

Commits on Nov 13, 2023

• compilation fixes

  kevjue

  committed
  fd3232c

• more compilation fixes

  kevjue

  committed
  510eb2a

• added in missing multiplicities

  kevjue

  committed
  73817f7

• added builder object

  kevjue

  committed
  f6a1504

• added digest bits and indices

  kevjue

  committed
  4d08eec

• added constraints for verifying digest

  kevjue

  committed
  f009e92

• fixed the m time

  kevjue

  committed
  c9fbee5

• added in t register

  kevjue

  committed
  d09cc3f

Commits on Nov 19, 2023

• air test case

  kevjue

  committed
  a7c6667

Commits on Nov 20, 2023

• bug fixes

  kevjue

  committed
  2bbdc0f

• some fies

  kevjue

  committed
  c7481b3

• fixed v_final dummy reads

  kevjue

  committed
  1ea352f

Commits on Nov 21, 2023

• more bug fixes

  kevjue

  committed
  a614c71

• Merge branch 'main' into kevjue/blake2b_refactor

  kevjue

  committed
  7210cb1

Commits on Nov 22, 2023

• more bug fixes

  kevjue

  committed
  10e15dc

Commits on Nov 23, 2023

• filled up 96 rows

  kevjue

  committed
  1feaf9e

• fixed compress_iteration

  kevjue

  committed
  7c575eb

Commits on Nov 24, 2023

• got basic air writing working

  kevjue

  committed
  dc07e58

Commits on Nov 26, 2023

• fixes

  kevjue

  committed
  17eb4c6

• fixes

  kevjue

  committed
  f5f1b65

Commits on Nov 28, 2023

• filled in the dummy rows

  kevjue

  committed
  2ba1110

• added watch_memory instruction

  kevjue

  committed
  9f754fb

• got correct trace for multiple messages

  kevjue

  committed
  9727f30

• const memory multiplicities fixed

  kevjue

  committed
  904ffba

Commits on Nov 29, 2023

• most multiplicities fixed

  kevjue

  committed
  9efd0fb

• fixed v_final multiplicities

  kevjue

  committed
  97d6c31

• added bitregister builder not

  kevjue

  committed
  d553448

Commits on Nov 30, 2023

• almost there

  kevjue

  committed
  6013926

• more multiplicities fixes

  kevjue

  committed
  4a9afe5

• removed using ts for h

  kevjue

  committed
  a4a323c

Commits on Dec 1, 2023

• added memory trace output

  kevjue

  committed
  df66165

Commits on Dec 5, 2023

• replaced usage of set_to_expression to expression

  kevjue

  committed
  bcb8038

• added some memory trace debug messages

  kevjue

  committed
  0ab79db

• some cleanup

  kevjue

  committed
  0e1a93a

• enabled some timing info

  kevjue

  committed
  0477167

• fixed bug and more complicated test case

  kevjue

  committed
  dbb7654

• added some timing output

  kevjue

  committed
  3bf7232

• enabled recursive verification

  kevjue

  committed
  5d29aa3

• fixed test

  kevjue

  committed
  1932e0e

Commits on Dec 6, 2023

• verifying the expected digest

  kevjue

  committed
  27f19d9

• some cleanup and fixes

  kevjue

  committed
  698638a

• fixed a bug in the test case

  kevjue

  committed
  bb4cee3

• store the digest

  kevjue

  committed
  b366a24

• cleanup and refactoring

  kevjue

  committed
  63f2ac9

• clippy fixes

  kevjue

  committed
  2b1f178

• added consts

  kevjue

  committed
  e00c76b

• more cleanup

  kevjue

  committed
  4f3644e

• fix CI clippy issues

  kevjue

  committed
  36bfb56

• more fixing of CI clippy issues

  kevjue

  committed
  e64aba1

• more constants

  kevjue

  committed
  aee91ad

• made IV public

  kevjue

  committed
  c421a96

Commits on Dec 7, 2023

• added register file for blake2b

  kevjue

  committed
  f5126b1

• made blake2b builder function public

  kevjue

  committed
  f4c034e

Commits on Dec 8, 2023

• output memory label at error

  kevjue

  committed
  d87802e

• fix

  kevjue

  committed
  1aa3658

• address pr comments

  kevjue

  committed
  3e44f3d

• removed a debug line

  kevjue

  committed
  3080bbb