Code

Addition of gates, and poseidon bn254#32

Code

Open

utsavjnn wants to merge 63 commits intomasterElectron-Labs/plonky2-groth16-verifier:masterfrom tendermintElectron-Labs/plonky2-groth16-verifier:tendermintCopy head branch name to clipboard

+51,112-17,359

Commits

Commits on Dec 17, 2023

• add poseidon2 goldilocks

  utkarsh-21st

  committed
  b7dd73a

Commits on Jan 9, 2024

• optimize reduction

  utkarsh-21st

  committed
  34afaf3

• add goldilocks algebra extension

  utkarsh-21st

  committed
  736ad0c

• fix goldilocks algebra

  utkarsh-21st

  committed
  444d3ec

• add arithmetic extension gate

  utkarsh-21st

  committed
  72d12ad

• fix reduce bits in arithmetic gate

  utkarsh-21st

  committed
  91789c6

• add some goldilocks functions

  utkarsh-21st

  committed
  f511e43

• fix reduce bits in arithmetic extension

  utkarsh-21st

  committed
  ad75b9f

• refactor

  utkarsh-21st

  committed
  17591c6

• optimize algebra; reevaluate bits in a in arithmetic extension gate

  utkarsh-21st

  committed
  c3f3874

• fix reduction bits

  utkarsh-21st

  committed
  752d861

• add coset interpolation gate

  utkarsh-21st

  committed
  3bf5ef0

• reve function export

  utkarsh-21st

  committed
  cb0386b

• fix reduce bits

  utkarsh-21st

  committed
  a9a8bbe

• refactor CosetInteroplationGate

  utkarsh-21st

  committed
  9130252

Commits on Jan 20, 2024

• fix reduction bits in coset interpolation gate

  utkarsh-21st

  committed
  77872e3

• add base_sum gate

  utkarsh-21st

  committed
  d9855fa

• add exponentiation gate

  utkarsh-21st

  committed
  fc5c9f0

Commits on Jan 21, 2024

• fix reduction in exponentiation

  utkarsh-21st

  committed
  d1488e6

• add lookup gate

  utkarsh-21st

  committed
  0a6caa9

• add lookup_table gate

  utkarsh-21st

  committed
  0214f40

• add multiplication extension gate

  utkarsh-21st

  committed
  b7c2a03

• fix reduction bits in MulExtension gate

  utkarsh-21st

  committed
  7c38bc7

• add noop gate

  utkarsh-21st

  committed
  777ed6e

• add random access gate

  utkarsh-21st

  committed
  7aa8d7a

• fix reduction bits in ranom access gate

  utkarsh-21st

  committed
  90bcf9b

• add reducing gate

  utkarsh-21st

  committed
  fc1a02a

• add reducing extension gate

  utkarsh-21st

  committed
  280e884

• add poseidon mds gate

  utkarsh-21st

  committed
  b95016c

• add u32 comparison gate

  utkarsh-21st

  committed
  4308005

• add U32AddManyGate

  utkarsh-21st

  committed
  517a9ef

• add U32ArithmeticGate

  utkarsh-21st

  committed
  3cacfc0

• fix SelectHashOutRecursive and SelectGoldilocksExt2Recursive

  utkarsh-21st

  committed
  2ccd438

• script to export solidity verifier

  utkarsh-21st

  committed
  0a4a426

• add poseidon bn254 hash

  utkarsh-21st

  committed
  89ef7cb

• refactor poseidon

  utkarsh-21st

  committed
  afee10b

• add poseidon bn254 hasher

  utkarsh-21st

  committed
  5c8d1e1

• fix goldilocks elements to bn254 conversion

  utkarsh-21st

  committed
  c6d431c

• integrate poseidon bn254 hasher

  utkarsh-21st

  committed
  32724a7

• fix PoseidonBn254HashOut ToVec function

  utkarsh-21st

  committed
  79a705b

• add plonk backend scripts

  utkarsh-21st

  committed
  0e97f7b

• update fri test

  utkarsh-21st

  committed
  fa5d188

• some fixes

  utkarsh-21st

  committed
  26f700d

• derive gnark public inputs from ponky2 public inputs

  utkarsh-21st

  committed
  4110138

• sync

  adityashukla700

  committed
  2c88220

• move proof testdata

  utkarsh-21st

  committed
  84a41bc

Commits on Jan 28, 2024

• update number of plonky2 pub inputs

  utkarsh-21st

  committed
  e3e1f43

• add U32Interleave gate

  utkarsh-21st

  committed
  328fd64

Commits on Jan 29, 2024

• add UninterleaveToU32 gate

  utkarsh-21st

  committed
  047a364

• add UninterleaveToB32 gate

  utkarsh-21st

  committed
  290e9a8

• Merge branch 'plonk_backend' into tendermint

  utkarsh-21st

  committed
  12860a8

• add U2Subtraction gate

  utkarsh-21st

  committed
  97d8126

• Merge branch 'plonk_backend' into tendermint

  utkarsh-21st

  committed
  0f77159

Commits on Feb 8, 2024

• update gnark public inputs

  utkarsh-21st

  committed
  3efb14c

Commits on Feb 12, 2024

• export build and prove functions in C ABI

  utkarsh-21st

  committed
  cef7903

Commits on Feb 13, 2024

• return serialized proof in hex in function GeneratePlonkProof

  utkarsh-21st

  committed
  8ad79a7

• export solidity verifier and update .gitignore

  utkarsh-21st

  committed
  c3ea36f

• add TestBuildPlonkCircuit

  utkarsh-21st

  committed
  218f054

Commits on Feb 14, 2024

• add main.so file

  utkarsh-21st

  committed
  285bbf4

Commits on Feb 20, 2024

• update public inputs calculation

  utkarsh-21st

  committed
  aaa41c1

• update .so file

  utkarsh-21st

  committed
  1b448ae

Commits on Feb 22, 2024

• return proofGenTime in FFI

  utkarsh-21st

  committed
  c743d08

Commits on Feb 23, 2024

• return proofGenTme in msg

  utkarsh-21st

  committed
  2a3914d