Crub working.

But its really slow.
This commit is contained in:
Jared Hance 2014-05-23 14:08:06 -04:00
parent 2dbb9ff0fd
commit 5397906d37
2 changed files with 5 additions and 0 deletions

View File

@ -4408,6 +4408,7 @@
::
++ curt :: curve25519
|= [a=@ b=@]
~& %start
=> %= .
+
=> +

View File

@ -280,6 +280,7 @@
|%
++ seal
|= [a=pass b=@ c=@]
~& %seal
=+ =+ her=(hail a)
tie=(tide c.pub.her)
=+ [hog=(en tie b) ben=(en b c)]
@ -287,6 +288,7 @@
++ tear
|= [a=pass b=@]
^- (unit ,[p=@ q=@])
~& %tear
=+ bod=((hard ,[p=@ q=@]) (cue b))
=+ =+ her=(hail a)
tie=(tide c.pub.her)
@ -297,10 +299,12 @@
[~ u.hog u.ben]
++ sign
|= [a=@ b=@] ^- @ :: a=key??, b=msg
~& %sign
(jam (en a (shax b)) b)
++ sure
|= [a=@ b=@] :: a=key??, b=msg
^- (unit ,@)
~& %sure
=+ bod=((hard ,[h=@ m=@]) (cue b))
?: =((need (de a h.bod)) (shax m.bod))
(some m.bod)