circify/circ

Issues

• Copy-and-pasted code

  #212 opened 16 days ago by matthiasgoergens
  0

• Demo example of z# unsafe witness

  #210 opened a month ago by katat
  0

• Support for Zokrates braces syntax

  #208 opened 2 months ago by StefanosChaliasos
  4

• Supporting smtlib output?

  #191 opened 6 months ago by ytrezq
  1

• How to compile circom to ꜱᴍᴛ ?

  #192 opened 6 months ago by ytrezq
  5

• Excessive(?) RAM usage on moderately sized linear transforms

  #189 opened 7 months ago by cmlsharp
  0

• Suggestions to make getting started a bit easier

  #177 opened a year ago by martyall
  0

• Compile C code to R1CS

  #173 opened a year ago by OmarAlmighty
  3

• How to print out the result

  #168 opened a year ago by zyl2016
  2

• cfold: divide by zero semantics

  #69 opened a year ago by kwantam
  2

• compile C to R1CS

  #79 opened a year ago by open-contracts
  4

• compile error

  #49 opened a year ago by haroldcarr
  3

• How to run on an example C program?

  #105 opened a year ago by mr-pandabear
  1

• Circom intermediate representation

  #165 opened a year ago by aviggiano
  1

• Errors in Setup/Proving/Verifying Phase

  #125 opened 2 years ago by woopuiyung
  1

• Unable to reproduce sha256/shaRound constraints number

  #101 opened 2 years ago by collinzrj
  4

• Incorrect version of ZoKrates in README

  #99 opened 2 years ago by collinzrj
  1

• examples/C/r1cs/add.c apparently set up for MPC?

  #95 opened 2 years ago by kwantam
  10

• PfToBv: only defined for field elms in 0,1?

  #61 opened 3 years ago by kwantam
  3

• performance issues: linearity reduction for R1CS

  #57 opened 3 years ago by kwantam
  8

• SetDefaultModulus bug

  #64 opened 3 years ago by kwantam
  0

• moduli and types for field elements

  #31 opened 3 years ago by kwantam
  2

• OOB array access semantics

  #37 opened 3 years ago by kwantam
  11

• Cannot perform op `==` on array and array

  #2 opened 3 years ago by sshravan
  2

• IR tuple internal repr

  #39 opened 3 years ago by kwantam
  0

• in arch, "coinor-cbc" should be "coin-or-cbc"

  #23 opened 3 years ago by kwantam
  1

• Upgrading ZoKrates to 0.7.x. Support for const and u64.

  #3 opened 3 years ago by sshravan
  1

• with_indices: is this doing anything?

  #36 opened 3 years ago by kwantam
  4

• CI: clippy and format

  #29 opened 3 years ago by kwantam
  0

• reorg proposal: workspace, front- and back-ends in separate crates, etc.

  #28 opened 3 years ago by kwantam
  3

• Brief licensing query

  #24 opened 3 years ago by cwgoes
  2

• optimization opportunity: constants in operations whose cost depends on operand size

  #1 opened 3 years ago by kwantam
  0