Event Ledger for AI Tools | Dweve Ledger
Rust ledger for AI tool interactions with BLAKE3 hash chaining and integrity checks. Apache 2.0 terms; publishing in the second release round.
What is Dweve Ledger?
Ledger is a source-available, tamper-evident event ledger in Rust for AI tool interactions. It appends typed events, links each event to its predecessor with BLAKE3 and supports replay. Repository access is currently available by request through Dweve's contact page.
- The record stays in the backend you choose, and a compatible verifier can report a broken, missing or reordered link in the copy it reads.
- When access is granted, the supplied source is offered under Apache 2.0 terms.
Choose the audience that matches your question
The page contains three selectable readings of the same subject.
For consumers
Ledger huwa log ta' verifika kontra t-tbagħbis. Meta s-softwer jużah, ir-rekord jista' juri x'ġara fl-ordni u jgħaqqad kull nota ma' dik ta' qabilha.
For businesses
Ledger huwa log ta' verifika kontra t-tbagħbis f'Rust għal interazzjonijiet ta' għodod tal-AI, li jippubblika taħt it-termini ta' Apache 2.0 fit-tieni rawnd tal-programm ta' rilaxx ta' Dweve. Agħżel fejn Ledger jaħżen ir-rekord, imbagħad agħtih meta xi ħadd jistaqsi x'ġara.
For engineers
Log ta' verifika kontra t-tbagħbis f'Rust għal interazzjonijiet ta' għodod tal-AI. Ledger iżid avveniment wieħed tipizzat għal kull azzjoni u jgħaqqad kull daħla mal-preċedenti b'hashes BLAKE3. Ledger jippubblika fit-tieni rawnd tal-programm ta' rilaxx ta' fondazzjoni ta' Dweve, bid-dokumentazzjoni tiegħu fuq docs.dweve.com l-istess jum.
L-algoritmi jiggruppaw skont it-tip ta' data
Matriċi ta' kapaċitajiet li tista' tiskrollja
Governanza tal-għarfien li tuża Ledger bħala l-ispina tal-awditjar tagħha.
Analizza s-sors f'siġar b'nodi b'indirizzar tal-kontenut.
Storja ta' avvenimenti li tista' terġa' tintlagħab
Traskrizzjonijiet tal-eżekuzzjoni ġewwa sandbox. Ledger jaqbad dak li ġara; Selvedge jaqbad kif ġie eżegwit.
Ċertifikati tal-passi tar-raġunament fi ħdan deċiżjoni waħda, mhux provenjenza ta' avvenimenti madwar sistema.
Ledger jippubblika fit-tieni rawnd tal-programm tar-rilaxx tal-fondazzjoni ta' Dweve; ladarba jagħmel dan, indika l-bini lejn il-backend tal-ħażna tiegħek u spezzjona l-ewwel append, il-kontroll tal-hash u r-replay tiegħek f'ġirja lokali waħda.
Kull avveniment. Katina ta' hashes. Jista' jintalab.
Primitivi ta' integrità li juru t-tbagħbis
Reġistru ta' avvenimenti ttajpjati b'katina ta' hashes
Ledger jasal bħala crate ta' Rust, C ABI, proċess sidecar, u binarju ta' servizz. Il-mudell sidecar huwa l-aktar skjerament ta' produzzjoni komuni. L-istess format ta' avvenimenti jgħaddi minn kull varjant.
Agħżel skont l-iskala u l-ħtieġa tal-awditjar
Memorja għat-testijiet. JSONL għall-portabbiltà. SQLite għall-inkorporat. Postgres għall-qawwa tal-mistoqsijiet. S3 għall-arkivjar. Il-forma tal-log u l-katina tal-hash huma identiċi fil-ħamsa kollha. Il-migrazzjoni bejn il-livelli hija operazzjoni ta' kopja, mhux kodifikazzjoni mill-ġdid.
Kunsens, DPIA, tħassir, drittijiet tas-suġġett.
Sessjoni u replay, flimkien ma' checkpoint.
Sejħiet tal-għodod, approvazzjonijiet, artefatti, kontrolli tal-politika, u bidliet fis-sistema kull wieħed iżomm il-forma tipizzata tiegħu. Dan jagħmel l-istorja preċiża biżżejjed biex tista' ssir mistoqsija mingħajr ma kull avveniment jitwitta f'linja ta' log ambigwa.
Iċ-ċifri huma stampa ta' benchmark fil-memorja mis-sors Ledger ipprovdut, mhux SLA ppubblikat. Mexxi l-harness inkluż qabel ma tiddimensjona xogħol.
Stampa, 100 avveniment, integrità BLAKE3.
Stampa fil-memorja, ledger_append_event.
Tipizzat, b'katina ta' hash, u jista' jistaqsi.
Imxi għal timestamp, erġa' beni l-istat.
Kull daħla tinkorpora l-hash preċedenti.
Wieħed mill-23 varjant tipizzati jiżdied fit-tarf.
L-avvenimenti huma tipizzati, b'hash BLAKE3, iffirmati b'Ed25519 fl-ankri ta' fiduċja, u ppersistiti f'backend tal-għażla tiegħek. Il-pipeline huwa l-istess irrispettivament mill-ħażna. Poġġi l-kursur fuq stadju biex taqra l-kuntratt tiegħu.
Ma tistax tibni mill-ġdid l-istat mil-log biss.
L-arloġġi ta' proċessi multipli jitilfu s-sinkronija. M'hemm l-ebda ordni kanonika.
Taqtigħ tad-denb, rotazzjoni tal-log, faċli biex tbiddel.
Test liberu, grep biss, kampijiet ambigwi.
Ħafna sistemi tal-AI jiktbu log ta' test mhux strutturat li ħadd ma jista' jirriproduċi. Id-dashboard tas-SIEM jagħtu sommarju, imma ma jistgħux jibnu mill-ġdid deċiżjoni. L-awdituri jibqgħu bi proża.
L-ebda broker jew servizz ta' avvenimenti ospitat.
Mixja lineari, l-ebda dipendenza fuq solver.
Kmand wieħed. Ir-replay jimxi fuq kull avveniment fl-ordni, jivverifika l-katina BLAKE3, u jibni mill-ġdid l-istat fi kwalunkwe timestamp. Iċ-ċifri hawn taħt huma stampa ta' benchmark fil-memorja mis-sors Ledger ipprovdut, mhux SLA ppubblikat. Mexxi l-harness fuq il-ħardwer tiegħek.
Maqtugħ mill-internet, għar-rekords l-aktar sensittivi.
Reġjun cloud imwaħħal f'pajjiż Ewropew, taħt regoli Ewropej.
Jitmexxa fuq il-kompjuters li t-tim tiegħek stess jimmaniġġja, ġewwa l-ħitan tiegħek.
Proprjetajiet tal-proġett u modi ta' skjerament appoġġjati; mhux talba ta' livell ta' servizz jew kapaċità.
Il-bini tiegħek, cloud tal-UE, jew issiġillat.
Mhux meħtieġ xejn biex iżżid, tivverifika, jew terġa' tilgħab.
Katina waħda fuq kull backend appoġġjat.
Rekord iddisinjat biex jimxi mas-sistema
Sofware bill of materials u attestazzjoni, irrekordjati.
Mitlub, mogħti jew miċħud, irrekordjat fl-ordni.
Inċident tal-AI jiġi rrekordjat fil-mument li jinstab.
Kunsens, DPIA, tħassir u drittijiet tas-suġġett, kull wieħed avveniment ittajpjat.
Erġa' tilgħab kwalunkwe tieqa direttament mill-avvenimenti rrekordjati.
Avvenimenti ta' approvazzjoni jżommu l-attur, l-ambitu, u r-riżultat flimkien.
Rabtiet hash jagħmlu kull tħassir, riordinar, jew bidla viżibbli.
Rekord ittajpjat wieħed jissostitwixxi ġbir forensiku fuq logs parzjali.
Żomm l-istess forma ta' avveniment fil-memorja, SQLite, Postgres, S3, jew il-backend tiegħek.
Ibni mill-ġdid l-istat mill-avvenimenti minflok tafda f'snapshot.
Kull daħla testendi l-katina, għalhekk bidliet kwieti jfallu l-verifikazzjoni.
Avvenimenti ġodda jiżdiedu mingħajr ma jiktbu mill-ġdid l-istorja preċedenti.
L-iktar mument diffiċli huwa meta awditur jew regolatur jagħmel mistoqsija diretta u t-tim irid imur ifittex. Ledger iwieġeb b'mod differenti: l-affarijiet li jistaqsi dwarhom reviżjoni, kunsens, inċidenti, approvazzjonijiet, katina tal-provvista, użu tal-għodod, kull waħda hija rreġistrata bħala avveniment issiġillat tagħha stess meta jiġri. Agħżel mistoqsija hawn taħt u ara liema avveniment irreġistrat diġà fih it-tweġiba.
Il-mistoqsija l-oħra li tagħmel reviżjoni hija fejn il-softwer jitħalla jaħdem. L-istess format ta' rekord u l-istess għażliet ta' ħażna jaħdmu fil-bini tiegħek stess, f'reġjun ta' cloud Ewropew, jew kompletament iżolat mill-internet. Il-moviment bejniethom huwa kopja, mhux bini mill-ġdid li jiswa ħafna, għalhekk id-deċiżjoni qatt ma hi finali.
Reviżjoni ta' akkwist tistaqsi żewġ mistoqsijiet sempliċi: x'jiffranka dan, u x'inaqqas mir-riskju? Ledger iżomm lit-timijiet milli jgħaqqdu evidenza minn log parzjali waqt inċident. Il-katina append-only tiegħu tesponi wkoll kull tentattiv biex tbiddel l-istorja wara l-fatt.
L-applikazzjonijiet jinbidlu, il-fornituri jiċċaqilqu, u l-ħażna tiġi sostitwita. Ledger iżomm ġrajja waħda ta' avvenimenti ttajpjata matul dawk il-bidliet, b'kull daħla marbuta ma' dik ta' qabilha. L-operazzjonijiet jistgħu jsegwu inċident, iwieġbu awditjar, jew jerġgħu jibnu l-istat mingħajr ma jgħaqqdu log parzjali.
Ir-rekord u l-format sempliċi tiegħu huma tiegħek, biex taqrahom lura meta trid.
Jibqa' ħdejn is-sistema li jiftakar, mingħajr kont ieħor jew dashboard fi triqtu.
Jista' joqgħod fuq kompjuter fil-bini tiegħek stess, mhux f'wieħed ta' barrani 'l bogħod.
Jista' jibqa' fuq kompjuter fil-bini tiegħek stess, qrib id-dar.
Jgħid l-istess storja fuq kull kompjuter, kull darba.
Tista' taqrah lura minn kull mument, bħal meta terġa' tara vidjo tad-dar.
Kull linja hija ssiġillata ma' dik ta' qabilha, għalhekk bidla kwieta turi ruħha.
Tistaqsi x'ġara, jew meta? Huwa miktub għalik.
Aqrah lura fuq kwalunkwe kompjuter u jkollok l-istess storja.
Dik il-linja hija ssiġillata mal-linja ta' qabilha, għalhekk ħadd ma jista' jbiddilha bil-kwiet.
Meta l-AI tagħmel xi ħaġa, linja ġdida waħda tiġi nnotata.
In-nota tibqa' mas-sistema li tużaha. M'hemm l-ebda kont separat x'tiċċekkja u l-ebda dashboard imbiegħed li jista' jafdah: it-tim tiegħek stess jista' jaqra l-istess storja ordnata kull meta titfaċċa mistoqsija.
Huwa ġust li tistaqsi x'jiġri jekk xi ħaġa tmur ħażin. X'jiġri jekk ir-rekord jinbidel? X'jiġri jekk tinsa? X'jiġri jekk jgħid xi ħaġa differenti x'imkien ieħor? Agħżel tħassib hawn taħt u ara, fi kliem ċar, kif rekord onest iwieġeb għalih, biex ikun hemm inqas ħaġa li jkollok tinkwieta dwarha bil-lejl.
M'għandekx għalfejn tifhem il-makkinarju kollu. Hawnhekk hemm il-ħaġa sħiħa, mill-bidu sat-tmiem, bħala erba' mumenti ta' kuljum. Xi ħaġa tiġri, tinkiteb u tissakkar, tibqa' l-istess fuq kull kompjuter, u tista' dejjem tistaqsi dwarha aktar tard.
Aħseb fiha bħala nnota li għodda tal-AI iżżomm għaliha nfisha. Kull darba li tagħmel xi ħaġa, tikteb linja oħra fil-qiegħ, u qatt ma terġa' lura biex tħassar dak li diġà hemm. Aqleb il-paġni fi kliem ċar hawn taħt biex tara, b'stampi ta' kuljum, x'qed jagħmel kull parti ta' dik in-nota għalik.
Ledger huwa rekord ta' avvenimenti għal sistemi tal-AI. Iżomm storja append-only li ma tistax tiġi editjata bil-kwiet, għalhekk meta awditur jew regolatur jistaqsi x'ġara, għandek tweġiba diretta. Huwa mibni fl-UE u jista' jaħdem kompletament fuq infrastruttura li tikkontrolla int: rekord wieħed ta' min sejjaħ lil min, min approva xiex, u x'ġara wara.
Ledger huwa l-parti ta' sistema tal-AI li żżomm nota onesta bil-kwiet. Kull darba li l-AI tagħmel xi ħaġa, tikteb linja ġdida u jissiġillaha, biex xejn ma jista' jinbidel warajk. Aqrah għada, jew fuq kompjuter ieħor, u jkollok l-istess storja fl-istess ordni.
Meta regolatur jistaqsi x'ġara fis-sistema tiegħek, għandek bżonn aktar minn log: għandek bżonn rekord ta' avvenimenti li jista' jiżdied biss, fejn kull daħla testendi katina BLAKE3, kull tip huwa tipizzat b'mod qawwi, u kwalunkwe tieqa ta' storja tista' terġa' tintlagħab biex terġa' tinbena l-istat. Ledger huwa provenjenza ta' avvenimenti għal sistemi: min sejjaħ lil min, min approva lil min, min qara lil min, fl-ordni, mingħajr il-possibbiltà ta' editjar kwiet. B'differenza minn AION, li jiċċertifika l-passi ta' raġunament fi ħdan deċiżjoni waħda tal-AI, Ledger jirrekordja liema avvenimenti seħħew madwar sistema sħiħa. B'differenza minn Selvedge, li jaqbad traskrizzjonijiet ta' eżekuzzjoni ġewwa sandbox, Ledger jaqbad provenjenza madwar atturi u servizzi multipli.