This method of distribution is really interesting, piggybacking Bitcoin's wide distribution.
Will read the whitepaper and offer more comments when I've finished it.
Topic: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off - page 9. (Read 15002 times)
Qeditas is a project to apply block chain technology to support the construction of a library of formalized mathematics. It is intended to be a realization (or possibly revival) of the QED project, as described in the QED Manifesto.
More information can be found at the website: https://iohk.io/projects/qeditas/. The white paper giving a high level description of Qeditas is here: http://qeditas.org/docs/qeditas.pdf
The short version: Bitcoin is for money; Ethereum is for computation; Qeditas is for deduction.
Comments are welcome. I'm assuming this project will be more of academic interest than monetary, but everyone is free to take part for their own reasons.
IOHK is leading the Qeditas project. If you are interested in collaborating, please contact them.
Git Repos
The code for Qeditas is on github: https://github.com/input-output-hk/qeditas
Technical documentation is of the code is available here:
http://qeditas.org/docs/QeditasTechDoc.pdf
Consensus Mechanism
The plan is for Qeditas to be a combination of proof of stake and proof of storage. Some more information is in the white paper. The proof of stake component is
Spin-Off and Snapshot
Qeditas will be a Bitcoin Spin-Off in the sense of Peter R's thread:
https://bitcointalksearch.org/topic/spin-offs-bootstrap-an-altcoin-with-a-btc-blockchain-based-initial-distribution-563972
The current plan is to take a snapshot of the Bitcoin block chain up to (not iincluding) the block at height 350,000. At this point 2/3 of the Bitcoin distribution will be complete. This block should be published on (approximately) March 31, 2015. If you have bitcoins under your (sole) control, then you will have a corresponding initial distribution in Qeditas. Your part of the initial distribution will be easiest to claim if it is in an ordinary pay-to-public-key-hash (p2pkh) address. I will include pay-to-script-hash (p2sh) addresses as well, but the claim process will be more involved and in a small number of cases p2sh claims may fail if they make use of uncommon parts of the script language.
The primary reason for this pre-announcement is to give everyone a chance to ensure their bitcoins are under their control (not on exchanges) and (preferably) in a p2pkh address. If your bitcoins are not under your control as of block 350,000, then the corresponding Qeditas units will also not be under your control.
Update: The 350,000th block has been mined. The snapshot is available here:
https://mega.nz/#!IkBUzT5A!P4Ea4zLiJtnzFTHyqxyiNFZ00_N3E45Ra6LmFoVqCao
More information can be found at the website: https://iohk.io/projects/qeditas/. The white paper giving a high level description of Qeditas is here: http://qeditas.org/docs/qeditas.pdf
The short version: Bitcoin is for money; Ethereum is for computation; Qeditas is for deduction.
Comments are welcome. I'm assuming this project will be more of academic interest than monetary, but everyone is free to take part for their own reasons.
IOHK is leading the Qeditas project. If you are interested in collaborating, please contact them.
Git Repos
The code for Qeditas is on github: https://github.com/input-output-hk/qeditas
Technical documentation is of the code is available here:
http://qeditas.org/docs/QeditasTechDoc.pdf
Consensus Mechanism
The plan is for Qeditas to be a combination of proof of stake and proof of storage. Some more information is in the white paper. The proof of stake component is
Spin-Off and Snapshot
Qeditas will be a Bitcoin Spin-Off in the sense of Peter R's thread:
https://bitcointalksearch.org/topic/spin-offs-bootstrap-an-altcoin-with-a-btc-blockchain-based-initial-distribution-563972
The current plan is to take a snapshot of the Bitcoin block chain up to (not iincluding) the block at height 350,000. At this point 2/3 of the Bitcoin distribution will be complete. This block should be published on (approximately) March 31, 2015. If you have bitcoins under your (sole) control, then you will have a corresponding initial distribution in Qeditas. Your part of the initial distribution will be easiest to claim if it is in an ordinary pay-to-public-key-hash (p2pkh) address. I will include pay-to-script-hash (p2sh) addresses as well, but the claim process will be more involved and in a small number of cases p2sh claims may fail if they make use of uncommon parts of the script language.
The primary reason for this pre-announcement is to give everyone a chance to ensure their bitcoins are under their control (not on exchanges) and (preferably) in a p2pkh address. If your bitcoins are not under your control as of block 350,000, then the corresponding Qeditas units will also not be under your control.
Update: The 350,000th block has been mined. The snapshot is available here:
https://mega.nz/#!IkBUzT5A!P4Ea4zLiJtnzFTHyqxyiNFZ00_N3E45Ra6LmFoVqCao
Jump to: