ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-11-28 19:55:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

Ripple constant blocking testbed.

Browse Source
This commit is contained in:
C. Guy Yarvin 2018-02-26 22:33:06 -08:00
parent deab31fdb6
commit 7d2107e0cb
2 changed files with 53 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
gen/bug.hoon
View File

@ -7,28 +7,54 @@
::::
::
!:
^%
:- %say
|= *
=> ^%
|%
++ one
1
++ nine
1
++ two
(add 1 one)
++ three
(add one two)
++ hex ^#((add hell five))
++ hell 65
++ hello 65
++ hellp 65
++ hellq 65
++ nov 9
++ four
(add two two)
++ five
+(four)
=> |%
++ pki ^?
|%
:: the urbit meta-certificate (++will) is a sequence
:: of certificates (++cert). each cert in a will
:: revokes and replaces the previous cert. the
:: version number of a ship is a ++life.
::
:: the deed contains an ++arms, a definition
:: of cosmetic identity; a semi-trusted parent,
:: which signs the initial certificate and provides
:: routing services; and a dirty bit. if the dirty
:: bit is set, the new life of this ship may have
:: lost information that the old life had.
::
++ arms (map chip (pair @ta @t)) :: stated identity
++ bull :: cert metadata
$: dad/ship :: parent
dob/? :: & clean, | dirty
nym/arms :: identity strings
== ::
++ cert (tale deed) :: signed deed
++ chip :: standard identity
$? $giv :: given name
$sur :: surname
$had :: fictitious name
$mid :: middle name
== ::
++ deed :: certificate deed
$: doc/bull :: metadata
pub/pass :: public key
== ::
++ farm (map ship will) :: pki dump set
++ hand @uvH :: 128-bit hash
++ life @ud :: ship version
++ mind {who/ship lyf/life} :: key identifier
++ name (pair @ta @t) :: ascii / unicode
++ oath @ :: signature
++ tale :: urbit-signed *
|* typ/mold :: payload mold
$: dat/typ :: data
syg/(map ship (pair life oath)) :: signatures
== ::
++ will (map life cert) :: meta-certificate
-- :: pki
--
:- %noun
hex
"hello, world"

14
sys/hoon.hoon
View File

@ -8278,25 +8278,23 @@
?~ jon
?: fab
[p.pro [%10 [%live %1 %constant-stop] q.pro]]
[p.pro [%10 [%live %1 %constant-stop-fab] q.pro]]
:: ~& %constant-stopped
:: [p.pro [%10 [%live %1 %constant-stop-fab] q.pro]]
:: ~_ (dunk '%constant-stopped-type')
:: ~| [%constant-stopped-gene gen]
:: ~| [%constant-stopped-mask mask.bus]
:: ~| [%constant-stopped-formula `@p`(mug q.pro) q.pro]
:: ~| %constant-folding-stopped
:: !!
~| %constant-folding-stopped
!!
?: ?=($wait -.u.jon)
?: fab
[p.pro [%10 [%live %1 %constant-block] q.pro]]
[p.pro [%10 [%live %1 %constant-block-fab] q.pro]]
:: ~& %constant-blocked
:: [p.pro [%10 [%live %1 %constant-block-fab] q.pro]]
:: ~_ (dunk '%constant-blocked-type')
:: ~| [%constant-blocked-gene gen]
:: ~| [%constant-blocked-mask mask.bus]
:: ~| [%constant-blocked-formula `@p`(mug q.pro) q.pro]
:: ~| %constant-folding-blocked
:: !!
~| %constant-folding-blocked
!!
:: [p.pro [%10 [%live %1 %constant-nonblocked] %1 p.u.jon]]
[p.pro %1 p.u.jon]
::