Versija 0.1 · kuriama SANTVIA · Apsauga

Jūsų DI agentai klauso duomenų, kuriuos skaito. Susigrąžinkite valdymą.

Ajenkrypt yra saugumo vartai DI agentams: jie tikrina, kas įeina, kas išeina ir ką agentas paleidžia, o paskui pateikia verdiktą — leisti, pažymėti, siųsti tvirtinti, blokuoti. Jokio tinklo kreipinio sprendimo kelyje.

Galite priglobti patys Tiesioginis ir netiesioginis įterpimas Prieš nutekėjimą Žmogaus patvirtinimas Suvereni ES
ajenkrypt — verdiktas vykdomas
Tvorelės verdiktas
  • Paslėptas nurodymas parsisiųstame dokumente: užblokuotas.
  • Duomenis nutekinantis paveikslėlis į nežinomą domeną: pašalintas.
  • Jautrus veiksmas: perduotas žmogui prieš vykdymą.
Vietinis sprendimasSprendimui priimti neklausiama jokios išorinės tarnybos.
Vienu sakiniu

Duomenys niekada neturėtų duoti nurodymų.

Štai kur visa agentų problema: jie skaito puslapius, dokumentus, laiškus ir įrankių išvestis ir elgiasi su tuo tekstu taip, tarsi jis būtų iš jūsų. Ajenkrypt grąžina ribą į vietą.

Grėsmės modelis

Trys viešai dokumentuoti vektoriai

Netvirtiname, kad „išsprendžiame“ nurodymų įterpimą — tai atvira problema. Siūlome gilumą apsaugą, kurią galima įdiegti ir audituoti.

Tiesioginis įterpimas

Pirmoji rizikos kategorija OWASP Top 10 LLM programoms (LLM01): nukreipti modelio elgesį pačiu pranešimu.

Netiesioginis įterpimas

Krovinyš nėra jūsų pranešime: jis yra tinklalapyje, dokumente, laiške arba įrankio išvestyje, kurią agentas priima kaip patikimą tekstą. Tai pagrindinis agentų vektorius.

Nutekėjimas be spustelėjimo

EchoLeak (CVE-2025-32711): užminuotas laiškas priverčia atsakymą įkelti paveikslėlį, kurio adresas neša jūsų duomenis. Užtenka, kad jis būtų parodytas — niekas nespustelėjo.

Apsauginė tvorelė

Keturi paviršiai, keturios patikros

Kiekvienas paviršius turi savo svorį ir savo politiką. Tai, kas ateina iš parsisiųsto turinio, vertinama griežčiau nei tai, kas ateina iš jūsų.

1

Naudotojo įvestis

Taisyklių variklis prieš įterpimą ir nurodymų apėjimą.

2

Parsiųstas turinys

Tos pačios taisyklės, padidintas svoris, blokuojanti politika: užnuodyti RAG, tinklas ir API.

3

Modelio išvestis

Nutekėjimo aptikiklis: švyturio paveikslėlis, serveris ne iš leidžiamų sąrašo, asmens duomenys, paslaptys.

4

Įrankio iškvietimas

Įrankių politika ir žmogaus patvirtinimas prieš kiekvieną jautrų veiksmą.

Ką turi versija 0.1

Aštuoni statybiniai blokai, visi patikrinami

Python biblioteka, deklaratyvi konfigūracija, audito žurnalas, vartai kalbantys įprasta pokalbių sąsaja.

Taisyklių variklis

Aiškios įterpimo taisyklės, įskaitomos ir keistinos — ne juoda dėžė.

Svoris pagal paviršių

Tas pats sakinys sveria nevienodai, jei jis ateina iš jūsų ar iš dokumento.

Nutekėjimo aptikiklis

Švyturio paveikslėliai, serveriai ne iš leidžiamų sąrašo, asmens duomenys ir paslaptys išvestyje.

Įrankių politika

Kuris įrankis, su kokiais parametrais, kokiame kontekste — deklaruota, ne spėjama.

Žmogaus patvirtinimas

Jautrus veiksmas sustoja ir laukia žmogaus. Tai nustatymas, o ne paslėpta parinktis.

Audito žurnalas

Viena JSON eilutė vienam sprendimui: paviršius, taisyklė, svoris, verdiktas. Įskaitoma, eksportuojama.

Suderinami vartai

Tarnyba, kalbanti ta pačia sąsaja kaip jūsų šiandieninė kliento programa: keičiate adresą, ne kodą.

Prijungiamas klasifikatorius

Prijungimo taškas klasifikavimo modeliui šalia taisyklių. Modelis lieka jūsų.

Ko versija 0.1 dar nedaro: vartų autentifikavimas ir besimokantis klasifikatorius yra suprojektuoti, bet nepateikti. Verčiau parašome tai čia, nei kad jūs atrastumėte.
Įrankio iškvietimai

Agentas prašo, politika sprendžia

Agentas, kuris gali veikti, yra agentas, kuris gali pakenkti. Tvorelė stovi tarp ketinimo ir vykdymo.

Suverenumas

Tvorelė, kurios niekas jums neskolina

Tvorelė, kuri skambina į užsienį, kad nuspręstų, nėra tvorelė: tai dar viena priklausomybė.

Mūsų suverenumo įsipareigojimai yra paskelbti ir patikrinami: žiūrėti įrodymų puslapį.
Kur tai padeda

Trys konkrečios situacijos

1

Vidinis kopilotas

Asistentas, prijungtas prie jūsų dokumentų: kiekvienas dokumentas yra nepatikima įvestis.

2

Agentas, skaitantis tinklą

Ieškoti ir apibendrinti: perskaitytame puslapyje gali būti agentui skirtų nurodymų.

3

Veikiantis agentas

Paštas, užklausos, pirkimai: jautrus veiksmas pagal numatymą eina per žmogų.

Pakalbėkime apie jūsų agentus

Pasakykite, ką jūsų agentai skaito ir ką jie gali paleisti. Pasakysime, ką versija 0.1 jau apima — ir ko ne.

Versija 0.1, kuriama. Be šio išankstinio apibrėžimo nesiūlome diegimo į gamybą.

DUK

Dažnai užduodami klausimai

Kas yra netiesioginis įterpimas konkrečiai?

Sakinys, paslėptas turinyje, kurį jūsų agentas skaito — puslapyje, dokumente, laiške — ir kuriuo jis seka, tarsi jis būtų iš jūsų. Jūs nieko nerašėte: prakalbo duomenys.

Ar tai išsprendžia problemą visam laikui?

Ne, ir šiandien to nedaro niekas: nurodymų įterpimas yra atvira problema. Ajenkrypt sumažina atakos paviršių, fiksuoja sprendimus ir sustabdo jautrius veiksmus. Tai giluminė apsauga, o ne pažadas būti nepažeidžiamam.

Kur priimamas sprendimas?

Pas jus. Kelyje, kuris sprendžia leisti ar blokuoti, nėra jokio tinklo kreipinio — tai architektūros reikalavimas, o ne nustatymas.

Ar reikia keisti mūsų kodą?

Du keliai: kaip biblioteka aplink jūsų esamus kreipinius arba kaip vartai — pakeiskite tarnybos adresą, kurį jūsų agentas jau kviečia.

Ar jis prieinamas?

Versija 0.1 egzistuoja ir jos testai praeina, bet produktas kuriamas: vartų autentifikavimas ir besimokantis klasifikatorius nepateikti. Parašykite mums, kad apie tai pakalbėtume, o ne kad rytoj įdiegtumėte.

O jūsų pačių agentai?

Ajenkrypt yra pačios SANTVIA galaktikos tvorelė, įskaitant Kopilvią. Statome jį prieš savo agentus prieš siūlydami jį jūsiesiems.

SANTVIA galaktikos statybinis blokas

Suvereniūs įrankiai, kurie kalbasi tarpusavyje: tapatybė, apsauga, agentai. Kiekvienas naudingas atskirai, geresni kartu.

Atrasti galaktiką