syndicate-lang
/
syndicate-rs
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Merge latest changes from the syndicate-protocols repository

This commit is contained in:
Tony Garnock-Jones 2023-02-08 14:35:19 +01:00
parent 3c1cb11779 a086c1d721
commit c0d4b535a3
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
syndicate/protocols/schemas/sturdy.prs
View File

@ -4,16 +4,17 @@ embeddedType EntityRef.Cap .
; The sequence of Caveats is run RIGHT-TO-LEFT.
; That is, the newest Caveats are at the right.
;
; Let f = HMAC-BLAKE2s, e = canonical machine-oriented serialization of some preserves value,
; and k = the original secret key for the ref.
; Let f(k,d) = HMAC-BLAKE2s-256(k,d)[0..16),
; e = canonical machine-oriented serialization of some preserves value, and
; k = the original secret key for the ref.
;
; The `sig` is then f(f(f(f(k, e(oid)), ...), Caveat), ...).
; The `sig` is then f(f(f(f(k, e(oid)), ...), e(Caveat)), ...).
;
SturdyRef = <ref @oid any @caveatChain [Caveat ...] @sig bytes>.
; embodies 1st-party caveats over assertion structure, but nothing else
; can add 3rd-party caveats and richer predicates later
Caveat = Rewrite / Alts / Reject /@unknown any .
Caveat = Rewrite / Alts / Reject / @unknown any .
Rewrite = <rewrite @pattern Pattern @template Template> .
Reject = <reject @pattern Pattern> .
Alts = <or @alternatives [Rewrite ...]>.