iden3/circom

Issues

• The problem of circom compiler bottom layer algorithm

  #271 opened 12 days ago by MJJ-Shuai
  0

• Possible bug in cpp witness generation

  #230 opened a month ago by Stentonian
  5

• Different Results for Complement Bitwise Operator

  #270 opened a month ago by LukiMueller
  0

• Polynomial is not Divisible

  #269 opened a month ago by MarkCampbell90
  0

• Feature request : please support ꜱᴍᴛʟɪʙ as a target !

  #268 opened a month ago by ytrezq
  0

• Problems generating verifier.sol

  #233 opened 6 months ago by FredericoBaptista
  1

• Compiler Panic when using nested Ternary Expressions

  #263 opened 2 months ago by MarkCampbell90
  0

• Constraint statistics does not appear to be correct

  #262 opened 2 months ago by yzhang90
  0

• Bug: assert failure instead of semantic error

  #250 opened 3 months ago by tim-hoffman
  1

• Input Signal Len Bug during Compile Step

  #242 opened 4 months ago by Shadow-Silhouette
  1

• Witness generation code comments and vars instead of let or const

  #261 opened 2 months ago by Pfed-prog
  0

• Constraints are optimized away mistakenly by using O2

  #252 opened 3 months ago by Yu3H0
  0

• Question about fr.asm

  #251 opened 3 months ago by MJJ-Shuai
  0

• test failure

  #236 opened 5 months ago by tim-hoffman
  1

• Error generating the proof in Groth16

  #249 opened 3 months ago by hdvanegasm
  1

• Support circom with bazel rule

  #247 opened 3 months ago by chokobole
  0

• Logging Bug during Compile Step

  #240 opened 4 months ago by Shadow-Silhouette
  1

• When the first branch of a function returns a single-element array, later branches will return weird values

  #245 opened 4 months ago by anonnice1999
  0

• Error during compile of circom generated cpp

  #243 opened 4 months ago by austbot
  0

• Fresh M2 (Apple Silicon) Mac Tutorial Issue regarding: Computing Witness w/ C++

  #201 opened a year ago by adrianmcli
  5

• Support HashMap in function

  #237 opened 5 months ago by visopsys
  0

• cpp witness generation illegal instruction Fr_rawMMul

  #229 opened 5 months ago by rickardomc
  7

• Division by Zero issue

  #206 opened a year ago by TuyetTDuong
  1

• Operator reference does not define `<==` operator

  #232 opened 5 months ago by matthiasgeihs
  1

• Readme text style broken (minor)

  #171 opened 6 months ago by Pfed-prog
  1

• WASM/JS witness generator cannot handle large numbers

  #217 opened 6 months ago by bkomuves
  2

• compiler crash with `internal error: entered unreachable code`

  #216 opened 6 months ago by bkomuves
  1

• Duplicated callable symbol

  #225 opened 6 months ago by numtel
  0

• After simplification of Num2Bits the compiler removes the important constraint

  #224 opened 6 months ago by thebor1337
  0

• adding new primes

  #222 opened 7 months ago by nickz-t3
  0

• Definition and usage of new signal inside different if blocks fails in 2.1.5

  #180 opened 9 months ago by Divide-By-0
  1

• Allow `main` to have tagged inputs

  #203 opened 9 months ago by erhant
  1

• Invalid syntax causes crash rather than error message

  #195 opened 9 months ago by tim-hoffman
  1

• `parallel` keyword does not work as intended when used at component level

  #204 opened 9 months ago by ultrainstinct30
  1

• Error Occurring with Circom Compiler When Generating C++ WTNS Generator

  #209 opened 9 months ago by MingyuHeTKS
  3

• Prefix increment/decrement operator

  #207 opened 9 months ago by 000wan
  2

• unexpected result of negative input

  #208 opened 9 months ago by okwme
  2

• Signal indexed assignment fails in anonymous components

  #189 opened 10 months ago by BlakeMScurr
  4

• Formal language specification

  #178 opened 10 months ago by tim-hoffman
  1

• Building constraints for example `isZero` circuit

  #170 opened 10 months ago by Pfed-prog
  2

• what is the max circuit size supported

  #188 opened a year ago by ww6726
  6

• Why does generated cpp never use return values

  #198 opened a year ago by tim-hoffman
  0

• witness generation is skipped (and hence the output is wrong) when the input is empty

  #174 opened a year ago by bkomuves
  1

• error in the generated WASM code: "not enough arguments on the stack for i32.mul (need 2, got 1)"

  #175 opened a year ago by bkomuves
  1

• Question about constraints and expression order impact

  #183 opened a year ago by a6-dou
  2

• [Bug] The implementation of `/` operator

  #176 opened a year ago by whbjzzwjxq
  1

• Circuit named main.circom produced malformed code when using --c

  #185 opened a year ago by StefanosChaliasos
  2

• error[P1014]: The file ./circomlib/circuits/poseidon.circom to be included has not been found = Consider using compilation option -l to indicate include paths

  #192 opened a year ago by aakash4dev
  0

• need to update deprecated lalrpop dependency

  #168 opened a year ago by Divide-By-0
  1

• "\" operator causes downstream verification failure despite witness+proof generation success

  #167 opened a year ago by nanaknihal
  2