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.

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.