-
Notifications
You must be signed in to change notification settings - Fork 2
/
references.bib
202 lines (179 loc) · 7.09 KB
/
references.bib
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
@misc{small_step_semantics,
label = {FM-TR-2018-01},
author = {{TBCO Formal Methods Team}},
title = {{Small Step Semantics for Bcc, TBCO Technical Report FM-TR-2018-01}},
year = {2018},
url = {https://github.com/The-Blockchain-Company/bcc-chain/blob/master/specs/semantics/latex/small-step-semantics.tex},
}
@misc{delegation_design,
label = {SL-D1},
author = {{TBCO Formal Methods Team}},
title = {{Design Specification for Delegation and Incentives in Bcc, TBCO Deliverable SL-D1}},
year = {2018},
url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/docs/delegation_design_spec},
}
@misc{cole_ledger_spec,
label = {BL-D1},
author = {{TBCO Formal Methods Team}},
title = {{Cole Ledger Specification, TBCO Deliverable BL-D1}},
year = {2019},
url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/docs/},
}
@misc{cole_chain_spec,
label = {BC-D1},
author = {{TBCO Formal Methods Team}},
title = {{Cole Blockchain Specification, TBCO Deliverable BC-D1}},
year = {2019},
url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/docs/},
}
@article{chimeric,
author = {Joachim Zahnentferner},
title = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
journal = {Cryptology ePrint Archive, Report 2018/262},
year = {2018},
url = {https://eprint.iacr.org/2018/262},
}
@article{utxo_scripts,
author = {Joachim Zahnentferner},
title = {An Abstract Model of UTxO-based Cryptocurrencies with Scripts},
journal = {Cryptology ePrint Archive, Report 2018/469},
year = {2018},
url = {https://eprint.iacr.org/2018/469},
}
@article{multi_currency,
author = {Joachim Zahnentferner},
title = {Multi-Currency Ledgers},
journal = {??},
year = {2018},
}
@article{sophie_consensus,
label = {SC-DX},
author = {{TBCO Formal Methods Team}},
title = {{?? - Sophie Consensus, TBCO Deliverable SC-DX}},
year = {TODO},
}
@misc{sophie_spec,
label = {SL-D5},
author = {{TBCO Formal Methods Team}},
title = {{A Formal Specification of the Bcc Ledger, TBCO Deliverable SL-D5}},
year = {2019},
url = {https://github.com/The-Blockchain-Company/bcc-ledger-specs/tree/master/sophie/chain-and-ledger/formal-spec/ledger-spec.tex}
}
@misc{sophie_multisig,
label = {SL-D3},
author = {{TBCO Formal Methods Team}},
title = {{A Formal Specification of a Multi-Signature Scheme using Scripts, TBCO Deliverable SL-D3}},
year = {2019},
}
@misc{shardagnostic,
label = {Shardagnostic-Protocol},
author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
title = {Shardagnostic: A Provably Secure Proof-of-Stake Blockchain Protocol},
howpublished = {Cryptology ePrint Archive, Report 2016/889},
year = {2016},
note = {\url{http://eprint.iacr.org/2016/889}},
}
@inproceedings{chakravarty2020extended,
title={The extended UTXO model},
author={Chakravarty, Manuel MT and Chapman, James and MacKenzie, Kenneth and Melkonian, Orestis and Jones, Michael Peyton and Wadler, Philip},
booktitle={International Conference on Financial Cryptography and Data Security},
pages={525--539},
year={2020},
organization={Springer},
url={https://tbco.io/en/research/library/papers/the-extended-utxo-model/}
}
@conference{shardagnostic_classic,
author = {Aggelos Kiayias and Alexander Russell and Bernardo David and Roman Oliynykov},
title = {Shardagnostic: A Provably Secure Proof-of-Stake Blockchain Protocol},
booktitle = {Advances in Cryptology -- CRYPTO 2017},
series = {Security and Cryptology},
volume = {10401},
year = {2017},
publisher = {Springer International Publishing},
url = {https://eprint.iacr.org/2016/889},
doi = {10.1007/978-3-319-63688-7},
}
@article{shardagnostic_optimum,
title={Shardagnostic Optimum: An adaptively-secure, semi-synchronous proof-of-stake protocol},
author={Bernardo Machado David and Peter Gazi and Aggelos Kiayias and Alexander Russell},
journal={IACR Cryptology ePrint Archive},
year={2017},
volume={2017},
pages={573}
}
@article{utxo_accounting,
author = {Joachim Zahnentferner},
title = {Chimeric Ledgers: Translating and Unifying UTXO-based and Account-based Cryptocurrencies},
journal = {Cryptology ePrint Archive, Report 2018/262},
year = {2018},
url = {https://eprint.iacr.org/2018/262},
}
@misc{bip32,
author = {Pieter Wuille},
title = {Hierarchical Deterministic Wallets},
year = {2012},
month = {February},
url = {https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki},
note = {BIP-32},
}
@misc{bip45,
author = {Manuel Araoz and Ryan X. Charles and Matias Alejo Garcia},
title = {Structure for Deterministic P2SH Multisignature Wallets},
year = {2014},
month = {April},
url = {https://github.com/bitcoin/bips/blob/master/bip-0045.mediawiki},
note = {BIP-45},
}
@misc{bkks2018,
Author = {Lars Bruenjes and Aggelos Kiayias and Elias Koutsoupias and Aikaterini-Panagiota Stouka},
Date-Added = {2018-08-05 08:14:11 +0000},
Date-Modified = {2018-08-07 09:48:36 +0000},
Howpublished = {Computer Science and Game Theory (cs.GT) arXiv:1807.11218},
Title = {Reward Sharing Schemes for Stake Pools},
Year = {2018}}
@misc{cryptoeprint:2001:034,
author = {Tal Malkin and Daniele Micciancio and Sara Miner},
title = {Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures},
howpublished = {Cryptology ePrint Archive, Report 2001/034},
year = {2001},
note = {\url{https://eprint.iacr.org/2001/034}},
}
@article{DBLP:journals/jar/AkbarpourP10,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
title = {MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions},
journal = {J. Autom. Reasoning},
volume = {44},
number = {3},
pages = {175--205},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9149-2},
doi = {10.1007/s10817-009-9149-2},
timestamp = {Wed, 14 Nov 2018 10:38:36 +0100},
biburl = {https://dblp.org/rec/bib/journals/jar/AkbarpourP10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Escardo96,
author = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {{PCF} Extended with Real Numbers},
journal = {Theor. Comput. Sci.},
volume = {162},
number = {1},
pages = {79--115},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00250-2},
doi = {10.1016/0304-3975(95)00250-2},
timestamp = {Sun, 28 May 2017 13:20:09 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcs/Escardo96},
}
@misc{multi-sig-scripts,
author = {Jared Corduan and Matthias G\"{u}demann},
title = {A Formal Specification of a Multi-Signature Scheme using Scripts},
year = {2019}
}
@misc{stake-pool-ranking,
author = {Alexander Byaly and Jared Corduan},
title = {Stake Pool Ranking in Bcc},
year = {2020},
url = {https://hydra.tbco.io/job/Bcc/bcc-ledger-specs/specs.pool-ranking/latest/download-by-type/doc-pdf/pool-ranking},
}