NilFoundation/zkllvm-transpiler

Issues

• Convenient build with crypto3

  #88 opened 6 months ago by ETatuzova
  0

• Update circuits.hpp from crypto3-zk

  #83 opened 7 months ago by vo-nil
  0

• Recursion-friendly changes

  #78 opened 8 months ago by ETatuzova
  0

• Process json public input files

  #11 opened 8 months ago by ETatuzova
  0

• Process keccak hash function in json proof correctly

  #75 opened 9 months ago by ETatuzova
  0

• Remove dynamic for loops from recursive verifier

  #72 opened 10 months ago by ETatuzova
  0

• Review commitment scheme

  #38 opened 10 months ago by vo-nil
  0

• Check values in etha point

  #46 opened 10 months ago by ETatuzova
  0

• Update LPC batching

  #65 opened a year ago by ETatuzova
  0

• Generate input for recursive verifier

  #39 opened a year ago by ETatuzova
  0

• Add proof size check for EVM verifier

  #68 opened a year ago by ETatuzova
  0

• CI for transpiler

  #67 opened a year ago by ETatuzova
  1

• Colinear check visibility bug

  #62 opened a year ago by ETatuzova
  0

• Big gates profiling

  #4 opened a year ago by ETatuzova
  1

• Master zk compatibility

  #60 opened a year ago by ETatuzova
  0

• Small fix after changes in zk, related to transcript initialization.

  #58 opened a year ago by martun
  0

• Grinding in-EVM bug

  #49 opened a year ago by ETatuzova
  0

• Add test circuit with two public columns

  #52 opened a year ago by vo-nil
  0

• EVM verifier return value and error events

  #45 opened a year ago by ETatuzova
  0

• Gas optimization

  #29 opened a year ago by ETatuzova
  0

• Transpiler goes to infinite loop when generating code for placeholder

  #44 opened a year ago by vo-nil
  0

• Check fixed-values polys evaluations in _etha point

  #43 opened a year ago by ETatuzova
  0

• Multiply gate argument result on mask

  #41 opened a year ago by ETatuzova
  0

• Optimize constraint_computation_code

  #36 opened a year ago by vo-nil
  0

• Optimize constraint_computation_code

  #32 opened a year ago by vo-nil
  0

• Permutation argument bug

  #33 opened a year ago by ETatuzova
  0

• Rework gate argument template

  #24 opened a year ago by vo-nil
  0

• Lookup compatibility

  #21 opened a year ago by ETatuzova
  0

• Public input gate

  #25 opened a year ago by ETatuzova
  0

• Bug with term=1

  #12 opened a year ago by ETatuzova
  0

• Crash on long loops

  #22 opened a year ago by akokoshn
  2

• Few small changes related to changes in zk

  #19 opened a year ago by martun
  0

• Plonk_variable now accepts AssigmentType as template parameter

  #14 opened a year ago by martun
  0

• Modify transpiler to generate pure solidity code and skip assembly

  #16 opened a year ago by hgedia
  0

• Hardhat compatibility

  #9 opened 2 years ago by ETatuzova
  0

• Make changes related to Expression class change in ZK

  #6 opened 2 years ago by martun
  0

• EVM branch 37 compatibility

  #3 opened 2 years ago by ETatuzova
  0

• Create batched evaluation proofs compatible version

  #1 opened 2 years ago by ETatuzova
  0