Code

impl test for ghash, polyval#49

Code

Merged

thor314 merged 22 commits intomainpluto/aes-circuits:mainfrom ghash-polyvalpluto/aes-circuits:ghash-polyvalCopy head branch name to clipboardAug 19, 2024

+250-162

Commits

Commits on Aug 14, 2024

• passing test for gfmulx

  0xJepsen

  committed
  287839e

Commits on Aug 15, 2024

• RFC test vector fails

  0xJepsen

  committed
  3a4f781

• comments

  0xJepsen

  committed
  ef54fc8

• refactor test code paths: create dir for gfmulx for polyval and ghash

  thor314

  committed
  6dd3513

• implement tests for ghash + format file

  thor314

  committed
  d2d72c1

• implement polyval tests

  thor314

  committed
  b9bc6f6

• implement more thorough polyval testing to inspect LE encoding bug

  thor314

  committed
  51b35c6

• leftshift LE circom written and tested

  thor314

  committed
  9af7124

Commits on Aug 16, 2024

• incorporate LE shift changes into polyval_GFMULX

  thor314

  committed
  4538c2b

• gf_mul polyval passing tests

  thor314

  committed
  ddd4858

• note conflict in tests

  thor314

  committed
  bbebe4e

• implement ghash mulx

  thor314

  committed
  91090b6

• clean

  thor314

  committed
  ddef808

• setup to implement ghash

  thor314

  committed
  2f9adea

• impl reverse_byte array

  thor314

  committed
  9ea4ede

• circomkit bug? can't declare input to GHASH

  thor314

  committed
  eefa067

• ghash tests implemented

  thor314

  committed
  f4f8020

Commits on Aug 19, 2024

• bitreversal test compares output instead of expectPass

  KaiGeffen

  committed
  af3fafa

• Corrected ghash_gfmul comment

  KaiGeffen

  committed
  0f27e05

• Merging main

  KaiGeffen

  committed
  5f0cd96

• Added polyval test consistent with ghash

  KaiGeffen

  committed
  b21c3ce

• lint comments in circuit

  thor314

  committed
  bab3274