Mis on semantiline DAG?
Semantiline DAG on semantiline graafiandmebaas, mis on ühendatud räsi kaudu lingitud, Ed25519-ga allkirjastatud toimingute ajalooga — hoidla, kus iga link kannab tähendust ja iga muudatus on allkirjastatud, ajas rännatav toiming, mistõttu see pole ei tavaline andmebaas ega plokiahel.
Tähendus ja ajalugu ühes struktuuris
DAG — suunatud atsükliline graaf — on hulk sõlmi, mis on ühendatud suunatud linkidega, mis kunagi endasse tagasi ei pöördu. Semantiline DAG lisab sellele kujule kaks asja. Esiteks on see semantiline: iga link on tüübitud, tähenduslik seos (subjekt, predikaat, objekt), mitte anonüümne viit, nii et graaf ise salvestab, mida asjad tähendavad, mitte üksnes seda, et need on ühendatud.
Teiseks on see ajalugu, mitte üksnes seisund. Iga muudatus graafis muutub üksnes-lisatavaks toiminguks: räsitud, krüptograafiliselt allkirjastatud ja aheldatud toimingutega, mis sellele eelnesid. Miski ei kirjutata kohapeal üle. Graafi praegune seisund on tema allkirjastatud toimingute summa, mis tähendab, et saad selle uuesti läbi mängida, et rekonstrueerida täpselt, kuidas see mistahes minevikuhetkel välja nägi.
See ei ole meelega plokiahel. Pole plokke, kaevandamist, tasusid ega globaalset žetooni — toimingud on semantilised väited, mitte väärtuse ülekanded. Ja see on enamat kui andmebaas: andmebaas ütleb sulle, mis on praegu tõsi; semantiline DAG ütleb sulle, mis on tõsi, mida see tähendab ja kuidas see selliseks sai — kõik tõestatav.
Kuidas semantiline DAG üles ehitatakse
Iga fakt on kolmik
Andmed salvestatakse subjekt → predikaat → objekt väidetena, nii et iga seos graafis kannab selget tähendust, mida nii inimesed kui masinad saavad päringutega uurida.
Iga muudatus on allkirjastatud toiming
Graafi kirjutamine loob toimingu, mis räsitakse (BLAKE3), allkirjastatakse (Ed25519) ja lingitakse oma vanemtoimingutega — ehitades võltsimist paljastava põhjusliku ahela sellest, kes mida, millal ja miks kirjutas.
Midagi ei kustutata, üksnes asendatakse
Logi on üksnes-lisatav. Fakti eemaldamine on ise allkirjastatud toiming, nii et kogu auditijälg — ja võime ajas tagasi rännata — säilib juba oma olemuselt.
Päring tähenduse järgi
Kuna lingid on semantilised, saad graafi päringutega uurida SPARQL-i abil ja seoseid otse läbida ning rekonstrueerida graafi seisundi mistahes minevikuhetkel.
Üks struktuur, mis mäletab ja tähendab
Tehisintellekti süsteemid ja ühendatud seadmed tegutsevad üha enam andmete põhjal, mida nad kontrollida ei suuda — ja traditsioonilised hoidlad sunnivad peale halva kompromissi: andmebaas on kiire, kuid unustab, kuidas ta siia jõudis, samal ajal kui plokiahel mäletab kõike, kuid on raske, kallis ja tähenduspime. Semantiline DAG annab sulle ühe struktuuri, mida saab päringutega uurida nagu graafiandmebaasi, auditeerida nagu pearaamatut ja mis tähendab nagu teadmiste graaf — ilma plokkide, tasude või kaevandamiseta.
Kontrollitav juba oma ehituselt
Kuna iga toiming on allkirjastatud ja aheldatud, ei saa ajalugu vaikselt ümber kirjutada — saad tõestada, mis juhtus.
Ajas rändamine
Mängi allkirjastatud toimingud uuesti läbi, et näha graafi täpselt sellisena, nagu see mistahes minevikuhetkel oli, auditeerimiseks, silumiseks või päritolu jaoks.
Tähendus, mitte üksnes andmed
Tüübitud semantilised lingid lasevad nii inimestel kui tehisintellektil seoste üle arutleda, selle asemel et läbipaistmatuid võõrvõtmeid ära arvata.
Kuidas Apilium seda kehastab
AIngle on esimene semantiline DAG: natiivne semantiline graafiandmebaas, mis on ühendatud allkirjastatud, räsi kaudu lingitud toimingute ajalooga, kirjutatud keeles Rust. Iga kirjutamine muutub DagAction-iks — räsitud BLAKE3-ga, allkirjastatud Ed25519-ga, aheldatud oma vanematega — ja allkirjastamata toimingud lükatakse tagasi olekumasina tasandil. See avab sama graafi REST-i, GraphQL-i ja SPARQL-i kaudu ning saab uuesti läbi mängida mistahes ajahetkeni. AIngle toidab Apiliumi tooteid: see on mootor Akashi allikapõhise, allkirjastatud teadmise all ja osa Mayrose taga olevast koest.
Vaata seda AIngle'isLevinud küsimused
Kas semantiline DAG on plokiahel?
Ei. Plokiahel koondab tehingud kaevandatud plokkidesse, mida turvab globaalne konsensus ja tavaliselt žetoon. Semantilisel DAG-il pole plokke, kaevandamist ega tasusid — selle kirjed on tähenduslikud väited (subjekt–predikaat–objekt), igaüks eraldi allkirjastatud ja oma vanematega aheldatud. See laenab pearaamatu võltsimiskindluse ilma plokiahela kulu ja jäikuseta.
Kuidas see erineb graafiandmebaasist?
Graafiandmebaas salvestab seosed ja laseb sul neid päringutega uurida, kuid tavaliselt hoiab üksnes praegust seisundit — uuendad väärtust ja vana on läinud. Semantiline DAG hoiab üksnes-lisatavat, allkirjastatud ajalugu igast muudatusest, nii et saad tõestada, kuidas graaf oma praeguse seisundini jõudis, ja mängida selle uuesti läbi mistahes minevikuhetkeni.
Mida tähendab 'suunatud atsükliline'?
Suunatud tähendab, et iga link osutab ühes suunas, ühest sõlmest teise. Atsükliline tähendab, et need lingid ei moodusta kunagi silmust tagasi lähtekohta. Koos annavad need struktuuri selge ajaloosuunaga — toimingud toetuvad varasematele toimingutele ega pöördu kunagi ringiratast tagasi — ja just see teeb võimalikuks tõestatava, uuestimängitava ajajoone.
Mida Ed25519 siin teeb?
Ed25519 on allkirjaskeem, mis allkirjastab iga toimingu. Enne kui mistahes muudatus graafi vastu võetakse, allkirjastatakse see kirjutava sõlme võtmega; allkirjastamata või vigased toimingud lükatakse tagasi. Just see allkiri muudab ajaloo 'usalda mind' asjast 'kontrolli ise' asjaks.
Vaata semantilist DAG-i AIngle'is
AIngle on semantilise DAG-i protokoll — allkirjastatud, tähenduslik, ajas rännatav graaf tehisintellekti ja IoT jaoks.