privacy-scaling-explorations / chiquito

DSL for Halo2 circuits

https://docs.pecadorplonkish.xyz/

privacy-scaling-explorations/chiquito Issues

Implementing parser use of array query in expressions.
Updated 2 months ago
Implementing parser for declarations of arrays of singals and variables
Updated 2 months ago
Investigate how to compile chiquito style State machine to CCS
Updated 2 months ago1
Change the semantic analyser for multiple machine
Updated 3 months ago1
Implement lexer/parser for hyper transition
Closed 3 months ago1
Semantic analysis hyper transition
Updated 3 months ago1
new compiler should compiler multiple machines to new SBPIR
Closed 3 months ago1
Research how to do common subexpression elimination
Closed 3 months ago
In compiler add hyper transitions compilation constraints to the SBPIR in the lookup "target class"
Updated 3 months ago
Commit 1f43e4d breaks the hyperplonk compilation
Closed 3 months ago2
Refactor lookup argument creation
Closed 3 months ago
Remove chiquito2Halo2 function in halo2 backend
Closed 3 months ago1
Refactoring: Compiler to return new structure for several machines
Closed 3 months ago2
Witness generation in chiquito 2024
Closed 4 months ago
Run chiquito 2024 with the plonkish compiler
Closed 4 months ago
Automatic padding in chiquito 2024
Closed 4 months ago
We shouldn't use DummyRng in examples and python frontend
Closed 4 months ago1
Find out how to publish keccak paper in pse.dev blog
Updated 4 months ago
Using M type to keep DebugSym in Expr
Updated 4 months ago2
propose syntax for machines calling machines
Updated 4 months ago1
Running keccak example shouldn't generate files (or it can be an option)
Closed 4 months ago2
Implement black2f example with multiple inputs and exporting lookup table
Closed 4 months ago
Create Blake2f implementation in Rust chiquito
Closed 4 months ago1
Halo2 backend should infer the `k` value from the number of rows of the CompilationUnit
Closed 4 months ago
Compile to halo2 middleware
Closed 4 months ago7
Why is main branch not passing the github automatic tests?
Closed 5 months ago1
Refactor wit_gen::TraceGenerator into a trait
Closed 5 months ago1
Semantic analyser: left side of `=` should be wg vars, no signals
Closed 5 months ago
Semantic Analyser: if query in logical expression, type of the symbol must be bool
Closed 5 months ago
Semantic analyser: state variables can only be declared in the top level block
Closed 5 months ago2
Public inputs and outputs in chiquito 2024
Updated 6 months ago
Make so when creating a PR to chiquito-2024 runs the same CI as for main
Closed 6 months ago
Make DebugSymRef usable
Closed 6 months ago
Python front-end is not working due to change in how halo2curves serialises to json
Closed 6 months ago
Upload tutorial
Updated 6 months ago
Semantic Analyser: "false" and "true" constants can only be in logical expressions
Closed 7 months ago
Semantic analyser: cannot shadow a variable
Closed 7 months ago1
Semantic Analyser: only types field and bool exists
Closed 7 months ago
Symbol Table: get_type
Closed 8 months ago
Add missing binary operators to LALRPOP and AST
Closed 8 months ago
Add missing arithmetic operators to parser
Closed 8 months ago3
Semantic analyser: Machine block can only contain variable (wg, signal) declarations and state declarations
Closed 8 months ago
Semantic analyser: cannot redeclare a variable (wg, signal) in the same scope
Closed 8 months ago
Finish ABEPI prototype for all statements
Closed 8 months ago
Semantic analysier: Expressions right of `<==` and both sides of `===` can only contain singals no wg vars
Closed 8 months ago
Add variable assignment operartor to parser
Closed 8 months ago1
Semantic analyser: Left of `<--` and `<==` should all be signals
Closed 8 months ago
Implement modular exponentiation in chiquito 2024
Closed 8 months ago1
Add check that the signal is in the circuit
Closed 9 months ago
apidocs.pecadorplonkish.xyz is not safe
Closed 9 months ago4