Как вы не замечаете очевидной разницы между:
1. x = y + 1 в математике и
2. x = y + 1 в программировании?
Попробуйте изменить значение переменной y и все станет ясно. В математике вам еще придется «извращнуться» и ввести множества значений и элементы множества, чтобы «зафиксировать» состояние на тот или иной момент. В программировании итерационная модель состояний (последовательно сменная) уже в голове разработчика.
Насколько я понял, ученые создали ролик на основании построенной ими модели и предлагают любому желающему посмотреть на все из центра нашей Галактики. О карте видимой Вселенной речи не было же?
Спасибо, исправил! Очень важен взгляд именно математиков на данные статьи, чтобы можно было «отшлифовать» некоторые моменты, применительно к российскому читателю)
Одна пара — это полином с коэффициентом, отличным от нуля для одного из порядков X.
Дальше уже будет рассказано как Бобу проверить именно сам полином в «нужных» точках за счет получения остатка от деления полиномов.
Он имел ввиду, что Виталик взял инфу у первоисточника ZCash.
На самом деле, если мы говорим о первоисточнике, то это конечно же научные публикации MIT.
Если говорить о ZCash — то это, основанная, на данных трудах работающая модель.
Что касается статьи Виталика — он показал в ней, что если мы знаем результат и уверены в том, что этот результат был получен согласно известному алгоритму, мы можем доверять корректности знаний того, кто получил результат, даже не обладая ими. И все это обоснованно на математическом уровне.
> Если оператор new не смог выделить память, то согласно стандарту языка C++, генерируется исключение std::bad_alloc()
1. Можно выставить обработчик ошибок new (см. set_new_handler)
2. Генерацию исключений можно вообще исключить, тогда new вернет nullptr
1. x = y + 1 в математике и
2. x = y + 1 в программировании?
Попробуйте изменить значение переменной y и все станет ясно. В математике вам еще придется «извращнуться» и ввести множества значений и элементы множества, чтобы «зафиксировать» состояние на тот или иной момент. В программировании итерационная модель состояний (последовательно сменная) уже в голове разработчика.
PS. Более подробно данная атака разбирается здесь: blog.positive.com/zeronights-ico-hacking-contest-writeup-63afb996f1e3
Дальше уже будет рассказано как Бобу проверить именно сам полином в «нужных» точках за счет получения остатка от деления полиномов.
На самом деле, если мы говорим о первоисточнике, то это конечно же научные публикации MIT.
Если говорить о ZCash — то это, основанная, на данных трудах работающая модель.
Что касается статьи Виталика — он показал в ней, что если мы знаем результат и уверены в том, что этот результат был получен согласно известному алгоритму, мы можем доверять корректности знаний того, кто получил результат, даже не обладая ими. И все это обоснованно на математическом уровне.
1. Можно выставить обработчик ошибок new (см. set_new_handler)
2. Генерацию исключений можно вообще исключить, тогда new вернет nullptr
А потом «Первый человек, который поменял в своем мозгу все нейроны»
Весело вообщем))))