* 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
* 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>
* 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
* 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
* 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
* 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
* 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
* 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