Code

Complete bn254 bindings implementation#3

Code

Draft

gabrielbosio wants to merge 17 commits intowasm_kzg_proverlambdaclass/o1js:wasm_kzg_proverfrom verifier_bn254lambdaclass/o1js:verifier_bn254Copy head branch name to clipboard

+1,530-27

Commits

Commits on Mar 12, 2024

• Adapt ForeignCurve and Unconstrained to bn254

  gabrielbosio

  committed
  45a8551

  Copy full SHA for 45a8551

• [WIP] Start adding bn254 modules for verifier

  gabrielbosio

  committed
  cf757f6

  Copy full SHA for cf757f6

• Update mina

  gabrielbosio

  committed
  bcf6af9

  Copy full SHA for bcf6af9

• Adapt to bn254 poseidon

  gabrielbosio

  committed
  145a962

  Copy full SHA for 145a962

• Use bn254 poseidon

  gabrielbosio

  committed
  382b0eb

  Copy full SHA for 382b0eb

• Fix run issue and add comment in unused fn

  gabrielbosio

  committed
  e285fb4

  Copy full SHA for e285fb4

Commits on Mar 13, 2024

• Update mina and bindings

  gabrielbosio

  committed
  d25e249

  Copy full SHA for d25e249

• Return index with proof

  gabrielbosio

  committed
  de8b5f6

  Copy full SHA for de8b5f6

Commits on Mar 14, 2024

• Update bindings and mina

  gabrielbosio

  committed
  3278a3d

  Copy full SHA for 3278a3d

• Implement serialize in bn254 proof

  gabrielbosio

  committed
  02e38a5

  Copy full SHA for 02e38a5

• Implement srs serialization

  gabrielbosio

  committed
  b6ed2b0

  Copy full SHA for b6ed2b0

• Log verifier srs

  gabrielbosio

  committed
  500404c

  Copy full SHA for 500404c

• Log srs depth

  gabrielbosio

  committed
  af2045d

  Copy full SHA for af2045d

• Hardcode bn254 srs depth

  gabrielbosio

  committed
  e121fa6

  Copy full SHA for e121fa6

• Serialize public inputs as limbs

  gabrielbosio

  committed
  a8c55db

  Copy full SHA for a8c55db

• Update kimchi

  gabrielbosio

  committed
  a4ef5eb

  Copy full SHA for a4ef5eb

Commits on Apr 18, 2024

• Expose bn254 Poseidon

  gabrielbosio

  committed
  0dea027

  Copy full SHA for 0dea027