Independent Verification for Every Result | Dweve AION

A tudáskezelés AION-stílusú származási adatokra épül.

Merkle-tanúsítható elemző, amelyet az AION használ a bemenetek feldolgozásához.

Ellenőrzött futási környezet, amely az AION-tanúsítványokat végrehajtási átiratokkal párosítja.

Esemény-származtatás rendszerekhez: hash-láncolt rekordok arról, hogy mi történt, nem pedig érvelési lépések egy döntésen belül.

Futtasson egy példatanúsítványt, és ellenőrizze az aion check, a cvc5 vagy bármely LRAT-kompatibilis ellenőrző segítségével, amint a tároló megjelenik. A közzététel 2026. szeptember 1-jére tervezett, és a telepítési útmutató ezzel együtt érkezik.

Korlátozott, licenc nélküli, visszajátszás nélkül

A tanúsítvány kicsi marad, és évek múlva is újra ellenőrizhető.

Az AION bizonyítási infrastruktúra az AI-döntésekhez, nyilvános 2026. szeptember 1-jétől. Egy tömör bizonyítékot bocsát ki az AI-eredmény mellé, és egy külön ellenőrző végigjárja a bizonyítékot az eredeti premisszák alapján, és elfogadja vagy elutasítja azt a modell, a megoldó munkamenet vagy a hálózat nélkül.

Az AION ellenőrizhető nyugtát ad egy AI-válaszhoz. Az asszisztens meg tudja mondani, hogy az érvelés megállja-e a helyét, anélkül hogy megértené a gépezetet, és a nyugta internet nélkül is újra ellenőrizhető. Az AION 2026. szeptember 1-jétől nyilvános, ugyanazon a napon jelenik meg a dokumentációja is.

Az AION 2026. szeptember 1-jén indítja a programot: bizonyíték-infrastruktúra AI-döntésekhez, a repozitórium és dokumentációja együtt jelenik meg. Az utólagos magyarázatok csak arra kérik, hogy bízzon egy újabb beszámolóban ugyanattól a rendszertől. Az AION ehelyett egy bizonyítéktanúsítványt bocsát ki, amelyet bármely ellenőrző offline, lineáris időben, a megoldó nélkül ellenőrizhet.

Az Ön fájljai, az Ön hardvere, az Ön számai, és egy ellenőrző, amely egy idegen bizonyítékát olvassa

Ez egy kéthetes értékelés írásos eredménnyel, nem pedig bemutató. A korpusz az Öné, a hardver az Öné, a számokat belsőleg publikálhatja, és semmi sem követeli meg, hogy beszéljen velünk. A tesztkörnyezet a repozitóriummal együtt érkezik, így a futtatás azon a napon megkezdődhet, amikor a hozzáférés megérkezik.

A helyesség nem az AION saját véleménye. Egy szabványos korpusz minden fájlja tartalmazza az ismert státuszát, és a tesztkörnyezet esetenként hasonlítja össze az AION válaszát az adott megjegyzéssel, így a végső szám egy megadott alapigazsághoz viszonyított pontszám. A futtatásonkénti címtartomány korlátozható, így egyetlen kóros fájl sem viheti magával a gépet.

Az AION benchmark-tesztkörnyezetet szállít, így az üzleti tervben idézett számok az Ön saját fájljai által az Ön saját hardverén előállított számok. Mutasson rá egy korpuszra, és minden példányhoz rögzíti az elemzési időt, a megoldási időt és a csúcsmemóriát, majd kiírja, hány válasz volt helyes. A futtatás ugyanazon a korpuszon megismételhető, így egy második értékelés sorról sorra mellé helyezhető az elsőnek.

Még mindezzel együtt is lesz, aki vitat egy eredményt. Ehhez út kell, nem megbeszélés

Valahol az utolsó előtt volt egy nap, amikor a munka még egy délutánnyi volt, és ezt a napot akarja a vezető megjelölni, mert minden későbbi opció többe kerül. A tartalék napi olvasása így találja meg ezt a napot.

A jelentésnek gazdája van, nem pedig sora, és minden sora más munkát jelent más sürgősséggel. Az egyik kész, és senki részéről nem igényel intézkedést. Az egyiknek négy napja van hátra, ami a heti tervet jelenti, nem a mai napot. Az egyiknek egyetlen napja van hátra, ami a reggeli munkát jelenti. Az egyik már két hete lejárt, amihez nevet és egy mondatot kell rendelni, amely megmagyarázza a hiányt.

Bármi, aminek határideje van, futás közben figyelhető, és az AION az aláírt számként jelenti a hátralévő teret, nem pedig megfeleltként. Egy válaszablak, amelyből négy nap van hátra. Egy megőrzési időszak, amely két héttel túllépte a lezárás dátumát. Ez egy operatív leolvasás, amellyel valaki ma reggel foglalkozhat. A szám naponta változik, ezért a jelentést tartalékként olvassák, nem riadóként.

A nyilvántartások utólag válaszolnak a kérdésekre. Egyes kötelezettségeket futás közben kell figyelni

A hozzárendelés második mechanizmus, nem pedig ugyanazon nyilvántartás újabb oszlopa. Az aláírás a származtatási sorrendre kerül, így az, hogy ki állította elő az eredményt, túléli a vállalkozóváltást, és két azonos válasz két szállítótól megkülönböztethető marad. Ez akkor is igaz, ha mindkettőt ugyanazokból a deklarált bemenetekből állították elő.

A lista minden bejegyzése megnevezi a megváltozott összetevőt, és a mögötte tárolt tanúsítvány teljes, így az újraellenőrzés futtatás, nem pedig rekonstrukció. Az alternatíva, ami a legtöbb szervezetnél van, a választás a minden újravizsgálata és a semmi újravizsgálata között, és a gyakorlatban ezt a választást mindig ugyanúgy hozzák meg.

A tavaly elfogadott eredményt a tavalyi szerződés alapján fogadták el. Hét különböző dolog mozoghat alatta: egy ellenőrző szabály, egy tanúsítványséma, egy szabályzat, egy fordítószabály, egy futásidejű szerződés, egy modellverzió vagy egy szimulációs szerződés. Amikor az egyik megváltozik, a kérdés, hogy mely múltbeli következtetések támaszkodtak a megváltozott részre, megválaszolható, és a válasz egy lista.

Helyi nyilvántartást könnyű vezetni. Nehezebb azt elérni, hogy akkor is értelmes maradjon, amikor a szabályok változnak

Egy adatvédelmi tisztviselőnek, aki egy rövid kérdéslistára válaszol erről az útvonalról, és csakis erről az útvonalról: nincs feldolgozó, amit nyilvántartásba kell venni, nincs adattovábbítás, amit indokolni kell, nincs modellszolgáltató a láncban, és semmi olyan, ami a te incidensed vagy változásod alatt elérhetetlenné válhatna, vagy ami mások kiadási ütemezése szerint változna alattad. A build, amit megépítettél, az fog futni jövőre is. Ez a válasz ugyanaz, akár csatlakoztatva van az oldal, akár leválasztva.

Két útvonal keresztezhet egy határt, és mindkettőt te konfigurálod. A klaszter olyan címeken fut, amiket te állítasz be. Egy külső bizonyító, ha szeretnél egyet a folyamatban, egy program, amit telepítesz, és a saját gépeden fut helyi folyamatként.

Az AION alapértelmezett buildje nem tartalmaz kimenő klienst. A bizonyíték ellenőrzése, a követelmény fordítása, a jel figyelése és a keresés futtatása mind azon a gépen történik, ahol elindítottad őket, a saját határaidon belül, az általad ellenőrzött hardveren. Nincs a láncban hosztolt modell, és nincs hozzá vezető út. Ugyanaz a build fut egy leválasztott teremben, mint egy csatlakoztatottban, mert az alapértelmezett útvonalon semminek nincs szüksége hálózatra a befejezéshez.

A szabályokról szóló bizonyíték egy dolog. Ahol a munka fut, az a következő kérdés, amit feltesznek

Ez a szabályrendszerre vonatkozó állítás, nem pedig korábbi esetek mintája. Ezer alkalmazás tesztelése ezer alkalmazást mutat; a nem-interferencia ellenőrzés minden olyan párt lefed, amit a szabályok megengednek, önkompozícióval, tulajdonságvezérelt elérhetőséggel és k-indukcióval, az absztrakciót szigorítva, ahol egy pár megmutatta, hogy túl laza. Amikor nem teljesül, amit visszakapsz, az nem statisztika. Két alkalmazás, amelyek minden nyilvános mezőben azonosak, abban az egyben különböznek, amiről kérdeztél, és két különböző eredménnyel, egymás mellett kiírva. Ez egy olyan megállapítás, amellyel a megfelelőségi tisztviselő még aznap dolgozhat.

Vedd azt, amit a szabályozók és a panaszosok leggyakrabban kérdeznek, különböző szavakkal: megváltoztatta-e ez a mező az eredményt? Erre tulajdonságként válaszolunk két futás felett. Köss össze minden nyilvános bemenetet, hagyd szabadon a kérdéses mezőt mindkét oldalon, és követeld meg, hogy a látható eredmény egyezzen. Ha mindig egyezik, az eredmény nem függött attól a mezőtől.

Egy tanúsítvány csak azért érdekes, amit a mondat, amit lehetővé tesz, mondani enged. Ez a bináris megfelel ennek a forrásgráfnak. Ez a munkaterhelés ezen képességek alatt futott. Ehhez a művelethez megvolt a szükséges jóváhagyás. Ez az optimum megfelel ennek a korlátnak. Ez a pálya tiszteletben tartotta ezeket az invariánsokat. Ez a következtetés ezekből a korlátokból következik. Ez a kimenet ebből a pontos modellből és paraméterkészletből származik.

Egy eset egy alkalmazásról szól. Néhány kérdés egyszerre kettőről szól

Mindkettő megállapítás, és mindkettőnek van gazdája. Egyik sem derül ki egy megfelelt vagy nem megfelelt eredményből. Az ellenpélda mondja meg, melyik kettőt tartod a kezedben.

Az ellenpélda véget vet azoknak a vitáknak is, amelyek egyébként hetekig tartanának, mert nem valakinek a véleménye arról, hogy a szabály túl szigorú-e. Ez egy eset, a valós értékekkel megrajzolva, amelyeken a szabály működik. Vagy az eset lehetséges valahol a vállalkozásodban, és akkor a szabály helyes, a rendszer hibás, vagy az eset nem fordulhat elő, és akkor a specifikációból hiányzik egy megszorítás, amit mindenki feltételezett, de senki nem írt le.

Amikor egy szabály nem teljesül, az AION visszaadja a konkrét helyzetet, amely megsérti, prózaként kiírva: mely értékek, milyen típusúak, és mely feltételeket sértenek. Egy mérnök reprodukálni tudja, egy vezető árazni tudja, és most először ugyanarról az esetről vitatkoznak.