bp-core 0.12.0

Bitcoin protocol core library (BP Core Lib)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93

{-
  Id: stl:nvSE47Z1-CpbRP8D-m2tdzo3-zmE6UE9-kU~HJm~-0pTqlGo#lagoon-concept-trade
  Name: BPCore
  Version: 0.1.0
  Description: Bitcoin client-side-validation library
  Author: Dr Maxim Orlovsky <orlovsky@lnp-bp.org>
  Copyright (C) 2023-2024 LNP/BP Standards Association. All rights reserved.
  License: Apache-2.0
-}

@context
typelib BPCore

import Bitcoin#extend-crimson-cable
  use Vout#brush-gloria-heroic
  use ScriptBytes#equator-cockpit-gong
  use TapNodeHash#paprika-amanda-hunter
  use LeafScript#bison-doctor-oscar
  use Txid#shallow-light-reverse
  use InternalPk#habitat-paprika-oliver
  use LeafVer#benefit-carbon-africa
  use Outpoint#logo-alamo-madam
  use XOnlyPk#clever-swim-carpet

import Std#delete-roman-hair
  use U5#orbit-graph-sonic

import CommitVerify#biology-news-adam
  use Method#subject-justin-cowboy
  use ProtocolId#shadow-eclipse-program
  use Message#druid-blitz-rover
  use MerkleHash#horse-popcorn-bundle
  use MerkleProof#austria-jaguar-donald
  use ReservedBytes1#origin-roger-relax


@mnemonic(choice-chemist-brigade)
data Anchor            : mmbProof BundleProof
                       , mpcProtocol CommitVerify.ProtocolId
                       , mpcProof CommitVerify.MerkleProof
                       , dbcProof TapretProof?
                       , fallbackProof CommitVerify.ReservedBytes1

@mnemonic(beast-normal-road)
data BundleProof       : map {U32 -> Message}

@mnemonic(druid-blitz-rover)
data Message           : [Byte ^ 32]

@mnemonic(detect-status-goblin)
data MessageMap        : {CommitVerify.ProtocolId -> ^ ..0xffffff MessageSource}

@mnemonic(clone-beach-america)
data MessageSource     : single#1 CommitVerify.Message
                       | mmb BundleProof

@mnemonic(bruce-gravity-titanic)
data Noise             : [Byte ^ 40]

@mnemonic(polygon-nixon-guitar)
data Source            : minDepth Std.U5
                       , entropy U64
                       , messages MessageMap

@mnemonic(cabinet-agent-stella)
data TapretNodePartner : leftNode Bitcoin.TapNodeHash
                       | rightLeaf Bitcoin.LeafScript
                       | rightBranch TapretRightBranch

@mnemonic(cotton-ventura-clean)
data TapretPathProof   : partnerNode TapretNodePartner?, nonce U8

@mnemonic(eternal-druid-round)
data TapretProof       : pathProof TapretPathProof, internalPk Bitcoin.InternalPk

@mnemonic(miracle-patriot-touch)
data TapretRightBranch : leftNodeHash Bitcoin.TapNodeHash, rightNodeHash Bitcoin.TapNodeHash

@mnemonic(email-mercy-shock)
data TxoSeal           : primary Bitcoin.Outpoint, secondary TxoSealExt

@mnemonic(stamp-morning-tulip)
data TxoSealExt        : noise Noise
                       | fallback Bitcoin.Outpoint

@mnemonic(clock-absorb-side)
data WOutpoint         : wout Bitcoin.Vout
                       | extern Bitcoin.Outpoint

@mnemonic(rapid-arsenal-shirt)
data WTxoSeal          : primary WOutpoint, secondary TxoSealExt