taikoxyz/zkevm-circuits

Issues

• extended Jacobian coordinates

  #121 opened 2 years ago by einar-taiko
  13

• chore(repo): year update in the LICENSE file

  #184 opened 8 months ago by 1uckyjack
  0

• Add codespell to workflow

  #182 opened 10 months ago by miles-six
  0

• Standalone circuit tools

  #92 opened 2 years ago by CeciliaZ030
  2

• Calculate and check previous 256 block hashes

  #107 opened 2 years ago by ggkitsas
  4

• Fuzzing test plan for circuits

  #139 opened a year ago by CeciliaZ030
  1

• Taiko Testing Feature

  #172 opened a year ago by kdtd1
  1

• Duplicate MSM and FFT implementations and benchmarks from `halo2` into `halo2curves`

  #150 opened a year ago by einar-taiko
  0

• Merge PI circuit keccak tables

  #148 opened a year ago by ggkitsas
  0

• Merge PI circuit block tables

  #147 opened a year ago by ggkitsas
  0

• No way to obtain 256 past blocks in PI circuit

  #146 opened a year ago by ggkitsas
  0

• Blockhash circuit assumes that 256 past blocks always exist

  #145 opened a year ago by ggkitsas
  0

• SIGKILL when too many MockProver errors

  #130 opened a year ago by Brechtpd
  4

• For invalid bytecode, bytecode circuit validates to true.

  #144 opened a year ago by krzysztofpaliga
  0

• SGX support planing

  #140 opened a year ago by CeciliaZ030
  0

• Implement signed digit-recoding

  #141 opened a year ago by einar-taiko
  0

• Block aggregation circuit

  #85 opened a year ago by Brechtpd
  1

• Invalid transaction cases tracker

  #131 opened a year ago by Brechtpd
  0

• Support shanghai fork

  #137 opened a year ago by johntaiko
  0

• FPGA prover

  #94 opened 2 years ago by Brechtpd
  1

• TxList validity checks

  #82 opened 2 years ago by Brechtpd
  0

• Test blake2b circuit

  #127 opened a year ago by vlopes11
  0

• Integrate EVM circuit into TaikoSuperCircuit

  #112 opened 2 years ago by Brechtpd
  10

• Implement Taiko specific changes in the EVM circuit

  #122 opened 2 years ago by Brechtpd
  2

• RLP circuit with invalid data support

  #71 opened 2 years ago by Brechtpd
  2

• Get aggregation/root circuit up and running

  #80 opened 2 years ago by Brechtpd
  0

• Support invalid signatures

  #70 opened 2 years ago by Brechtpd
  0

• In-circuit blockhash calculation

  #79 opened 2 years ago by Brechtpd
  2

• Improved testing tools

  #72 opened 2 years ago by Brechtpd
  0

• Prover optimization: memory reduction

  #77 opened 2 years ago by Brechtpd
  2

• In-circuit anchor transaction checks

  #67 opened 2 years ago by Brechtpd
  27

• Integrate bytecode circuit into TaikoSuperCircuit

  #114 opened 2 years ago by Brechtpd
  0

• Integrate keccak circuit into TaikoSuperCircuit

  #113 opened 2 years ago by Brechtpd
  0

• Upgrade complex circuits to macro syntax

  #109 opened 2 years ago by mabbamOG
  0

• Allow loading in Taiko blocks into the circuit

  #108 opened 2 years ago by Brechtpd
  0

• Integrate the KZG circuit into the PI circuit

  #83 opened 2 years ago by Brechtpd
  0

• EIP1559 support

  #87 opened 2 years ago by Brechtpd
  1

• Update public input circuit for new protocol release

  #78 opened 2 years ago by Brechtpd
  6

• Improve dev-graph for circuit visualization & debug

  #93 opened 2 years ago by CeciliaZ030
  0

• Cache keccak hashes with their corresponding Poseidon hash

  #97 opened 2 years ago by Brechtpd
  0

• Support sub-circuit aggregation

  #90 opened 2 years ago by Brechtpd
  0

• Make halo2 Expression Copyable

  #64 opened 2 years ago by Brechtpd
  2

• Access list support

  #89 opened 2 years ago by Brechtpd
  0

• Try out Axiom's halo2 non-native math lib

  #69 opened 2 years ago by Brechtpd
  0

• Withdrawals root support

  #88 opened 2 years ago by Brechtpd
  0

• Support multiple root circuits

  #84 opened 2 years ago by Brechtpd
  0

• Worst case block analysis

  #86 opened 2 years ago by Brechtpd
  0

• Allow halo2 constraint names to have non-static names

  #65 opened 2 years ago by Brechtpd
  4

• Block proposal proof

  #66 opened 2 years ago by Brechtpd
  0

• Add negative test in returndatacopy gadget

  #68 opened 2 years ago by Brechtpd
  0