Hex Artifact Content
Not logged in

Artifact b9d2754d65821e3527fba208c5e18624d40eba59:


0000: 5c 20 4b 65 63 63 61 6b 3a 20 46 6f 72 74 68 20  \ Keccak: Forth 
0010: 76 65 72 73 69 6f 6e 20 62 79 20 42 65 72 6e 64  version by Bernd
0020: 20 50 61 79 73 61 6e 0a 5c 20 64 65 72 69 76 65   Paysan.\ derive
0030: 64 20 66 72 6f 6d 20 22 72 65 61 64 61 62 6c 65  d from "readable
0040: 20 6b 65 63 63 61 6b 22 0a 5c 20 31 39 2d 4e 6f   keccak".\ 19-No
0050: 76 2d 31 31 20 20 4d 61 72 6b 6b 75 2d 4a 75 68  v-11  Markku-Juh
0060: 61 6e 69 20 4f 2e 20 53 61 61 72 69 6e 65 6e 20  ani O. Saarinen 
0070: 3c 6d 6a 6f 73 40 69 6b 69 2e 66 69 3e 0a 5c 20  <mjos@iki.fi>.\ 
0080: 41 20 62 61 73 65 6c 69 6e 65 20 4b 65 63 63 61  A baseline Kecca
0090: 6b 20 28 33 72 64 20 72 6f 75 6e 64 29 20 69 6d  k (3rd round) im
00a0: 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 2e 0a 0a 32  plementation...2
00b0: 34 20 56 61 6c 75 65 20 6b 65 63 63 61 6b 2d 72  4 Value keccak-r
00c0: 6f 75 6e 64 73 0a 35 20 63 65 6c 6c 73 20 63 6f  ounds.5 cells co
00d0: 6e 73 74 61 6e 74 20 6b 63 6f 6c 23 0a 32 35 20  nstant kcol#.25 
00e0: 63 65 6c 6c 73 20 63 6f 6e 73 74 61 6e 74 20 6b  cells constant k
00f0: 6b 65 79 23 0a 0a 3a 20 63 61 72 72 61 79 20 20  key#..: carray  
0100: 43 72 65 61 74 65 20 20 44 4f 45 53 3e 20 2b 20  Create  DOES> + 
0110: 63 40 20 3b 0a 3a 20 61 72 72 61 79 20 20 20 43  c@ ;.: array   C
0120: 72 65 61 74 65 20 20 44 4f 45 53 3e 20 73 77 61  reate  DOES> swa
0130: 70 20 63 65 6c 6c 73 20 2b 20 40 20 3b 0a 0a 61  p cells + @ ;..a
0140: 72 72 61 79 20 6b 65 63 63 61 6b 66 2d 72 6e 64  rray keccakf-rnd
0150: 63 0a 24 30 30 30 30 30 30 30 30 30 30 30 30 30  c.$0000000000000
0160: 30 30 31 20 2c 20 24 30 30 30 30 30 30 30 30 30  001 , $000000000
0170: 30 30 30 38 30 38 32 20 2c 0a 24 38 30 30 30 30  0008082 ,.$80000
0180: 30 30 30 30 30 30 30 38 30 38 61 20 2c 20 24 38  0000000808a , $8
0190: 30 30 30 30 30 30 30 38 30 30 30 38 30 30 30 20  000000080008000 
01a0: 2c 0a 24 30 30 30 30 30 30 30 30 30 30 30 30 38  ,.$0000000000008
01b0: 30 38 62 20 2c 20 24 30 30 30 30 30 30 30 30 38  08b , $000000008
01c0: 30 30 30 30 30 30 31 20 2c 0a 24 38 30 30 30 30  0000001 ,.$80000
01d0: 30 30 30 38 30 30 30 38 30 38 31 20 2c 20 24 38  00080008081 , $8
01e0: 30 30 30 30 30 30 30 30 30 30 30 38 30 30 39 20  000000000008009 
01f0: 2c 0a 24 30 30 30 30 30 30 30 30 30 30 30 30 30  ,.$0000000000000
0200: 30 38 61 20 2c 20 24 30 30 30 30 30 30 30 30 30  08a , $000000000
0210: 30 30 30 30 30 38 38 20 2c 0a 24 30 30 30 30 30  0000088 ,.$00000
0220: 30 30 30 38 30 30 30 38 30 30 39 20 2c 20 24 30  00080008009 , $0
0230: 30 30 30 30 30 30 30 38 30 30 30 30 30 30 61 20  00000008000000a 
0240: 2c 0a 24 30 30 30 30 30 30 30 30 38 30 30 30 38  ,.$0000000080008
0250: 30 38 62 20 2c 20 24 38 30 30 30 30 30 30 30 30  08b , $800000000
0260: 30 30 30 30 30 38 62 20 2c 0a 24 38 30 30 30 30  000008b ,.$80000
0270: 30 30 30 30 30 30 30 38 30 38 39 20 2c 20 24 38  00000008089 , $8
0280: 30 30 30 30 30 30 30 30 30 30 30 38 30 30 33 20  000000000008003 
0290: 2c 0a 24 38 30 30 30 30 30 30 30 30 30 30 30 38  ,.$8000000000008
02a0: 30 30 32 20 2c 20 24 38 30 30 30 30 30 30 30 30  002 , $800000000
02b0: 30 30 30 30 30 38 30 20 2c 20 0a 24 30 30 30 30  0000080 , .$0000
02c0: 30 30 30 30 30 30 30 30 38 30 30 61 20 2c 20 24  00000000800a , $
02d0: 38 30 30 30 30 30 30 30 38 30 30 30 30 30 30 61  800000008000000a
02e0: 20 2c 0a 24 38 30 30 30 30 30 30 30 38 30 30 30   ,.$800000008000
02f0: 38 30 38 31 20 2c 20 24 38 30 30 30 30 30 30 30  8081 , $80000000
0300: 30 30 30 30 38 30 38 30 20 2c 0a 24 30 30 30 30  00008080 ,.$0000
0310: 30 30 30 30 38 30 30 30 30 30 30 31 20 2c 20 24  000080000001 , $
0320: 38 30 30 30 30 30 30 30 38 30 30 30 38 30 30 38  8000000080008008
0330: 20 2c 0a 0a 63 61 72 72 61 79 20 6b 65 63 63 61   ,..carray kecca
0340: 6b 66 2d 72 6f 74 63 0a 31 20 63 2c 20 20 33 20  kf-rotc.1 c,  3 
0350: 63 2c 20 20 36 20 63 2c 20 20 31 30 20 63 2c 20  c,  6 c,  10 c, 
0360: 31 35 20 63 2c 20 32 31 20 63 2c 0a 32 38 20 63  15 c, 21 c,.28 c
0370: 2c 20 33 36 20 63 2c 20 34 35 20 63 2c 20 35 35  , 36 c, 45 c, 55
0380: 20 63 2c 20 32 20 63 2c 20 20 31 34 20 63 2c 20   c, 2 c,  14 c, 
0390: 0a 32 37 20 63 2c 20 34 31 20 63 2c 20 35 36 20  .27 c, 41 c, 56 
03a0: 63 2c 20 38 20 63 2c 20 20 32 35 20 63 2c 20 34  c, 8 c,  25 c, 4
03b0: 33 20 63 2c 0a 36 32 20 63 2c 20 31 38 20 63 2c  3 c,.62 c, 18 c,
03c0: 20 33 39 20 63 2c 20 36 31 20 63 2c 20 32 30 20   39 c, 61 c, 20 
03d0: 63 2c 20 34 34 20 63 2c 0a 0a 3a 20 63 63 2c 20  c, 44 c,..: cc, 
03e0: 20 63 65 6c 6c 73 20 63 2c 20 3b 0a 0a 63 61 72   cells c, ;..car
03f0: 72 61 79 20 6b 65 63 63 61 6b 66 2d 70 69 6c 6e  ray keccakf-piln
0400: 0a 31 30 20 63 63 2c 20 37 20 63 63 2c 20 20 31  .10 cc, 7 cc,  1
0410: 31 20 63 63 2c 20 31 37 20 63 63 2c 20 31 38 20  1 cc, 17 cc, 18 
0420: 63 63 2c 20 33 20 63 63 2c 0a 35 20 63 63 2c 20  cc, 3 cc,.5 cc, 
0430: 20 31 36 20 63 63 2c 20 38 20 63 63 2c 20 20 32   16 cc, 8 cc,  2
0440: 31 20 63 63 2c 20 32 34 20 63 63 2c 20 34 20 63  1 cc, 24 cc, 4 c
0450: 63 2c 0a 31 35 20 63 63 2c 20 32 33 20 63 63 2c  c,.15 cc, 23 cc,
0460: 20 31 39 20 63 63 2c 20 31 33 20 63 63 2c 20 31   19 cc, 13 cc, 1
0470: 32 20 63 63 2c 20 32 20 63 63 2c 0a 32 30 20 63  2 cc, 2 cc,.20 c
0480: 63 2c 20 31 34 20 63 63 2c 20 32 32 20 63 63 2c  c, 14 cc, 22 cc,
0490: 20 39 20 63 63 2c 20 20 36 20 63 63 2c 20 20 31   9 cc,  6 cc,  1
04a0: 20 63 63 2c 0a 0a 63 61 72 72 61 79 20 6d 6f 64   cc,..carray mod
04b0: 35 0a 30 20 63 63 2c 20 31 20 63 63 2c 20 32 20  5.0 cc, 1 cc, 2 
04c0: 63 63 2c 20 33 20 63 63 2c 20 34 20 63 63 2c 0a  cc, 3 cc, 4 cc,.
04d0: 30 20 63 63 2c 20 31 20 63 63 2c 20 32 20 63 63  0 cc, 1 cc, 2 cc
04e0: 2c 20 33 20 63 63 2c 20 34 20 63 63 2c 0a 0a 5c  , 3 cc, 4 cc,..\
04f0: 20 75 70 64 61 74 65 20 74 68 65 20 73 74 61 74   update the stat
0500: 65 20 77 69 74 68 20 67 69 76 65 6e 20 6e 75 6d  e with given num
0510: 62 65 72 20 6f 66 20 72 6f 75 6e 64 73 0a 0a 6b  ber of rounds..k
0520: 63 6f 6c 23 20 62 75 66 66 65 72 3a 20 62 63 0a  col# buffer: bc.
0530: 6b 6b 65 79 23 20 62 75 66 66 65 72 3a 20 73 74  kkey# buffer: st
0540: 0a 0a 3a 20 6c 72 6f 74 31 20 28 20 78 31 20 2d  ..: lrot1 ( x1 -
0550: 2d 20 78 32 20 29 20 20 64 75 70 20 32 2a 20 73  - x2 )  dup 2* s
0560: 77 61 70 20 30 3c 20 2d 20 3b 0a 3a 20 6c 72 6f  wap 0< - ;.: lro
0570: 74 20 28 20 78 31 20 6e 20 2d 2d 20 78 32 20 29  t ( x1 n -- x2 )
0580: 20 20 32 64 75 70 20 6c 73 68 69 66 74 20 3e 72    2dup lshift >r
0590: 0a 20 20 20 20 36 34 20 73 77 61 70 20 2d 20 72  .    64 swap - r
05a0: 73 68 69 66 74 20 72 3e 20 6f 72 20 3b 0a 3a 20  shift r> or ;.: 
05b0: 78 6f 72 21 20 28 20 78 20 61 64 64 72 20 2d 2d  xor! ( x addr --
05c0: 20 29 20 20 64 75 70 20 3e 72 20 40 20 78 6f 72   )  dup >r @ xor
05d0: 20 72 3e 20 21 20 3b 0a 0a 3a 20 74 68 65 74 61   r> ! ;..: theta
05e0: 31 20 28 20 2d 2d 20 29 0a 20 20 20 20 35 20 30  1 ( -- ).    5 0
05f0: 20 44 4f 0a 09 30 20 73 74 20 69 20 63 65 6c 6c   DO..0 st i cell
0600: 73 20 2b 20 6b 6b 65 79 23 20 62 6f 75 6e 64 73  s + kkey# bounds
0610: 20 44 4f 0a 09 49 20 40 20 78 6f 72 20 20 6b 63   DO..I @ xor  kc
0620: 6f 6c 23 20 2b 4c 4f 4f 50 0a 09 62 63 20 69 20  ol# +LOOP..bc i 
0630: 63 65 6c 6c 73 20 2b 20 21 0a 20 20 20 20 4c 4f  cells + !.    LO
0640: 4f 50 20 3b 0a 0a 3a 20 74 68 65 74 61 32 20 28  OP ;..: theta2 (
0650: 20 2d 2d 20 29 0a 20 20 20 20 35 20 30 20 44 4f   -- ).    5 0 DO
0660: 0a 09 62 63 20 49 20 34 20 2b 20 6d 6f 64 35 20  ..bc I 4 + mod5 
0670: 2b 20 40 0a 09 62 63 20 49 20 31 20 2b 20 6d 6f  + @..bc I 1 + mo
0680: 64 35 20 2b 20 40 20 6c 72 6f 74 31 20 78 6f 72  d5 + @ lrot1 xor
0690: 0a 09 73 74 20 69 20 63 65 6c 6c 73 20 2b 20 6b  ..st i cells + k
06a0: 6b 65 79 23 20 62 6f 75 6e 64 73 20 44 4f 0a 09  key# bounds DO..
06b0: 64 75 70 20 49 20 78 6f 72 21 20 20 6b 63 6f 6c  dup I xor!  kcol
06c0: 23 20 2b 4c 4f 4f 50 0a 09 64 72 6f 70 0a 20 20  # +LOOP..drop.  
06d0: 20 20 4c 4f 4f 50 20 3b 0a 0a 3a 20 72 68 6f 70    LOOP ;..: rhop
06e0: 69 20 28 20 2d 2d 20 29 0a 20 20 20 20 73 74 20  i ( -- ).    st 
06f0: 63 65 6c 6c 2b 20 40 0a 20 20 20 20 32 34 20 30  cell+ @.    24 0
0700: 20 44 4f 0a 09 49 20 6b 65 63 63 61 6b 66 2d 70   DO..I keccakf-p
0710: 69 6c 6e 20 73 74 20 2b 20 64 75 70 20 40 0a 09  iln st + dup @..
0720: 72 6f 74 20 49 20 6b 65 63 63 61 6b 66 2d 72 6f  rot I keccakf-ro
0730: 74 63 20 6c 72 6f 74 0a 09 72 6f 74 20 21 0a 20  tc lrot..rot !. 
0740: 20 20 20 4c 4f 4f 50 20 64 72 6f 70 20 3b 0a 0a     LOOP drop ;..
0750: 3a 20 63 68 69 20 28 20 2d 2d 20 29 0a 20 20 20  : chi ( -- ).   
0760: 20 73 74 20 6b 6b 65 79 23 20 62 6f 75 6e 64 73   st kkey# bounds
0770: 20 44 4f 0a 09 49 20 62 63 20 6b 63 6f 6c 23 20   DO..I bc kcol# 
0780: 6d 6f 76 65 0a 09 35 20 30 20 44 4f 0a 09 20 20  move..5 0 DO..  
0790: 20 20 62 63 20 49 20 31 2b 20 6d 6f 64 35 20 2b    bc I 1+ mod5 +
07a0: 20 40 20 69 6e 76 65 72 74 0a 09 20 20 20 20 62   @ invert..    b
07b0: 63 20 49 20 32 20 2b 20 6d 6f 64 35 20 2b 20 40  c I 2 + mod5 + @
07c0: 20 61 6e 64 0a 09 20 20 20 20 4a 20 49 20 63 65   and..    J I ce
07d0: 6c 6c 73 20 2b 20 78 6f 72 21 0a 09 4c 4f 4f 50  lls + xor!..LOOP
07e0: 0a 20 20 20 20 6b 63 6f 6c 23 20 2b 4c 4f 4f 50  .    kcol# +LOOP
07f0: 20 3b 0a 0a 3a 20 69 6f 74 61 20 28 20 72 6f 75   ;..: iota ( rou
0800: 6e 64 20 2d 2d 20 29 0a 20 20 20 20 6b 65 63 63  nd -- ).    kecc
0810: 61 6b 66 2d 72 6e 64 63 20 73 74 20 78 6f 72 21  akf-rndc st xor!
0820: 20 3b 0a 0a 3a 20 6f 6e 65 72 6f 75 6e 64 20 28   ;..: oneround (
0830: 20 72 6f 75 6e 64 20 2d 2d 20 29 0a 20 20 20 20   round -- ).    
0840: 74 68 65 74 61 31 20 20 74 68 65 74 61 32 20 20  theta1  theta2  
0850: 72 68 6f 70 69 20 20 63 68 69 20 20 69 6f 74 61  rhopi  chi  iota
0860: 20 3b 0a 0a 3a 20 6b 65 63 63 61 6b 66 20 28 20   ;..: keccakf ( 
0870: 2d 2d 20 29 0a 20 20 20 20 6b 65 63 63 61 6b 2d  -- ).    keccak-
0880: 72 6f 75 6e 64 73 20 30 20 3f 44 4f 20 20 49 20  rounds 0 ?DO  I 
0890: 6f 6e 65 72 6f 75 6e 64 20 20 4c 4f 4f 50 20 3b  oneround  LOOP ;
08a0: 0a 0a 3a 20 73 74 30 20 28 20 2d 2d 20 29 20 20  ..: st0 ( -- )  
08b0: 73 74 20 6b 6b 65 79 23 20 65 72 61 73 65 20 3b  st kkey# erase ;
08c0: 0a 0a 3a 20 3e 73 70 6f 6e 67 65 20 28 20 61 64  ..: >sponge ( ad
08d0: 64 72 20 75 20 2d 2d 20 29 0a 20 20 20 20 5c 20  dr u -- ).    \ 
08e0: 66 69 6c 6c 20 69 6e 20 73 70 6f 6e 67 65 20 66  fill in sponge f
08f0: 75 6e 63 74 69 6f 6e 0a 20 20 20 20 73 74 20 73  unction.    st s
0900: 77 61 70 20 62 6f 75 6e 64 73 20 44 4f 0a 09 64  wap bounds DO..d
0910: 75 70 20 40 20 49 20 78 6f 72 21 20 20 63 65 6c  up @ I xor!  cel
0920: 6c 2b 0a 20 20 20 20 63 65 6c 6c 20 2b 4c 4f 4f  l+.    cell +LOO
0930: 50 20 20 64 72 6f 70 20 3b 0a 0a 3a 20 3e 64 75  P  drop ;..: >du
0940: 70 6c 65 78 20 28 20 61 64 64 72 20 75 20 2d 2d  plex ( addr u --
0950: 20 29 0a 20 20 20 20 5c 20 64 75 70 6c 65 78 20   ).    \ duplex 
0960: 69 6e 20 73 70 6f 6e 67 65 20 66 75 6e 63 74 69  in sponge functi
0970: 6f 6e 3a 20 65 6e 63 72 79 70 74 0a 20 20 20 20  on: encrypt.    
0980: 73 74 20 73 77 61 70 20 62 6f 75 6e 64 73 20 44  st swap bounds D
0990: 4f 0a 09 64 75 70 20 40 20 49 20 40 20 78 6f 72  O..dup @ I @ xor
09a0: 20 64 75 70 20 49 20 21 20 6f 76 65 72 20 21 20   dup I ! over ! 
09b0: 20 63 65 6c 6c 2b 0a 20 20 20 20 63 65 6c 6c 20   cell+.    cell 
09c0: 2b 4c 4f 4f 50 20 64 72 6f 70 20 3b 0a 0a 3a 20  +LOOP drop ;..: 
09d0: 64 75 70 6c 65 78 3e 20 28 20 61 64 64 72 20 75  duplex> ( addr u
09e0: 20 2d 2d 20 29 0a 20 20 20 20 5c 20 64 75 70 6c   -- ).    \ dupl
09f0: 65 78 20 6f 75 74 20 73 70 6f 6e 67 65 20 66 75  ex out sponge fu
0a00: 6e 63 74 69 6f 6e 3a 20 64 65 63 72 79 70 74 0a  nction: decrypt.
0a10: 20 20 20 20 73 74 20 73 77 61 70 20 62 6f 75 6e      st swap boun
0a20: 64 73 20 44 4f 0a 09 64 75 70 20 40 20 49 20 40  ds DO..dup @ I @
0a30: 20 78 6f 72 20 6f 76 65 72 20 40 20 49 20 21 20   xor over @ I ! 
0a40: 6f 76 65 72 20 21 20 20 63 65 6c 6c 2b 0a 20 20  over !  cell+.  
0a50: 20 20 63 65 6c 6c 20 2b 4c 4f 4f 50 20 64 72 6f    cell +LOOP dro
0a60: 70 20 3b 0a 0a 5c 20 66 6f 72 20 74 65 73 74 2c  p ;..\ for test,
0a70: 20 77 65 20 70 61 64 20 77 69 74 68 20 4b 65 63   we pad with Kec
0a80: 63 61 6b 27 73 20 70 61 64 64 69 6e 67 20 66 75  cak's padding fu
0a90: 6e 63 74 69 6f 6e 0a 0a 31 34 34 20 62 75 66 66  nction..144 buff
0aa0: 65 72 3a 20 6b 70 61 64 0a 0a 3a 20 70 61 64 64  er: kpad..: padd
0ab0: 65 64 3e 73 70 6f 6e 67 65 20 28 20 61 64 64 72  ed>sponge ( addr
0ac0: 20 75 31 20 75 32 20 2d 2d 20 29 20 20 3e 72 0a   u1 u2 -- )  >r.
0ad0: 20 20 20 20 5c 20 70 61 64 20 6c 61 73 74 20 72      \ pad last r
0ae0: 6f 75 6e 64 0a 20 20 20 20 6b 70 61 64 20 72 40  ound.    kpad r@
0af0: 20 65 72 61 73 65 20 20 74 75 63 6b 20 6b 70 61   erase  tuck kpa
0b00: 64 20 73 77 61 70 20 6d 6f 76 65 0a 20 20 20 20  d swap move.    
0b10: 6b 70 61 64 20 2b 20 31 20 73 77 61 70 20 63 21  kpad + 1 swap c!
0b20: 0a 20 20 20 20 6b 70 61 64 20 72 40 20 2b 20 31  .    kpad r@ + 1
0b30: 2d 20 64 75 70 20 63 40 20 24 38 30 20 6f 72 20  - dup c@ $80 or 
0b40: 73 77 61 70 20 63 21 0a 20 20 20 20 6b 70 61 64  swap c!.    kpad
0b50: 20 72 3e 20 3e 73 70 6f 6e 67 65 20 20 3b 0a 0a   r> >sponge  ;..
0b60: 30 20 5b 49 46 5d 20 20 20 20 2e 22 20 54 65 73  0 [IF]    ." Tes
0b70: 74 20 22 0a 20 20 20 20 5c 20 74 65 73 74 73 20  t ".    \ tests 
0b80: 2d 20 77 65 20 63 68 65 63 6b 20 6f 6e 6c 79 20  - we check only 
0b90: 66 6f 72 20 74 68 65 20 66 69 72 73 74 20 36 34  for the first 64
0ba0: 20 62 69 74 0a 20 20 20 20 5c 20 62 75 74 20 72   bit.    \ but r
0bb0: 65 70 65 61 74 20 6b 65 63 63 61 6b 66 20 34 20  epeat keccakf 4 
0bc0: 74 69 6d 65 73 2e 20 54 68 65 20 69 6e 70 75 74  times. The input
0bd0: 20 70 61 74 74 65 72 6e 20 69 73 0a 20 20 20 20   pattern is.    
0be0: 5c 20 66 72 6f 6d 20 61 6e 20 6f 66 66 69 63 69  \ from an offici
0bf0: 61 6c 20 4b 65 63 63 61 6b 20 74 65 73 74 2c 20  al Keccak test, 
0c00: 74 68 65 20 6f 75 74 70 75 74 20 61 73 20 77 65  the output as we
0c10: 6c 6c 2e 0a 20 20 20 20 73 74 30 20 73 22 20 53  ll..    st0 s" S
0c20: 58 7b 39 22 20 24 38 30 20 70 61 64 64 65 64 3e  X{9" $80 padded>
0c30: 73 70 6f 6e 67 65 20 30 20 73 74 20 34 20 2b 20  sponge 0 st 4 + 
0c40: 63 21 0a 20 20 20 20 6b 65 63 63 61 6b 66 20 73  c!.    keccakf s
0c50: 74 20 40 20 24 34 36 36 36 32 34 42 38 30 33 42  t @ $466624B803B
0c60: 46 30 37 32 46 20 3d 0a 20 20 20 20 6b 65 63 63  F072F =.    kecc
0c70: 61 6b 66 20 73 74 20 40 20 24 39 39 33 33 34 30  akf st @ $993340
0c80: 44 37 46 39 31 35 33 46 30 32 20 3d 20 61 6e 64  D7F9153F02 = and
0c90: 0a 20 20 20 20 6b 65 63 63 61 6b 66 20 73 74 20  .    keccakf st 
0ca0: 40 20 24 36 45 41 41 41 45 33 36 42 45 38 45 33  @ $6EAAAE36BE8E3
0cb0: 36 44 33 20 3d 20 61 6e 64 0a 20 20 20 20 6b 65  6D3 = and.    ke
0cc0: 63 63 61 6b 66 20 73 74 20 40 20 24 31 42 34 41  ccakf st @ $1B4A
0cd0: 45 43 30 38 44 41 36 41 38 42 41 36 20 3d 20 61  EC08DA6A8BA6 = a
0ce0: 6e 64 0a 20 20 20 20 5b 49 46 5d 20 2e 22 20 73  nd.    [IF] ." s
0cf0: 75 63 63 65 65 64 65 64 22 20 5b 45 4c 53 45 5d  ucceeded" [ELSE]
0d00: 20 2e 22 20 66 61 69 6c 65 64 22 20 5b 54 48 45   ." failed" [THE
0d10: 4e 5d 20 63 72 0a 5b 54 48 45 4e 5d              N] cr.[THEN]