~/bend-docscommunity

proofs/crypto/secp256k1/proof_sign.bend timeout

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

6 imports
import Base
import ../../../src/crypto/secp256k1.bend as K
import ../../../src/crypto/secp256k1/ecdsa.bend as E
import ../../../spec/crypto/secp256k1/ecdsa.bend as ES
import ./laws_sign.bend as Laws
import ./psign.bend as PS

Definitions

def compact_v source · line 11 · raw

@m:Maybe<&2, 0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1/ecdsa.Signature> -> {0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1.compact(m) == 0xa7e654f9780078ca65bf9e187da99d3e/proofs/crypto/secp256k1/psign.msig(m) : Maybe<&2, List<&2, U32>>}

def sign_c source · line 20 · raw

@+one:Nat -> @+h1:{one == 1n : Nat} -> @+sk:List<&2, U32> -> @+h:List<&2, U32> -> {0xa7e654f9780078ca65bf9e187da99d3e/src/crypto/secp256k1.sign_compact(sk, h) == 0xa7e654f9780078ca65bf9e187da99d3e/spec/crypto/secp256k1/ecdsa.sign(one, sk, h) : Maybe<&2, List<&2, U32>>}