История изменений
Исправление derlafff, (текущая версия) :
Никто ж не говорит, что криптографию писать просто. Ну так что ж делать, не писать ее теперь? Биткоин же как-то сделали?
Писать, но не в стиле «Я Д’Артаньян, а вы дураки, поэтому я за ночь напишу superior-реализацию»
Прям-таки многолетняя? Или все-таки он прекрасно формально доказывается от силы за месяц? Я не спорю, что формальное доказательство будет страниц на 10, но это совсем не тот космос, который ты описываешь.
Опять же, тут все как в криптографии: доказать что-то можно довольно быстро, а вот быть уверенным, что нет опровержений - нельзя. Поэтому хорошей криптографии (и многими другим алгоритмам) нужно «настаиваться».
На каждой реализации нужно повторить это еще раз.
Исходная версия derlafff, :
Никто ж не говорит, что криптографию писать просто. Ну так что ж делать, не писать ее теперь? Биткоин же как-то сделали?
Писать, но не в стиле «Я Д’Артаньян, а вы дураки, поэтому я за ночь напишу superior-реализацию»
Прям-таки многолетняя? Или все-таки он прекрасно формально доказывается от силы за месяц? Я не спорю, что формальное доказательство будет страниц на 10, но это совсем не тот космос, который ты описываешь.
Опять же, тут все как в криптографии: доказать что-то можно довольно быстро, а вот быть уверенным, что нет опровержений - нельзя. Поэтому хорошей криптографии (и многими другим алгоритмам) нужно «настаиваться».