while this is draft I put only the needed pieces, and also left some commented code which assist tracking the path of reasoning/designing
Approach expressed in seems most elegant and reasonable to me in itself. But I can imagine strong arguments against it from some of proving systems implementations. So I ask to review it from relevant (Halo2?) angles before I continue.
If it's ok I'll proceed to tests, docs, and <./javascript>.
while this is draft I put only the needed pieces, and also left some commented code which assist tracking the path of reasoning/designing
Approach expressed in seems most elegant and reasonable to me in itself. But I can imagine strong arguments against it from some of proving systems implementations. So I ask to review it from relevant (Halo2?) angles before I continue.
If it's ok I'll proceed to
tests
, docs, and <./javascript>.