На данный момент, я иду туда и обратно между осуществлением в OCaml и изменения соответствующего (частично) спецификации в Coq. Моя надежда состоит в том, чтобы выпустить первую версию кода OCaml в середине апреля. Я ожидаю, чтобы начать с тестовым прогоном или два в этой точке. Надеюсь, в мае сеть будет запущена. Код Кока (который может выступать в качестве формальной спецификации части) будет надеяться, будет выпущен примерно в то же самое время. Если есть достаточный интерес, я мог бы произвести еще один документ в формате PDF, чтобы попытаться объяснить вещи после этого.


Начальное распределение монеты - особенно та, которая включает в себя доказательство правильности пакета - это всегда сложно. Очевидно, я очень заинтересован в успехе проекта, но у меня нет никакого интереса заниматься в предпродажные или делать Crowdfunding. Побочное нить Peter R представил то, что, мне кажется, очень хорошим решением проблемы. Аргументы, приведенные там, в пользу использования блока цепи Bitcoin убедили меня.

Конечно, я мог бы изменить распределение, но я хотел бы распределение, чтобы быть простым и понятным. Если бы я, чтобы начать делать изменения, то всегда будет подозрение, что изменения в мою пользу. Я контрастируют с моллюсками. (Во-первых, чтобы быть положительным, кажется, мидии удалось построить сообщество, основанное на их интересной стратегии распределения. Это показывает распределение, основанное на другом блоке цепи может быть успешным способом начать монету.) Распределение, используемый моллюсками может легко манипулируют просто кто-то (с заранее знанием) раскалывает их биткоен на множество адресов. (Я не обвиняю их в том, что сам ни у меня есть доказательства этого.) Используя принцип Питера (монета пропорционального распределения) делает этот вид манипуляции невозможно. Кроме того, я удостоверился, чтобы объявить блок заранее. Я не думаю, что Моллюски сделали это. Кстати, я подозреваю, Satoshi и обмены получили высокий процент моллюсков в любом случае, так как они используют много адресов.

Это простейшие просто оставить распределение, как это изначально. Я не особенно хочу обменов, федеральные агентства и хакер иметь большую часть распределения. Тем не менее, перераспределяя заранее может иметь непредсказуемые и противоречивые побочные эффекты.

После запуска сети, я ожидаю, что будет много рыночного перераспределения. Peter R нить также обсуждает это:


План состоит в том, что люди будут иметь возможность "Запрос" их первоначальное распределение, просто подписывая сообщение с использованием Bitcoin клиента. (Они не должны разделять их секретный ключ с третьей стороной или внешней программы, чтобы сделать это.) Это позволит людям, которые не заинтересованы в Qeditas, чтобы продать их (Qeditas) fraenks кому-то для Bitcoin (или altcoin или некоторые Фиат валюта). Они никогда не должны даже загрузить Qeditas соответствующее программное обеспечение, чтобы сделать это. Это еще одно отличия от моллюсков. Моллюски не включают в себя независимый способ заявить начальное распределение. Кажется, что следствием этого является то, что сеть Моллюски в настоящее время доминируют третьей стороне (Just Dice), что делает его очень легким для людей, чтобы заявить о своих устриц.

Те, кто заинтересован в Qeditas в начале должны быть в состоянии купить эти претензии по очень дешевой цене:


Поскольку я заинтересован в успехе Qeditas, я был бы готов купить 10000 (Qeditas) fraenks 1 Bitcoin при запуске сети. Я полагаю, разработчик вынужден купить свою собственную монету немного странно, но это тоже часть того, почему мне нравится эта идея. Я надеюсь, что это проясняет разумным людям, что это проект, который я делаю, потому что я верю в это.