object capability demonstration using secure VATs
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- javascript
- Ambito
- distributed-systems, security
Direzione di ricerca
Non vengono indicati file di progetto o test. Inizia esaminando gli esempi Dstack esistenti e il Endo ocap sandbox, quindi definisci una dimostrazione minima di vats separati e riferimenti a oggetti tra istanze. Il risultato deve includere un esempio funzionante che mostri come si comportano il codice serializzato o hardened e i riferimenti sensibili tra sandbox.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
There's a great body of work on object capability languages as a way of managing the risk of running untrusted code modules by only exposing limited fine-grained capabilities to the untrusted code.
But, while the subject is untrusted code, the environment itself in which the code runs, called a "Vat", must be considered trusted.
This is problematic when using cross-vat distributed code, because one malicious vat can steal the "Swiss number" references (random unguessable strings, effectively symmetric keys).
This makes it hard to reconcile object capability languages with smart contracts. In smart contracts we go out of our way to run consensus protocols so that a trusted environment can be built on untrusted nodes, but we can't assume privacy and so we can't use Swiss number references.
So now, by instantiating the vat with Dstack, we might be able to close this gap and draw some more insights or better composition / better hardening as a result.
As a starting point, we might simply run existing ocap sandbox in Dstack, possibly adding a new shim for referencing objects in different Dstack instances as different vats
https://github.com/endojs/endo
A more thoughtful example probably needs to illustrate some pattern of passing serialized/hardened code, containing Swiss numbers or even private keys, between such sandboxes. Needs more thought though
chatgpt discussion:
https://chatgpt.com/share/67ff0b25-b580-8009-a13b-d5ca70cb5fb7
- Lingua principale
- Python
- Stelle
- 27
- Fork
- 26
- Merge medio
- 1g 6h
- PR unite (30g)
- 12
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di Dstack-TEE/dstack-examples
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
Dstack-TEE/dstack-examples#87 · 2 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100
Dstack-TEE/dstack-examples#106 · 3 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
Dstack-TEE/dstack-examples#103 · 1 commento ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
-
enhancement help wanted
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
Tutte le issue di Dstack-TEE/dstack-examples
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
anthropics/skills#1811 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
speaches-ai/speaches#678 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
datalayer/mcp-compose#42 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
conda-forge/spacy-feedstock#177 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
UKGovernmentBEIS/inspect_evals#2523 ·