privacy-scaling-explorations/chiquito

Issues

• Implementing parser for declarations of arrays of singals and variables

  #293 opened 3 months ago by leolara
  0

• Implementing parser use of array query in expressions.

  #294 opened 3 months ago by leolara
  0

• Change the semantic analyser for multiple machine

  #296 opened 3 months ago by leolara
  1

• Find out how to publish keccak paper in pse.dev blog

  #275 opened 3 months ago by leolara
  0

• Semantic analysis hyper transition

  #291 opened 3 months ago by leolara
  1

• In compiler add hyper transitions compilation constraints to the SBPIR in the lookup "target class"

  #292 opened 3 months ago by leolara
  0

• Public inputs and outputs in chiquito 2024

  #250 opened 3 months ago by leolara
  0

• propose syntax for machines calling machines

  #271 opened 3 months ago by leolara
  1

• Using M type to keep DebugSym in Expr

  #274 opened 3 months ago by leolara
  2

• Investigate how to compile chiquito style State machine to CCS

  #207 opened 3 months ago by leolara
  1

• Upload tutorial

  #241 opened 3 months ago by leolara
  0

• Implement lexer/parser for hyper transition

  #290 opened 6 months ago by leolara
  1

• new compiler should compiler multiple machines to new SBPIR

  #287 opened 6 months ago by leolara
  1

• Research how to do common subexpression elimination

  #231 opened 6 months ago by leolara
  0

• Commit 1f43e4d breaks the hyperplonk compilation

  #279 opened 6 months ago by alxkzmn
  2

• Refactor lookup argument creation

  #267 opened 6 months ago by alxkzmn
  0

• Remove chiquito2Halo2 function in halo2 backend

  #273 opened 6 months ago by leolara
  1

• Refactoring: Compiler to return new structure for several machines

  #280 opened 6 months ago by leolara
  2

• Witness generation in chiquito 2024

  #247 opened 7 months ago by leolara
  0

• Run chiquito 2024 with the plonkish compiler

  #248 opened 7 months ago by leolara
  0

• Automatic padding in chiquito 2024

  #249 opened 7 months ago by leolara
  0

• We shouldn't use DummyRng in examples and python frontend

  #270 opened 7 months ago by leolara
  1

• Running keccak example shouldn't generate files (or it can be an option)

  #258 opened 7 months ago by leolara
  2

• Implement black2f example with multiple inputs and exporting lookup table

  #208 opened 7 months ago by leolara
  0

• Create Blake2f implementation in Rust chiquito

  #206 opened 7 months ago by leolara
  1

• Halo2 backend should infer the `k` value from the number of rows of the CompilationUnit

  #266 opened 7 months ago by alxkzmn
  0

• Compile to halo2 middleware

  #255 opened 7 months ago by leolara
  7

• Why is main branch not passing the github automatic tests?

  #260 opened 8 months ago by leolara
  1

• Refactor wit_gen::TraceGenerator into a trait

  #251 opened 8 months ago by leolara
  1

• Semantic analyser: left side of `=` should be wg vars, no signals

  #214 opened 8 months ago by leolara
  0

• Semantic Analyser: if query in logical expression, type of the symbol must be bool

  #229 opened 8 months ago by leolara
  0

• Semantic analyser: state variables can only be declared in the top level block

  #223 opened 8 months ago by leolara
  2

• Make so when creating a PR to chiquito-2024 runs the same CI as for main

  #244 opened 9 months ago by leolara
  0

• Make DebugSymRef usable

  #242 opened 9 months ago by leolara
  0

• Python front-end is not working due to change in how halo2curves serialises to json

  #237 opened 9 months ago by leolara
  0

• Semantic Analyser: "false" and "true" constants can only be in logical expressions

  #230 opened 10 months ago by leolara
  0

• Semantic analyser: cannot shadow a variable

  #222 opened 10 months ago by leolara
  1

• Semantic Analyser: only types field and bool exists

  #228 opened 10 months ago by leolara
  0

• Symbol Table: get_type

  #227 opened a year ago by leolara
  0

• Add missing binary operators to LALRPOP and AST

  #205 opened a year ago by leolara
  0

• Add missing arithmetic operators to parser

  #216 opened a year ago by leolara
  3

• Semantic analyser: Machine block can only contain variable (wg, signal) declarations and state declarations

  #220 opened a year ago by leolara
  0

• Semantic analyser: cannot redeclare a variable (wg, signal) in the same scope

  #221 opened a year ago by leolara
  0

• Finish ABEPI prototype for all statements

  #209 opened a year ago by leolara
  0

• Semantic analysier: Expressions right of `<==` and both sides of `===` can only contain singals no wg vars

  #213 opened a year ago by leolara
  0

• Add variable assignment operartor to parser

  #215 opened a year ago by leolara
  1

• Semantic analyser: Left of `<--` and `<==` should all be signals

  #212 opened a year ago by leolara
  0

• Implement modular exponentiation in chiquito 2024

  #193 opened a year ago by leolara
  1

• Add check that the signal is in the circuit

  #194 opened a year ago by rutefig
  0

• apidocs.pecadorplonkish.xyz is not safe

  #196 opened a year ago by 0xbok
  4