~/bend-docscommunity

proofs/crypto/secp256k1/proof.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/proof.bend as Proof

6 imports
import Base
import ../../../src/crypto/secp256k1.bend as K
import ../../../spec/crypto/secp256k1/ecdsa.bend as ES
import ./laws.bend as Laws
import ./ppub.bend as PP
import ./peth.bend as PE

Definitions

def gk source · line 17 · raw

@+one:Nat -> @+h1:{one == 1n : Nat} -> @+seed:List<&2, U32> -> {0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1.generate_keypair(seed) == 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1.keypair_of(seed, 0xa7e654f9780078ca65bf9e187da99d3e/spec/crypto/secp256k1/ecdsa.public_key(one, seed, True{})) : Maybe<&2, 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1.Keypair>}