search

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
186 stars 39 forks source link

Using M type to keep DebugSym in Expr #274

Open leolara opened 2 months ago

leolara commented 2 months ago

We are compiling our AST to Expr and it looses the DebugSym in this process. We added the type parameter M to Expr so we can keep extra info like this.

With this we will be able to go back from SBPIR to the source code that have generated it.

leolara commented 2 months ago

@rutefig @alxkzmn who wants to take on this?

rutefig commented 2 months ago

I can take it