Lookup-centric dsl is substitution of any kind of IR, asm Simple structure for whole system Programming Interface (Front-end)Languge what developers use (It can be any programming language) Intermediate (Middle-end) Intermediate representation about lookup It has logic gates, custom lookups

refer to: https://hackmd.io/@OFccBlU5TNCiRhpIyT1m7g/ryxC5Omfo Background refer to: https://ethresear.ch/t/using-gkr-inside-a-snark-to-reduce-the-cost-of-hash-verification-down-to-3-constraints/7550 fig Proof aggregation Proof aggregation can be done by recursive proof. In above diagram, except for the initial step and the last step, all intermediate steps get previous proof and witnesses. And then they make a GKR proof and pass it to next proving.