//
//------------------ DOK FILE --------------------------------------------------
+Header	core.crypto.ed25519
=pkg	core.crypto.ed25519
=title	core.crypto.ed25519
=short	
=desc
Documentation in progress...

//
//
//------------------ PROTO ----------------------------------------------------- ed25519Create
+Proto	ed25519Create
=type	fun -> [Str Str]
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	()
=type	[Str Str]
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519FromPublic
+Proto	ed25519FromPublic
=type	fun a1 -> [a2 a1]
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	A
=type	a1
=desc	
//
+arg	result
=type	[a2 a1]
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519FromSecret
+Proto	ed25519FromSecret
=type	fun Str -> [Str Str]
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	A
=type	Str
=desc	
//
+arg	result
=type	[Str Str]
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519KeyIsPrivate
+Proto	ed25519KeyIsPrivate
=type	fun [a1 a2] -> Bool
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	key
=type	[a1 a2]
=desc	
//
+arg	result
=type	Bool
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519Private
+Proto	ed25519Private
=type	fun [a1 a2] -> a1
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	key
=type	[a1 a2]
=desc	
//
+arg	result
=type	a1
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519Public
+Proto	ed25519Public
=type	fun [a1 a2] -> a2
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	key
=type	[a1 a2]
=desc	
//
+arg	result
=type	a2
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519PublicFromSecret
+Proto	ed25519PublicFromSecret
=type	fun Str -> Str
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	A
=type	Str
=desc	
//
+arg	result
=type	Str
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519Sign
+Proto	ed25519Sign
=type	fun [Str a1] Str -> Str
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	public],
=type	[Str a1]
=desc	
//
+arg	msg)
=type	Str
=desc	
//
+arg	result
=type	Str
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519Verify
+Proto	ed25519Verify
=type	fun [a1 Str] Str Str -> Bool
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	public],
=type	[a1 Str]
=desc	
//
+arg	msg,
=type	Str
=desc	
//
+arg	signature)
=type	Str
=desc	
//
+arg	result
=type	Bool
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519phSign
+Proto	ed25519phSign
=type	fun [Str a1] Str Str -> Str
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	public],
=type	[Str a1]
=desc	
//
+arg	msg,
=type	Str
=desc	
//
+arg	context)
=type	Str
=desc	
//
+arg	result
=type	Str
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- ed25519phVerify
+Proto	ed25519phVerify
=type	fun [a1 Str] Str Str Str -> Bool
=mode	function
=pkg	core.crypto.ed25519
=impl	mcy
=link	
=desc	
//
+arg	public],
=type	[a1 Str]
=desc	
//
+arg	msg,
=type	Str
=desc	
//
+arg	context,
=type	Str
=desc	
//
+arg	signature)
=type	Str
=desc	
//
+arg	result
=type	Bool
=desc