steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sodium: add random data generation functions

factor-shell
Alexander Iljin 2017-03-01 21:29:32 +03:00 committed by John Benediktsson
parent d31d42e8c5
commit d2d7a7b5f7
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
extra/sodium/ffi/ffi.factor
View File

@ -13,3 +13,9 @@ IN: sodium.ffi
LIBRARY: sodium LIBRARY: sodium
FUNCTION: int sodium_init ( ) FUNCTION: int sodium_init ( )
! randombytes_H
FUNCTION: void randombytes_buf ( void* buf, size_t size )
FUNCTION: uint32_t randombytes_random ( )
FUNCTION: uint32_t randombytes_uniform ( uint32_t upper_bound )
FUNCTION: void randombytes_stir ( )

5
extra/sodium/sodium.factor
View File

@ -1,6 +1,6 @@
! Copyright (C) 2017 Alexander Ilin. ! Copyright (C) 2017 Alexander Ilin.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: init kernel math sodium.ffi ; USING: init kernel math sequences sodium.ffi ;
IN: sodium IN: sodium
ERROR: sodium-init-fail ; ERROR: sodium-init-fail ;
@ -8,4 +8,7 @@ ERROR: sodium-init-fail ;
! Call this before any other function, may be called multiple times. ! Call this before any other function, may be called multiple times.
: sodium-init ( -- ) sodium_init 0 < [ sodium-init-fail ] when ; : sodium-init ( -- ) sodium_init 0 < [ sodium-init-fail ] when ;
: random-bytes ( byte-array -- byte-array' )
dup dup length randombytes_buf ;
[ sodium-init ] "sodium" add-startup-hook [ sodium-init ] "sodium" add-startup-hook