Kunnen LLM's PROVEBARE computers zijn? Percepta toonde aan dat een transformer een computer kan ZIJN. Gecompileerde gewichten, deterministische uitvoering, 30k tokens/sec. Maar niemand stelde de voor de hand liggende vervolgvraag: hoe weet je dat het correct heeft berekend? Dus bouwde ik de verificatielaag. Een STARK die het bewijst 👇

Het probleem met gecompileerde berekeningen is vertrouwen. Je vertrouwt de compiler. Je vertrouwt de runtime. Je vertrouwt het aandachtmechanisme. Als een van deze fout is, is de output fout. Dit is het oudste probleem in de computerwetenschap. Je vertrouwt ofwel de machine of je verifieert de output. We hebben drie niveaus van verificatie gebouwd: Niveau 1: Het programma draait binnen de transformer (dezelfde als Percepta) Niveau 2: Vier onafhankelijke engines produceren hetzelfde resultaat (transformer, native, Burn, ONNX) Niveau 3: Een STARK-bewijs verifieert de uitvoering zonder deze opnieuw uit te voeren.