David Wong
David Wong
[circom has a paper](https://www.computer.org/csdl/journal/tq/2023/06/10002421/1Jv6BEAupcA): > To reduce the amount of constraints describing a circuit, the CIRCOM compiler simplifies the linear constraints. More specifically, the compiler divides the set of constraints...
perhaps I can also take a different approach for the `const Field` argument of functions. Because it's not a field, perhaps I should have something like `Int` or `Number` instead....
- differentiate between absoluteModule and aliasedModule (UserRepo, which is inside UsePath) -
Let people use access fields directly if they have imported the lib? Actually should I forbid access fields in general?
On the other hand we could just require Backend: Display
wait why do we need sources? (oh for debug mode right... then nevermind ^^)
(this would allow us to remove the type parameter on the backend)
I think these are the steps we should take: 1. make the circuit-writer (or noname in general) generic based on Field (different proof systems use different fields). Right now [we...
current progress: @katat has a nice trait for `Backend` that different backends can implement. We now realize the goal is to move as little as possible to the backend trait,...
I think the downside is not significant enough for a change now, but I could see that change happening in the future if we want to be more efficient. An...