Я обнаружил, что читал много gmaxwell сообщений в последнее время. Его посты напоминают мне двух хиппи я видел, спорить часами о разнице между минимализм и простой Izm лет назад, когда я находился в Вирджинии в то время как поступил на службу в ВМС США.

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

Не поймите меня неправильно, я не какой-то сумасшедший фанат или что-то. Я просто не могу перестать исследовать некоторые из тем, что он идет вглубь. Кто-нибудь еще есть моды или другие элементы, которые они любят чтение?

Вот типичный пример его размещения:

"Да, проверить недавнюю работу на  "Масштабируемость Нулевой знаний с помощью циклов эллиптических кривых": http://eprint.iacr.org/2014/595

Который является довольно диким методом. В основном им удалось (с помощью огромного количества вычислений), чтобы найти пару спаренных-совместимой эллиптических кривых, такие, что число точек на одной из них является размером конечного поля другой определяется более, и наоборот.

Что это означает, что в ЗУП, записанного с помощью кривой А это дешево запускать верификатор для ЗУП, написанный на кривой В. А для ЗУП в кривой В его дешевые проверить доказательства для кривой А.

Они принимают эту структуру и писать доказательства в виде "Проверка на ZKP в других кривом состоянии машины; Выполнить еще одну команду на вершине этого состояния.", Затем они чередовать эти конструкции, что позволяет полностью линейное масштабирование.

Недостатком является то, что этот магический трюк требует они используют кривые, где конечной проверяющий (не инсайдер доказательство, а на компьютере) является гораздо медленнее. Она также позволяет только 80-битное шифрование (Коэффициенты размера делают достижения 128 бит безопасности гораздо сложнее). Он также помогает только для задач, которые работают с помощью многократного применения универсальной схемы, как работает tinyram, а не работает жесткое проводное для конкретного применения коммутируемого который многие приложений будет предпочтительные для повышения производительности."  ~ gmaxwell