Code

[WIP] halo2 circuits#45

Code

Open

pnyda wants to merge 28 commits intodevelopMynaWallet/monorepo:developfrom chokermaxx/zkevm-sha256MynaWallet/monorepo:chokermaxx/zkevm-sha256Copy head branch name to clipboard

+1,667-762

Commits

Commits on Nov 4, 2023

• Clarify what the CLI commands do

  pnyda

  committed
  e44ef08

• Add rustfmt.toml

  pnyda

  committed
  4629079

• Calculate the identity commitment

  pnyda

  committed
  2a0b846

Commits on Nov 5, 2023

• Make the test pass with LIMB_BITS=32

  pnyda

  committed
  a88b354

Commits on Nov 7, 2023

• aaaa

  pnyda

  committed
  b97e074

• Split the commands

  pnyda

  committed
  f723877

• ahahaha

  pnyda

  committed
  a381d79

Commits on Nov 8, 2023

• WIP: 20231108

  pnyda

  committed
  c1472f9

Commits on Nov 9, 2023

• Measure the gas cost

  pnyda

  committed
  44f8aeb

• Test the circuit with just Halo2, without halo2-base

  pnyda

  committed
  4d568ab

• Feed TBSCertificate into the circuit by splitting it by 32bits each

  pnyda

  committed
  6fc2206

Commits on Nov 17, 2023

• Take a SHA256 hash on halo2 -> Sign it with RSA on halo2-base

  pnyda

  committed
  1a0b757

Commits on Nov 19, 2023

• Implement CLI commands to prove/verify a proof

  pnyda

  committed
  962da74

• Refactoring

  pnyda

  committed
  f1c30a9

• Implement a CLI command to generate a solidity code that verifies a proof

  pnyda

  committed
  de66ba3

• Refactoring

  pnyda

  committed
  4a1eeaa

Commits on Nov 23, 2023

• Store the generated solidity

  pnyda

  committed
  4f50859

• bugfix: I've mistaken bytes as bits

  pnyda

  committed
  9d73733

Commits on Nov 25, 2023

• Generate an identity commitment

  pnyda

  committed
  b7b650c

• Reduce K

  pnyda

  committed
  b29f173

• Store the generated calldata in a file

  pnyda

  committed
  5d3482a

Commits on Nov 26, 2023

• Use BufWriter

  pnyda

  committed
  36869e8

• Make the RSA circuit take the same height as the SHA256 circuit which is k=12

  pnyda

  committed
  e927353

Commits on Nov 28, 2023

• Refactoring

  pnyda

  committed
  5fe5e52

Commits on Nov 29, 2023

• Stop depending on my local files

  pnyda

  committed
  cfc2537

Commits on Dec 7, 2023

• Implement CircuitExt

  pnyda

  committed
  96fbf5a

Commits on Dec 8, 2023

• Refactor CLI

  pnyda

  committed
  3186cde

Commits on Dec 14, 2023

• Implement CLI for aggregation

  pnyda

  committed
  ace0c84