argumentcomputer/solidity-verifier

Issues

• Gas cost reduction

  #29 opened a year ago by storojs72
  15

• :rotating_light: Arecibo compatibility is broken

  #69 opened 8 months ago by samuelburnham
  0

• Create HyperKZG building block in Solidity

  #59 opened 8 months ago by storojs72
  0

• Make gas estimation work when calling pairing precompile

  #67 opened 8 months ago by storojs72
  0

• Implement a better MSM

  #65 opened 8 months ago by huitseeker
  1

• :rotating_light: Arecibo compatibility is broken

  #66 opened 8 months ago by samuelburnham
  0

• Enhancement: support for the solidity-verifier

  #64 opened 8 months ago by huitseeker
  0

• Test HyperKZG implementation on arbitrary/various inputs

  #61 opened 8 months ago by storojs72
  0

• Implement generator of Nova proof and verifier's key serialised to JSONs

  #24 opened a year ago by storojs72
  2

• Test IPA verification with polynomials of 11 - 14 variables

  #52 opened 9 months ago by storojs72
  1

• Implement Zeromorph in Solidity

  #30 opened 9 months ago by storojs72
  3

• Verification of Nova proofs generated by arbitrary Lurk program

  #47 opened 10 months ago by storojs72
  1

• Transition to Grumpkin curve cycle

  #14 opened a year ago by mpenciak
  4

• an idea to reduce gas cost by converting a Nova proof to other proof system

  #41 opened a year ago by RoyTimes
  1

• Off-chain preprocessing and mandatory on-chain computations

  #40 opened a year ago by storojs72
  0

• Analyse "cost smells"

  #34 opened a year ago by storojs72
  0

• Sponge contracts exceed Ethereum limits

  #2 opened 2 years ago by storojs72
  1

• Modify Poseidon contract generator to use constant from verifier key JSON

  #6 opened a year ago by storojs72
  1

• Enable integration testing using self-hosted Anvil node

  #22 opened a year ago by storojs72
  2

• mid-level issues reported by slither

  #23 opened a year ago by huitseeker
  1

• Unit-testing field operations

  #11 opened a year ago by huitseeker
  4

• Make the RNG for tests reproducible

  #12 opened a year ago by mpenciak
  1

• Integration tests

  #5 opened a year ago by storojs72
  0