Artifact
3397232cbab96d26d6327360245880666bcf2696
File
tests/ed25519-table.fs
— part of check-in
[214f0a8a31]
at
2018-03-28 21:55:48
on branch trunk
— Add simple en/decryption for single receiver
(user:
bernd
size: 1264)
0000: 5c 20 74 65 73 74 20 65 64 32 35 35 31 39 2d 64 \ test ed25519-d
0010: 6f 6e 6e 61 20 62 61 73 65 70 6f 69 6e 74 20 6d onna basepoint m
0020: 75 6c 74 69 70 6c 69 63 61 74 69 6f 6e 0a 0a 64 ultiplication..d
0030: 65 62 75 67 3a 20 68 65 61 6c 74 68 28 0a 0a 72 ebug: health(..r
0040: 65 71 75 69 72 65 20 66 6f 72 77 61 72 64 2e 66 equire forward.f
0050: 73 0a 72 65 71 75 69 72 65 20 61 6e 73 69 2e 66 s.require ansi.f
0060: 73 0a 72 65 71 75 69 72 65 20 6d 69 6e 69 2d 6f s.require mini-o
0070: 6f 66 32 2e 66 73 0a 72 65 71 75 69 72 65 20 75 of2.fs.require u
0080: 73 65 72 2d 6f 62 6a 65 63 74 2e 66 73 0a 72 65 ser-object.fs.re
0090: 71 75 69 72 65 20 75 6e 69 78 2f 6d 6d 61 70 2e quire unix/mmap.
00a0: 66 73 0a 72 65 71 75 69 72 65 20 2e 2e 2f 74 6f fs.require ../to
00b0: 6f 6c 73 2e 66 73 0a 72 65 71 75 69 72 65 20 2e ols.fs.require .
00c0: 2e 2f 78 74 79 70 65 2e 66 73 0a 72 65 71 75 69 ./xtype.fs.requi
00d0: 72 65 20 2e 2e 2f 62 61 73 65 36 34 2e 66 73 0a re ../base64.fs.
00e0: 72 65 71 75 69 72 65 20 2e 2e 2f 62 61 73 65 38 require ../base8
00f0: 35 2e 66 73 0a 72 65 71 75 69 72 65 20 2e 2e 2f 5.fs.require ../
0100: 6b 72 65 67 69 6f 6e 2e 66 73 0a 72 65 71 75 69 kregion.fs.requi
0110: 72 65 20 2e 2e 2f 63 72 79 70 74 6f 2d 61 70 69 re ../crypto-api
0120: 2e 66 73 0a 72 65 71 75 69 72 65 20 2e 2e 2f 6b .fs.require ../k
0130: 65 63 63 61 6b 2e 66 73 0a 72 65 71 75 69 72 65 eccak.fs.require
0140: 20 2e 2e 2f 72 6e 67 2e 66 73 0a 72 65 71 75 69 ../rng.fs.requi
0150: 72 65 20 2e 2e 2f 65 64 32 35 35 31 39 2d 64 6f re ../ed25519-do
0160: 6e 6e 61 2e 66 73 0a 0a 68 65 72 65 20 6e 65 67 nna.fs..here neg
0170: 61 74 65 20 24 31 46 20 61 6e 64 20 61 6c 6c 6f ate $1F and allo
0180: 74 0a 68 65 72 65 20 24 32 30 20 61 6c 6c 6f 74 t.here $20 allot
0190: 0a 68 65 72 65 20 24 32 30 20 61 6c 6c 6f 74 0a .here $20 allot.
01a0: 68 65 72 65 20 24 32 30 20 61 6c 6c 6f 74 0a 68 here $20 allot.h
01b0: 65 72 65 20 24 32 30 20 61 6c 6c 6f 74 0a 63 6f ere $20 allot.co
01c0: 6e 73 74 61 6e 74 20 73 74 70 6b 63 20 63 6f 6e nstant stpkc con
01d0: 73 74 61 6e 74 20 73 74 73 6b 63 20 63 6f 6e 73 stant stskc cons
01e0: 74 61 6e 74 20 6b 65 79 70 61 64 20 63 6f 6e 73 tant keypad cons
01f0: 74 61 6e 74 20 6b 65 79 70 61 64 32 0a 0a 3a 20 tant keypad2..:
0200: 69 6e 69 74 2d 70 6b 63 0a 20 20 20 20 67 65 32 init-pkc. ge2
0210: 35 35 31 39 2d 62 61 73 65 70 6f 69 6e 74 20 67 5519-basepoint g
0220: 65 74 30 20 24 33 30 20 34 20 2a 20 6d 6f 76 65 et0 $30 4 * move
0230: 0a 20 20 20 20 73 74 70 6b 63 20 67 65 74 30 20 . stpkc get0
0240: 67 65 32 35 35 31 39 2d 70 61 63 6b 20 3b 0a 0a ge25519-pack ;..
0250: 3a 20 69 6e 69 74 2d 73 6b 63 20 28 20 2d 2d 20 : init-skc ( --
0260: 29 0a 20 20 20 20 73 74 73 6b 63 20 24 32 30 20 ). stskc $20
0270: 65 72 61 73 65 20 31 20 73 74 73 6b 63 20 63 21 erase 1 stskc c!
0280: 20 3b 0a 0a 3a 20 73 6b 2a 32 20 28 20 61 64 64 ;..: sk*2 ( add
0290: 72 20 2d 2d 20 29 20 20 30 20 73 77 61 70 20 24 r -- ) 0 swap $
02a0: 32 30 20 62 6f 75 6e 64 73 20 44 4f 0a 09 49 20 20 bounds DO..I
02b0: 40 20 74 75 63 6b 20 32 2a 20 73 77 61 70 20 2d @ tuck 2* swap -
02c0: 20 49 20 21 20 30 3c 0a 20 20 20 20 63 65 6c 6c I ! 0<. cell
02d0: 20 2b 4c 4f 4f 50 20 20 64 72 6f 70 20 3b 0a 0a +LOOP drop ;..
02e0: 3a 20 3f 6f 6b 20 20 6b 65 79 70 61 64 20 24 32 : ?ok keypad $2
02f0: 30 20 6b 65 79 70 61 64 32 20 6f 76 65 72 20 73 0 keypad2 over s
0300: 74 72 3d 20 49 46 20 2e 22 20 6f 6b 22 20 20 54 tr= IF ." ok" T
0310: 48 45 4e 20 3b 0a 0a 3a 20 65 64 2d 64 68 76 20 HEN ;..: ed-dhv
0320: 7b 20 73 6b 20 70 6b 20 64 65 73 74 20 2d 2d 20 { sk pk dest --
0330: 73 65 63 72 65 74 20 6c 65 6e 20 7d 0a 20 20 20 secret len }.
0340: 20 67 65 74 30 20 70 6b 20 67 65 32 35 35 31 39 get0 pk ge25519
0350: 2d 75 6e 70 61 63 6b 2d 20 30 3d 20 21 21 6e 6f -unpack- 0= !!no
0360: 2d 65 64 2d 6b 65 79 21 21 0a 20 20 20 20 73 63 -ed-key!!. sc
0370: 74 32 20 73 6b 20 72 61 77 3e 73 63 32 35 35 31 t2 sk raw>sc2551
0380: 39 0a 20 20 20 20 67 65 74 31 20 67 65 74 30 20 9. get1 get0
0390: 73 63 74 32 20 67 65 32 35 35 31 39 2a 76 0a 20 sct2 ge25519*v.
03a0: 20 20 20 64 65 73 74 20 67 65 74 31 20 67 65 32 dest get1 ge2
03b0: 35 35 31 39 2d 70 61 63 6b 0a 20 20 20 20 63 6c 5519-pack. cl
03c0: 65 61 6e 2d 65 64 32 35 35 31 39 20 64 65 73 74 ean-ed25519 dest
03d0: 20 24 32 30 20 20 24 38 30 20 64 65 73 74 20 24 $20 $80 dest $
03e0: 31 46 20 2b 20 78 6f 72 63 21 20 3b 0a 0a 3a 20 1F + xorc! ;..:
03f0: 32 35 35 31 39 2e 61 6c 6c 20 28 20 2d 2d 20 29 25519.all ( -- )
0400: 0a 20 20 20 20 69 6e 69 74 2d 73 6b 63 20 69 6e . init-skc in
0410: 69 74 2d 70 6b 63 0a 20 20 20 20 24 31 30 30 20 it-pkc. $100
0420: 30 20 44 4f 20 20 28 20 73 74 73 6b 63 20 73 6b 0 DO ( stskc sk
0430: 2d 6d 61 73 6b 20 29 20 5c 20 73 74 73 6b 63 20 -mask ) \ stskc
0440: 24 32 30 20 78 74 79 70 65 20 73 70 61 63 65 0a $20 xtype space.
0450: 09 73 74 73 6b 63 20 73 74 70 6b 63 20 6b 65 79 .stskc stpkc key
0460: 70 61 64 20 65 64 2d 64 68 20 38 35 74 79 70 65 pad ed-dh 85type
0470: 20 73 70 61 63 65 0a 09 73 74 73 6b 63 20 73 74 space..stskc st
0480: 70 6b 63 20 6b 65 79 70 61 64 32 20 65 64 2d 64 pkc keypad2 ed-d
0490: 68 76 20 32 64 72 6f 70 20 3f 6f 6b 0a 09 73 74 hv 2drop ?ok..st
04a0: 73 6b 63 20 6b 65 79 70 61 64 32 20 73 6b 3e 70 skc keypad2 sk>p
04b0: 6b 20 3f 6f 6b 0a 09 63 72 20 73 74 73 6b 63 20 k ?ok..cr stskc
04c0: 73 6b 2a 32 20 20 4c 4f 4f 50 20 3b 0a 0a 73 63 sk*2 LOOP ;..sc
04d0: 72 69 70 74 3f 20 5b 49 46 5d 20 32 35 35 31 39 ript? [IF] 25519
04e0: 2e 61 6c 6c 20 62 79 65 20 5b 54 48 45 4e 5d 0a .all bye [THEN].