0xPolygonZero/plonky2

Issues

• Starky proof failing to verify recursively

  #1631 opened a month ago by armanthepythonguy
  8

• Bug ? `circuit_builder` timing | features misconfiguration

  #1639 opened a month ago by NikitaMasych
  0

• Nightly to Stable clarification

  #1638 opened a month ago by NikitaMasych
  3

• Expose STARK inner polynomials better

  #1613 opened 5 months ago by hratoanina
  2

• Better timing

  #1627 opened 3 months ago by doutv
  0

• Documentation in plonky2 crate

  #1446 opened a year ago by Gorzorg
  11

• Support batching of more than two columns for Starky LogUp helper columns

  #1622 opened 4 months ago by hratoanina
  0

• the RE polynomial implementation seems not consistent with the paper

  #1619 opened 4 months ago by cliff0412
  1

• some thoughts on range check optimization

  #1616 opened 4 months ago by cliff0412
  0

• Deal with `CompressedStarkProof` on `starky` side

  #1523 opened 4 months ago by Nashtare
  0

• Proper treatment of zero-knowledge

  #1605 opened 6 months ago by ulrich-haboeck
  0

• Panic when error is expected

  #1612 opened 5 months ago by shriphani
  2

• Panic when trying to generate proof with invalid witness

  #1490 opened 5 months ago by Gorzorg
  0

• Handle arbitrary, different `Stark` types as argument

  #1610 opened 5 months ago by hratoanina
  0

• Increase testing in starky crate

  #1514 opened a year ago by Nashtare
  3

• Add Prometheus metrics support to the prover

  #1513 opened a year ago by dvdplm
  0

• Amortize serialization size bloat

  #1548 opened 10 months ago by Nashtare
  0

• CTL's looking table grouping is wonky

  #1582 opened 8 months ago by matthiasgoergens
  0

• what is the most expensive part of `compute_quotient_polys` under `plonky2/plonk2/src/plonk/prover.rs`

  #1485 opened a year ago by cliff0412
  0

• Comment about the security section and Poseidon

  #1277 opened a year ago by mschof
  1

• Solving cross verification of n-recursed circuits using Domain Separator

  #1561 opened 9 months ago by utsavjnn
  4

• Understanding selected gate for each row in the trace table

  #1491 opened a year ago by wizicer
  0

• Explicitely mention that `starky` doesn't support `ZK`

  #1595 opened 7 months ago by Nashtare
  0

• Starky proof is generated but can't be verified

  #1593 opened 7 months ago by Dimo99
  2

• Move `README`'s contribution guidance into a `CONTRIBUTING.md`

  #1537 opened 9 months ago by Nashtare
  0

• Allow larger constraint degrees for logUp

  #1515 opened 9 months ago by Nashtare
  1

• Question: why BaseSumGate takes up the whole row while the other gates can share the same row across multiple instances?

  #1551 opened 9 months ago by GopherJ
  1

• plonky2 works very slow after MacOS Sonoma 14.4 has beed updated

  #1553 opened 9 months ago by xiyu1984
  3

• The `Solidity` Verifier for `Plonky2` Proofs

  #1470 opened 10 months ago by xiyu1984
  7

• Fix CTLs with exactly two looking tables

  #1554 opened 9 months ago by hratoanina
  0

• How to generate an Ethereum friendly plonk verifier?

  #1374 opened a year ago by martyall
  4

• Support monolith hash instead of Poseidon.

  #1541 opened 10 months ago by pierreuu
  1

• Add workspace CHANGELOG for future releases

  #1520 opened 10 months ago by Nashtare
  0

• Failed to build for wasm32-unknown-unknown with no_std

  #1527 opened 10 months ago by gshep
  0

• Improve Rust Documentation for EVM

  #1376 opened a year ago by pgebheim
  1

• Bundle memory addresses in a single `U256`

  #1324 opened a year ago by Nashtare
  2

• Inquiry about Serialization and Deserialization of the "data" Variable in plonky2-ecdsa

  #1445 opened a year ago by Hodgeson
  1

• Prover initialization and `AllRecursiveCircuits` API

  #1394 opened a year ago by Nashtare
  0

• Discord

  #1431 opened a year ago by ppoliani
  2

• A problem in gadget `split_base`

  #1421 opened a year ago by xiyu1984
  4

• Update kernel cost estimator

  #1332 opened a year ago by Nashtare
  0

• Examples for adding private inputs

  #1249 opened a year ago by drewstone
  3

• Allow higher degrees in CTL filters

  #1326 opened a year ago by Nashtare
  0

• Contract using only native instructions can cause infinite loop

  #1298 opened a year ago by wborgeaud
  6

• The top of the stack isn't always range-checked

  #1325 opened a year ago by Nashtare
  1

• Support EIP-6780 SELFDESTRUCT in Same Transaction

  #1268 opened a year ago by pgebheim
  0

• Support MCOPY EIP-5656

  #1267 opened a year ago by pgebheim
  1

• Support EIP-7516: BLOBBASEFEE opcode

  #1273 opened a year ago by wborgeaud
  3

• Fix kernel panics from hitting hash nodes during reverts

  #1275 opened a year ago by BGluth
  1

• Panic handling

  #1247 opened a year ago by Nashtare
  2