Selvedge agus cur i gcrích le hadmhálacha
A sandbox is not a witness
Running untrusted code is one of those ideas that sounds fine in a meeting because nobody has drawn the incident report yet. Let the agent call a tool. Let the plugin transform a file. Let the partner module process the data. Put it in a sandbox. Lovely. The code cannot escape. Everyone nods. Then the auditor asks what the code actually did inside the sandbox, and suddenly the room discovers that containment is not the same as evidence.
A sandbox answers one question: did the workload stay inside the boundary? That is necessary. It is not enough. The harder question is what happened during the run. Which artifact executed? Which policy was applied? Which capabilities were requested? Which host calls were allowed or denied? How much fuel, memory and time did it spend? What came out? Can the run be replayed without trusting the original machine? If those answers live in logs and confidence, the system has a costume, not an audit trail.
Selvedge exists for that gap. The page calls it the execution transcript layer for untrusted code: AION proves reasoning, Ledger records system events, and Selvedge captures execution. The implementation follows that shape. The workspace is a Rust 2024 project with crates for core digests and resource limits, execution engines, Wasmtime and Kera backends, determinism, WASI and Kera hosts, policy, AION verification, CLI, MCP, registry, runner, daemon, audit and guest SDK surfaces. The public promise is intentionally plain: Selvedge executes untrusted code under deterministic execution, policy enforcement and verification discipline.
The useful distinction is small and brutal. A sandbox says the code did not leave. Selvedge is designed to say what the code did.
The transcript is not a log
Logs are useful for humans who are already debugging. They are less usefulwhen the question is whether a run can be verified later by someone who did not trust the original host. A log line can be missing, reordered, filtered, truncated, reformatted, or explained away. A transcript has to be part of the execution contract.
Selvedge core defines SHA3-256 digests, error types, path validation, authentication tokens and shared resource limits. The README describes transcripts with hashes of bytecode, settings, stdout, stderr, output, memory and globals, plus fuel consumption and host call counts. The page describes every host call being hashed into a SHA3-256 chain and the result wrapped in an AION-style proof envelope with Ed25519 sealing. That is the difference between a system saying trust me and a system saying here is the packet.
There is a healthy bit of paranoia in that design. The artifact digest names the code. The settings digest names the deterministic profile. The transcript names what crossed the host boundary. The signed envelope makes tampering visible. Offline verification means the original runtime is not the only witness. This is the part many sandbox stories skip because it is less fun than showing a plugin running in a demo. Demos rarely ask who edited the audit log. Auditors do.
Default deny needs receipts too
Is dea-chleachtas é diúltú réamhshocraithe agus is mana uafásach é má fhanann sé ar an sleamhnán. Tugann polasaí Selvedge fiacla don mhana. Sainmhíníonn an crate polasaí cumais WASM ar nós clog, randamacht, córas comhad, líonra, timpeallacht, stdio, próiseas agus saincheaptha. Iompraíonn sé teorainneacha acmhainní do chuimhne, méid comhaid, comhaireamh treoracha agus am. Bailíochtaíonn sé invariants, diúltaíonn sé do chumais dhúblacha, soláthraíonn sé earráidí struchtúrtha agus mapálann sé teipeanna isteach i bhfoclóir locht coiteann Dweve. Cuireann an rithimeoir teorainneacha acmhainní i bhfeidhm ar an gcumraíocht forghníomhaithe sula dtosaíonn an t-ualach oibre.
Ciallaíonn sé sin nach ceistneoir é an polasaí a fhreagraítear tar éis an rith. Is ionchur é don fhorghníomhú. Má iarrann an t-ualach oibre rochtain ar am, randamacht, córas comhad, líonra, timpeallacht nó próiseas, caithfidh an t-iarratas sin pas a fháil sa pholasaí. Má chaitheann sé an iomarca breosla, cuimhne nó am balla, críochnaíonn an rith mar theip rialaithe. Má tá polasaí neamh-chomhsheasmhach, ba cheart dó teipeadh sula dtosaíonn an t-ábhar ag déanamh aon rud suimiúil. An-leadránach. An-úsáideach. Is mar sin a choinnímid deireadh seachtaine.
Is é an pointe tábhachtach nach bhfuil cinntí polasaí scartha ó fhianaise. Is féidir le bosca gainimh catagóir leathan a cheadú nó a dhiúltú agus fós an rian iniúchta a fhágáil tanaí. Tá Selvedge tógtha timpeall ar an smaoineamh go mbaineann gach cinneadh geata agus léamh acmhainne le scéal an rith. Sin a fhágann go bhfuil sé úsáideach d'uirlisí gníomhaire, forghníomhú breiseán tríú páirtí, ionduchtú Kera, ualaí oibre rialaithe agus cód comhpháirtí. D'fhéadfadh an obair a bheith neamhiontaofa. Níor cheart go mbeadh an fhianaise.
Is é an cinnteacht an áit a stopann an t-óstach ag seiftiú
Tá sé éasca athsheinm a gheallúint agus deacair a choinneáil. Tá clog ag an óstach. Tá randamacht ag an óstach. Is féidir le hiompar NaN snámhphointe a bheith corrach. D'fhéadfadh SIMD a bheith difriúil trasna ailtireachtaí. Is bealaí iontacha iad córais comhad, athróga timpeallachta agus staid próisis chun neamhchinnteacht a smuigleáil isteach in áiteanna nach raibh aon duine ag súil léi. Más mian leat athsheinm, caithfidh tú na foinsí sin a bhaint nó a rialú sula n-éiríonn siad ina leithscéalta.
Déanann Selvedge forghníomhú cinntitheach mar réamhshocrú. Déanann an README cur síos ar chlog fíorúil ceangailte le ré 2024-01-01, randamacht ChaCha20 síltaithe, méadrú breosla, giniúint athscríbhinn agus canónú NaN. Deir sé freisin go bhfuil brath SIMD is tapúla ach ailtireacht chéanna amháin, agus gurb é SIMD a dhíchumasú an bealach iomlán iniompartha tras-ardán. Is cuma faoin gcuid dheireanach sin mar nach paidir é an cinnteacht. Is cinneadh cumraíochta agus ailtireachta é, agus uaireanta is é an malartú macánta ná luas ar son iniomparthachta.
Úsáideann an rithimeoir an backends Wasmtime mar réamhshocrú le forghníomhú cinntitheach cumasaithe. Is é Kera an backends eile, dírithe ar ualaí oibre Graph IR agus líonraí néarúla dénártha. Tá an scoilt sin réasúnta. Is é WASM an cosán ginearálta comhpháirt neamhiontaofa. Is é Kera an cosán graf AI. Teastaíonn an smacht céanna timpeall orthu araon: polasaí roimh fhorghníomhú, socruithe cinntitheacha, athscríbhinn tar éis forghníomhaithe, agus cruthúnas timpeall an toraidh.
Cén fáth a ndéanann gníomhairí seo níos lú roghnach
Cuireann córais ghníomhairí rith neamhiontaofa faiseanta arís, abairt ar cheart do gach duine slándála suí suas beagán níos dírí. Iarrann samhail glao uirlise. Ritheann breiseán claochlú. Baineann script chúnta ghinte le sonraí. Tagann uirlis chomhpháirtíochta trí MCP. Ní scríobh an tsamhail an uirlis, b'fhéidir nach ndéanfaí athbhreithniú ar an uirlis leis an gcúram céanna le cód táirge, agus tá súil ag an úsáideoir fós go míneoidh an córas cad a tharla. Ádh mór air sin más é an t-aon fhreagra ná eolaire loga agus giúmar.
Tá dromchla freastalaí MCP ag Selvedge d'uirlisí gníomhairí, CLI le haghaidh sreafaí oibre tógála, fíoraithe, rith agus athsheinm, daemon le haghaidh feidhmiú fadtréimhseach, linnte rithimí agus téamh taisce, cláir chliaint agus fhreastalaí cláraithe, agus SDK aoi. Ní hé an pointe go bhfuil gach dromchla mar an gcéanna. Is é an pointe ná gur cheart go mbeadh cruth na fianaise inchomparáide. Cibé an dtéann ualach oibre isteach mar chomhpháirt WASM, graf Kera, uirlis ghníomhairí nó post seirbhíse, ba cheart go gcríochnódh an rith le rud éigin is féidir leat a fhíorú.
Is trádáil é feidhmíocht, ní geasa
Áirítear ar leathanach Selvedge uimhreacha tagarmharcála ó BENCHMARKS.md an stór: is é an tús fuar an bua ceannlíne, tá an cosán te níos nua-aimseartha, tá scéal graf te ag Kera JIT, agus tá roinnt cosán te glaonna athdhéanta ag vanilla Wasmtime fós. Sin an bealach ceart chun labhairt faoi. Tá lán trádálacha san obair runtime. Má tháirgeann samhail chomhpháirte trascríobh agus clúdach cruthúnais, tá costais éagsúla aici ná an cosán íosta lom. Más é an tús fuar do phian, d'fhéadfadh an cosán fianaise sin cabhrú. Más ualach oibre dlúth é glaoch athdhéanta gan gá le forchostas trascríobh, d'fhéadfadh an freagra a bheith difriúil. An-áisiúil, réaltacht. Diúltaíonn sé a bheith ina bhróisiúr.
Tá leagan alt an scéil feidhmíochta mar sin simplí: roghnaigh an runtime don ualach oibre. Ná húsáid clúdach cruthúnais mar phota draíochta luais. Úsáid é nuair atá costas gan fhianaise athsheinm níos airde ná an forchostas. Le haghaidh uirlisí gníomhairí, próiseáil sonraí rialaithe, breiseáin tríú páirtí agus feidhmiú ina n-iarrfaidh duine níos déanaí cad a tharla, is minic a bhíonn an costas sin fíor.
Cad atá le hathbhreithniú sula n-úsáidtear é
Ar dtús, cinntigh an bhfuil srianadh, fianaise, nó an dá rud uait. Má tá an t-ualach oibre iontaofa agus inmheánach, b'fhéidir gur mó innealra ná mar is gá é Selvedge. Má tá an t-ualach oibre neamhiontaofa, soláthraithe ag comhpháirtí, spreagtha ag samhail nó os comhair iniúchta, tosaíonn an trascríobh ag tuilleamh a áit.
Ar an dara dul síos, déan athbhreithniú ar an mbeartas. Cad iad na cumais a cheadaítear? Cad iad na cinn a dhiúltaítear? Cad iad na teorainneacha breosla, cuimhne agus ama? An bhfuil modh cinntitheach ag teastáil nó an bhfuil sé ceadaitheach amháin? An bhfuil rochtain chórais comhaid agus líonra cúng go leor? An bhfuil an beartas leaganaithe leis an saothar? Má tá beartas i wiki agus feidhmiú in áit éigin eile, tá an dearadh ag sileadh cheana féin.
Ar an tríú dul síos, tástáil athsheinm mar iompar táirge. Ná fan le hiniúchadh chun a fháil amach an bhfíoraíonn an clúdach as líne. Rith an saothar céanna, an beartas céanna agus na hionchuir chéanna faoi dhó. Déan comparáid idir trascríbhinní. Bain triail as cumais dhiúltaithe. Bris an tseiceáil. Athraigh an síol. Díchumasaigh SIMD má tá comhionannas tras-ardáin tábhachtach. Is iad na tástálacha cráite an pointe.
An ceacht
Ní bosca gainimh níos deise é Selvedge. Is ciseal fianaise feidhmithe é. Ritheann sé saothair WASM agus Kera, tosaíonn sé ó dhiúltú réamhshocraithe, srianann sé acmhainní, rialaíonn sé ionchuir chinntitheacha, hasálann sé feidhmiú i dtrascríbhinní, agus cuireann sé torthaí i gclúdach cruthúnais is féidir a sheiceáil níos déanaí. Gealltanas difriúil é sin ón gcód a d'fhan ina chúinne.
De réir mar a ghlaonn córais AI níos mó uirlisí, a ritheann siad níos mó cúntóirí ginte agus a nglacann siad le níos mó comhpháirteanna tríú páirtí, stopann an t-idirdhealú sin a bheith acadúil. Ní bheidh an cheist ach an éalaigh an t-ualach oibre. Is í an cheist a bheidh ann ná cad a rinne sé, faoi cén polasaí, le cén ionchur, ag táirgeadh cén aschur, agus an féidir le duine eile an t-éileamh sin a athsheinm.
Is balla é bosca gainimh. Déanann Selvedge iarracht a bheith mar fhinné freisin.