HAL vs Graph kan algemener worden bekeken als: Bij het modelleren van "computatie" gebruiken we dan - Shallow Embedding (direct in de hosttaal schrijven), of - Deep Embedding (het coderen als een datastructuur)? 🧵

Van ondiep → diep zijn er verschillende ontwerppunten: 1. Directe implementatie in Rust / C++ 2. Embedded DSL binnen de hosttaal 3. Een gloednieuwe gespecialiseerde taal Elke stap ruilt gemak in voor structuur en analyseerbaarheid.

In ZK is het niet genoeg om een berekening uit te voeren — we moeten het ook vertalen naar beperkingen. Dus de meeste bewijs systemen neigen al naar (2) of (3): - Circom, PIL/PIL2 → aangepaste beperkingen talen + compilers - Plonky2 → elke poort definieert meerdere semantische functies

Plonky3 gaat verder met de AirBuilder eigenschap: dezelfde code kan getuigen evalueren, verifier residuen berekenen en constraint polynomen dumpen. Veel zkVM's (SP1, Hypercube, OpenVM) nemen Plonky3 over; Zisk is gebaseerd op PIL2. Dit toont een duidelijke trend aan naar diepe, grafachtige representaties van berekeningen.