AuthEd25519 1.0.7

Ultra-simple high-level library for using Ed25519 to manage accounts. F# Examples:

let _,acc = new_account()
let _,acc2 = new_account()

let verify = mk_verifier

let signed_hello = acc.sign "Hello"
let verified_hello_by_acc = verify [acc.pub] signed_hello
let verified_hello_by_acc2 = verify [acc2.pub] signed_hello
let verified_hello_by_acc_or_acc2 = verify [acc.pub; acc2.pub] signed_hello

printfn "this was signed by 1: %A" verified_hello_by_acc
printfn "it was not signed by 2: %A" verified_hello_by_acc2
printfn "it was signed by either 1 or 2: %A" verified_hello_by_acc_or_acc2

printfn "%A" (acc.pub.string, acc.priv.string)

let accdb =
    sload_account
        "sCCwEDMG7DD+IuFjJPmWjNX9XCbwO3PlssXVHoBS6Ww="
        "G0UtCOMc7pdVlSE8z/8kQwDf0L3ZpgT5ywZqNaBxs1qwILAQMwbsMP4i4WMk+ZaM1f1cJvA7c+WyxdUegFLpbA=="
let verifydb = mk_verifier [spub "sCCwEDMG7DD+IuFjJPmWjNX9XCbwO3PlssXVHoBS6Ww="]

let proof_Mircea_owns_razor_flame = accdb.sign "(Mircea, razor_flame)"

printfn "Proof of ownership that is only valid if database signed it: %A" <| verifydb proof_Mircea_owns_razor_flame