118 Commits

Author SHA1 Message Date
Nadav Kohen
b16070cf6f Tuesday August 3 2021 Meeting (#172)
* Added August 2021 meeting doc

* Added meeting notes
2021-08-13 08:33:29 -06:00
Nadav Kohen
0977340cae Tuesday July 6 2021 Meeting (#169)
* Added july 6 meeting doc

* Added Ivan to sync list

* Added longer-term meeting items

* Added a few topics

* Added meeting notes
2021-07-27 18:04:48 -06:00
Thibaut Le Guilly
740045234f Clarify translate fields usage of hyperbola serialization (#166) 2021-05-20 15:51:30 +09:00
Nadav Kohen
b0839bf569 Updated the v0 milestone (#165) 2021-05-07 15:43:33 -05:00
Nadav Kohen
e5cf1bf41c Hyperbola (1/x) shaped payout curve support (#144)
* Added 1/x shaped payout curve support

* Reworked payout curve document for general function pieces

* Responded to review
2021-05-07 15:34:46 -05:00
Nadav Kohen
15e5552178 Multi-Oracle Support (#128)
* Initial outline for multi-oracle doc

* Finished specifying the small CET cases

* Finished specifying the 2-of-2 with differences case

* Finished analysis of n-of-n with bounded differences algos

* Added table of contents

* Wrote introduction

* Completed introductory sections and design section for numeric outcome with differences

* Finished non-diagram initial TODOs

* Added comment about client-side nature of proposal

* Added rationale to table of contents

* Responded to some review

* Renamed everything with the word CET in it to be more descriptive including algorithm variable names

* Added diagram illustrating minSupport and maxError usage

* Added some initial diagrams

* some clean-up

* Added (end - maxError, start + maxError) rationale

* Added white-background versions of pngs
2021-05-07 15:29:59 -05:00
Antoine Riard
afada7dce2 Add Oracle validation (#120)
Closes #97
2021-05-07 15:29:04 -05:00
Lloyd Fournier
fcc9619f35 Introduce first version of ECDSA adaptor signature spec (#114)
* First version of ECDSA adaptor signature spec

* Fix typos in ecdsa_adaptor.md

* Fix more typos is ecdsa adaptor

* Rename ecdsa_adaptor.md => ECDSA-adaptor.md

* Add ECDSA adaptor spec tests

* s/verification_key/public_signing_key/

* Apply suggestions from @jesseposner

Co-authored-by: Jesse Posner <jesse.posner@gmail.com>

* Update spec to use "DLEQ" tag

- Modify and add new test vectors
- Change text a bit

* Fix typo ECDSA-adaptor.md

Co-authored-by: Jesse Posner <jesse.posner@gmail.com>

* Add serialization test vectors

* Add warning about leaking DH key

* Add references section

* Fix references

* Make DLEQ proof section less wordy

* [ecdsa-adaptor] Make key ordering consistent in test vectors

Co-authored-by: Jesse Posner <jesse.posner@gmail.com>
2021-05-07 15:28:45 -05:00
Nadav Kohen
ec4b732365 Wednesday May 5 2021 Meeting (#164)
* Added May meeting doc

* Updated with notes from meeting
2021-05-07 15:27:00 -05:00
Nadav Kohen
2eec087396 Tuesday April 6 2021 Meeting (#160)
* Added meeting doc for April 2021

* notes from meeting
2021-04-30 00:14:30 -05:00
Thibaut Le Guilly
08c781021b Move oracle related TLV info to Messaging.md (#162) 2021-04-20 15:52:54 +09:00
Nadav Kohen
e5aa4c0fc2 Numeric Outcome DLC refactor (#157)
* Re-worked CET language in numeric outcome specifications and added a diagram

* Responded to review

* Added white background version of diagram
2021-03-30 15:10:01 -05:00
Matthew Black
555f87a9d2 Add diagrams for DLC overview, rbf, and participant / outsider view (#151) 2021-03-30 15:09:16 -05:00
Nadav Kohen
1bfbf651d2 Tuesday March 2 2021 Meeting (#148)
* Made initial March meeting agenda, subject to change throughout this week

* Adding things people wanted to discuss

* Added notes from meeting
2021-03-03 01:05:19 -06:00
Nadav Kohen
ae9a4ab0f0 updated DLC part 2 to the adaptor version of the blog post 2021-02-26 00:57:49 -06:00
benthecarman
ccb63649ca Update v0 Milestone with completed items (#149) 2021-02-25 16:41:31 -06:00
Nadav Kohen
898e81a23c Rewording and Renaming clean-up (#142)
Responded to review

Cleaned up a couple sentences
2021-02-24 00:51:44 -06:00
benthecarman
48ea01bc5e Restrictions on Script Public Keys with standardness rules (#137) 2021-02-24 00:46:30 -06:00
benthecarman
c8e8071561 Define input & output ordering (#136) 2021-02-24 00:36:29 -06:00
Thibaut Le Guilly
2b5cddb224 Update introduction to adaptor signature (#146) 2021-02-22 23:21:17 -06:00
Nadav Kohen
5cb7451c66 Added DONE and IN PROGRESS tags to v0 milestone (#145) 2021-02-19 02:57:44 -06:00
Nadav Kohen
c52b2f54cf Added contract_info_v1 for Disjoint Union DLCs (#143)
* Added contract_info_v1 for Disjoint Union DLCs

* Added new negotiation fields for disjoint union DLCs
2021-02-19 00:03:32 -06:00
Nadav Kohen
10891f6fe1 Generalized contract_info TLV (#130)
* Updated TLVs to allow support for numeric outcome and multiple oracle DLCs

* Added threshold field to multi-oracle oracle_infos

* Responded to review

* Some more review
2021-02-16 01:41:02 -06:00
Nadav Kohen
0481ff52b0 Removed ranged event descriptors (#139)
* Removed ranged event descriptors

* Fixed things Tibo caught
2021-02-16 01:19:34 -06:00
Nadav Kohen
720973e58a Added links to the dlc-dev mailing list (#140) 2021-02-16 01:16:00 -06:00
ph0cion
240883aff4 fix bitcoin-s github link (#138) 2021-02-12 14:16:01 -06:00
Nadav Kohen
1f5d2fc9fc Tuesday Feb 2 2021 Meeting (#131)
* Added Febuary 2nd 2021 meeting doc

* A few minor additions to the agenda

* Added ecdsa adaptor sig PR

* Updated v0 milestone outline

* added link to v0 milestone document

* Added notes from meeting
2021-02-11 14:16:27 -06:00
benthecarman
de693a826a Create oracle_attestation TLV (#126) 2021-02-05 02:16:04 -06:00
Nadav Kohen
0b0805be5e V0 Milestone (#133)
* Created v0 Milestone document with outline and table of contents

* Wrote phase 1 and began work on 2

* Finished all non-introductory sections

* Wrote intros

* Whoops, missed phase 2 intro

* Updated README
2021-02-05 02:15:40 -06:00
Nadav Kohen
b9ac02c5aa Numeric Outcome DLCs (#110)
* Began work on Numeric Multi-Nonce Outcome spec, wrote compression algorithm

* More progress, specifically on curve serialization and polynomial interpolation

* Separated precision from function points and added note about polynomial evaluation optimizations when precision is not 1

* Wrote section for putting everything together into a CET set computation

* Wrote CET signature validation section

* Filled in all remaining holes!

* Added table of contents

* Added clarification about why base 2 is best, removed some first person

* Added concrete example

* Added subsections to general example

* Added note on non-generality of concrete example

* Clarified optimizations

* Fixed optimizations

* Fixed algorithm typos

* Responded to review, renamed precision_range -> rounding_interval

* Replaced paragraph about accepter's payout_function with new recommendation

* Split NumericOutcome.md into three files and added some design discussion/intentions

* Added extra precision to interpolation points in general payout functions

* Responded to Ben's review
2021-02-05 02:13:59 -06:00
Nadav Kohen
a7009ec5d6 Tuesday Jan 5 2021 Meeting (#129)
* Added meeting doc for Jan 5 2021

* Added notes from meeting
2021-01-12 15:36:28 -06:00
benthecarman
de9939740d Specify signing algo for Oracle (#113) 2021-01-07 01:07:30 -06:00
Nadav Kohen
81b09e9fd1 Tuesday December 8 2020 Meeting (#119)
* Added meeting doc for December 8

* Added some oracle changes

* Updated meeting doc with notes from within the meeting
2020-12-28 15:13:22 -06:00
Ben Carman
5f8decf05b Fix uint16 -> u16 in Digit Decomp Descriptor (#127) 2020-12-23 03:08:09 -06:00
Thibaut Le Guilly
743725390e Enforce size prefixes for enumeration messages (#123) 2020-12-22 00:44:02 -06:00
Thibaut Le Guilly
45abe0c50d Fix contract id computation (#124) 2020-12-17 01:37:14 -06:00
Gleb Naumenko
2a732d319d Fix typos (#118) 2020-12-04 13:38:24 -06:00
Nadav Kohen
459478c5bd Tuesday November 10 2020 Meeting (#112)
* November Meeting Doc

* Fixed bip typo

* Updated meeting doc before meeting

* last-minute updates

* Separated out the meeting legend into readme
2020-11-19 13:03:50 -06:00
Thibaut Le Guilly
c56b679bdf Add rational fo overflow (#115)
* Add rational fo overflow

* Change base 10 to base for precision
2020-11-17 08:24:05 +09:00
Antoine Riard
fcb7762418 Add Non-Interactive Protocol (#87) 2020-11-09 13:33:53 -06:00
Thibaut Le Guilly
3df71667e9 oracle proposal (#55) 2020-11-04 11:40:27 +09:00
Nadav Kohen
0b69c3ed78 Introduces happy-path static test vectors (#100)
* Added test vectors deleted from #81

* Fixed dlc_test redeemscript and added new dlc message parsing tests

* Fixed chain_hash endianness

* Added Schnorr signature point computation test vectors

* Restructured contract info json

* Restructured signature TLVs dlc_message_test.json

* UInt16 prefixed scripts and added hash pre-images to test vectors

* Added Nicolas' tests for NFC normalization and hashing

* Added dlc fee computation tests

* Added clarification to redeemscript in funding_input_v0 wrt fee computation

* Added basic tx building tests

* Updated test vectors to use 107 witness bytes for P2WPKH

* Updated test vectors to include non-p2wpkh inputs as well as dummy scripts to be used in fee tests for less modular APIs

* Added maxWitnessLen to inputs explicitly

* Fixed order and serialization of signatures

* Fixed backward stack funding signatures
2020-10-29 03:17:50 -05:00
Thibaut Le Guilly
bcedd61e2c define sum function (#107) 2020-10-09 11:36:24 -05:00
Ben Carman
e393127632 Fix link to funding_input_v0 (#106) 2020-10-09 11:34:50 -05:00
Ben Carman
44837f9472 Oracle Announcement TLVs (#105)
* Oracle Announcement TLVs

* Nadav's review

* Respond to more review

* Range Event Descriptor

* Add num outcomes to enum descriptor
2020-10-08 15:00:37 -05:00
Nadav Kohen
90b9cb7463 Tuesday October 6 2020 Meeting (#101)
* October meeting doc

* Made sighash comment less percise and hence less wrong

* Some updates

* Post meeting updates
2020-10-07 10:09:04 -05:00
Thibaut Le Guilly
b8a009de69 Specify u16 as script prefix (#103) 2020-10-01 10:07:08 -05:00
Nadav Kohen
22b23ebe39 Proposed v0 DLC TLV messages and Deterministic Fee Computation (#81)
* Specified DLC TLV messages and added happy-path test vectors

* Responded to Ben's review

* Updated test vectors to use correct Multisignature ordering and up-to-date BIP 340

* Responded to Tibo's review

* Attempted to specify funding inputs and funding signatures in a general way

* Regenerated test vectors as per the updated funding input and funding signature specification

* Specified generalized fee computation and fixed test vectors

* Added oracle signature and signed transactions to test vectors

* Responded to review from Tibo

* Fixed table of contents

* Clarified TLV vs. LN Message format, fixed off-by-one fee computation, updated test vectors for fees, have not yet updated test vectors for LN Message format

* Made offer, accept and sign conform with Lightning Message format

* Added a clarification

* Made contract_info a proper object

* Fixed test vector contract id hashes

* Made redeem script use compact size uint and removed test vectors from this PR
2020-09-29 10:33:18 -05:00
Thibaut Le Guilly
dfa2a46153 Fix broken links in Messaging.md (#92) 2020-09-17 17:28:08 +09:00
Thibaut Le Guilly
6d443fc8fd Add cfd and p2pd references (#80) 2020-09-09 06:48:57 -05:00