Re: ANN [Крипка] доказуемо надёжные контракты; функциональный язык; на цепочке шифрования
Дата запуска TBC
//
Крипке
N | «Cryp ключ» | \ Крип-KE \
Мы * ввести Крипке, в исследование "жесткое обозначение" в контексте blockchain безопасности (в частности, ковкость).
Описание проблемы:
Смарт-контракты на Эфириуме не могут быть доказанный будет ненадежными. Тьюринг-полнота языка сценариев Эфириума делает это невозможно доказать, что заявление написано в солидности всегда возвращает тот же результат. Неуверенность является постоянный особенность солидности и любой Тьюринг-полный язык.
Мы сравним это с понятием Сола Крипке из "жесткая целеуказатель," введен в Именование и необходимость (1972):
Жесткое обозначение обозначает тот же объект во всех возможных мирах, в которых существует этот объект и никогда не обозначает ничего другого.
Наглядно, для смарт-контрактов, жесткое указание означает, что договор должен интерпретироваться точно так. Таким образом, он полностью избегает ненадежности податливости Bitcoin и неспособности Эфириума для обеспечения детерминированных результатов в контракты, написанных на солидности.
Таким образом, мы определяем следующие особенности Крипке-защищенных blockchains:
Крипке безопасности
Крипка-безопасность означает безопасность в силе определенности результата. Заявление на данном языке является Крипка безопасным, если оно обозначает жестко, то есть, он имеет ровно один смысл для всех возможных миров.
Методика кандидат для достижения Крипке безопасности является формальной верификации (чисто) функционального языка.
Крипке функция
Крипке функция имеет тот же результат во всех возможных мирах, в которых существуют его семантика и не имеет никакого другого результата.
Очевидные кандидаты для реализации Крипки функции являются функциональными языками (Haskell; Scala) с помощью подходящих систем типа.
Крипке-хранилище ключей
Крипке хранилище ключей представляет собой систему Крипке-функций для реализации шифрации объекта хранения ключей на-цепи.
Крипке контракт
Крипка-Контракт использует только Крипку функцию, определяя, таким образом совершенно не-ковкий результат.
Крипке управление
Крипка управление использует только Крипку контракты для определения доказуемо ненадежных результатов социальных решений, как голосование или выделяющего средство.
//
спецификация монета
Параллельное POW реализации / POS
POW алгоритм консенсуса: SHA256
Блок Время: ~ 10 минут
Блок вознаграждения, чтобы уменьшить в обратной пропорции к сложности
POS монета возраст Созревание: 24 часов
Годовая процентная ставка POS: 4%
Premine: 10 млн проведен Фондом ITO продажи
фазы проекта
Фаза 1
Дата запуска: 20 Август 2016
Blockchain создания
Добыча начинается
Средства ICO добывали на генезиса блоке
Временное использование акций PPC клона
Фаза 2
ICO начинается
Продажа 10 миллионов жетонов
Минимальная сумма для перехода к Фазе 3: 2000 BTC
Фаза 3
начинается Крипке безопасного развития
сообщество сотрудничество на широкой основе, с помощью договоров Foundation
Фонд сохранить часть непроданных лексем ICO в фонд развития (выделено по контракту)
Рекомендации
http://langsec.org/
https://en.wikipedia.org/wiki/Formal_methods
http://plato.stanford.edu/entries/rigid-designators/
http://plato.stanford.edu/entries/possible-worlds/
https://en.wikipedia.org/wiki/Chomsky_hierarchy
* В связи с экспериментальным характером этого проекта, и в связи с его потенциалом влияния на наши государственных идентичности и занятости, мы решили остаться анонимным на некоторое время.
Обратите внимание: этот проект строго экспериментальный характер и не является "валюта" или "имущество", Кроме того, проект может потерпеть неудачу, или не достаточной поддержки. Его целью является исключительно исследовать потенциал жесткого назначения для обеспечения смарт-контрактов.
//
Крипке
N | «Cryp ключ» | \ Крип-KE \
Мы * ввести Крипке, в исследование "жесткое обозначение" в контексте blockchain безопасности (в частности, ковкость).
Описание проблемы:
Смарт-контракты на Эфириуме не могут быть доказанный будет ненадежными. Тьюринг-полнота языка сценариев Эфириума делает это невозможно доказать, что заявление написано в солидности всегда возвращает тот же результат. Неуверенность является постоянный особенность солидности и любой Тьюринг-полный язык.
Мы сравним это с понятием Сола Крипке из "жесткая целеуказатель," введен в Именование и необходимость (1972):
Жесткое обозначение обозначает тот же объект во всех возможных мирах, в которых существует этот объект и никогда не обозначает ничего другого.
Наглядно, для смарт-контрактов, жесткое указание означает, что договор должен интерпретироваться точно так. Таким образом, он полностью избегает ненадежности податливости Bitcoin и неспособности Эфириума для обеспечения детерминированных результатов в контракты, написанных на солидности.
Таким образом, мы определяем следующие особенности Крипке-защищенных blockchains:
Крипке безопасности
Крипка-безопасность означает безопасность в силе определенности результата. Заявление на данном языке является Крипка безопасным, если оно обозначает жестко, то есть, он имеет ровно один смысл для всех возможных миров.
Методика кандидат для достижения Крипке безопасности является формальной верификации (чисто) функционального языка.
Крипке функция
Крипке функция имеет тот же результат во всех возможных мирах, в которых существуют его семантика и не имеет никакого другого результата.
Очевидные кандидаты для реализации Крипки функции являются функциональными языками (Haskell; Scala) с помощью подходящих систем типа.
Крипке-хранилище ключей
Крипке хранилище ключей представляет собой систему Крипке-функций для реализации шифрации объекта хранения ключей на-цепи.
Крипке контракт
Крипка-Контракт использует только Крипку функцию, определяя, таким образом совершенно не-ковкий результат.
Крипке управление
Крипка управление использует только Крипку контракты для определения доказуемо ненадежных результатов социальных решений, как голосование или выделяющего средство.
//
спецификация монета
Параллельное POW реализации / POS
POW алгоритм консенсуса: SHA256
Блок Время: ~ 10 минут
Блок вознаграждения, чтобы уменьшить в обратной пропорции к сложности
POS монета возраст Созревание: 24 часов
Годовая процентная ставка POS: 4%
Premine: 10 млн проведен Фондом ITO продажи
фазы проекта
Фаза 1
Дата запуска: 20 Август 2016
Blockchain создания
Добыча начинается
Средства ICO добывали на генезиса блоке
Временное использование акций PPC клона
Фаза 2
ICO начинается
Продажа 10 миллионов жетонов
Минимальная сумма для перехода к Фазе 3: 2000 BTC
Фаза 3
начинается Крипке безопасного развития
сообщество сотрудничество на широкой основе, с помощью договоров Foundation
Фонд сохранить часть непроданных лексем ICO в фонд развития (выделено по контракту)
Рекомендации
http://langsec.org/
https://en.wikipedia.org/wiki/Formal_methods
http://plato.stanford.edu/entries/rigid-designators/
http://plato.stanford.edu/entries/possible-worlds/
https://en.wikipedia.org/wiki/Chomsky_hierarchy
* В связи с экспериментальным характером этого проекта, и в связи с его потенциалом влияния на наши государственных идентичности и занятости, мы решили остаться анонимным на некоторое время.
Обратите внимание: этот проект строго экспериментальный характер и не является "валюта" или "имущество", Кроме того, проект может потерпеть неудачу, или не достаточной поддержки. Его целью является исключительно исследовать потенциал жесткого назначения для обеспечения смарт-контрактов.
