Size: a a a

2020 May 28

AO

Arthur Ostapenko in ББ-чат
Alex Petrov
чтобы подписать транзакцию, в без ключа никак.
Ключ естественно есть, только разбит на 10 тыс частей.
Я имею ввиду что когда две трети нод делают вычисления и возвращают результат, заказчик может собрать их и получить валидную, подписанную ключем транзакцию.
источник

DS

Danil Serebryakov in ББ-чат
Arthur Ostapenko
Да, очень любопытно увидеть алгоритм. Обещают опубликовать, но пока не видел.

Я немного смотрел этот проект, и так понимаю они разбивают инфу с помощью shamir's secret sharing, каждой из 10 тыс нод дают по части (шифруют ее ключем на следующую эпоху), ноды делают одинаковые вычисления над своей частью. Вычисления получаются полностью гомоморфные. Если после вычислений обьединить все части, то получится валидный результат.  Вот тут можно поиграться в блокноте: https://observablehq.com/@superstratum/shamirs-secret-sharing-test

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

И в итоге, если у них это все равботает как они заявляют, может получится настоящая бомба)
Всякие мастерчейны для взаимодействия блокчейнов между собой станут по сути уже не нужны. Так как сеть сможет реагировать на любые ивенты в одной сети, любыми транзакциями в другой. Да и помимо этого, много других кейсов появится для виртуальной машины которая может быстро делать приватные вычисления в которых неизвестны не входящие не исходящие данные
источник

AP

Alex Petrov in ББ-чат
Arthur Ostapenko
Ключ естественно есть, только разбит на 10 тыс частей.
Я имею ввиду что когда две трети нод делают вычисления и возвращают результат, заказчик может собрать их и получить валидную, подписанную ключем транзакцию.
10 частей это как то овердифига, и возникают вопросы если 1/3 сети будет оффлайн, если 1/2 сети будет не доступна или потеряет информацию че тогда ...
источник

AO

Arthur Ostapenko in ББ-чат
о, круто, спасибо. Прозевал
источник

DS

Danil Serebryakov in ББ-чат
Arthur Ostapenko
о, круто, спасибо. Прозевал
вчера только появилось
источник

AP

Aleksei Pupyshev in ББ-чат
Arthur Ostapenko
Да, очень любопытно увидеть алгоритм. Обещают опубликовать, но пока не видел.

Я немного смотрел этот проект, и так понимаю они разбивают инфу с помощью shamir's secret sharing, каждой из 10 тыс нод дают по части (шифруют ее ключем на следующую эпоху), ноды делают одинаковые вычисления над своей частью. Вычисления получаются полностью гомоморфные. Если после вычислений обьединить все части, то получится валидный результат.  Вот тут можно поиграться в блокноте: https://observablehq.com/@superstratum/shamirs-secret-sharing-test

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

И в итоге, если у них это все равботает как они заявляют, может получится настоящая бомба)
Всякие мастерчейны для взаимодействия блокчейнов между собой станут по сути уже не нужны. Так как сеть сможет реагировать на любые ивенты в одной сети, любыми транзакциями в другой. Да и помимо этого, много других кейсов появится для виртуальной машины которая может быстро делать приватные вычисления в которых неизвестны не входящие не исходящие данные
Шамир секрет - это понятно, так они реализуют пороговую подпись
Но зачем машинам не понимать что на входе и что на выходе?

То есть я правильно понял, что по факту они делают децентрализованный комп в котором каждый «процессор» делает полезные операции, но их польза раскрывается только в результате сборки всех результатов?

Сразу вопрос: зачем так?
Можно же просто commit-reveal, нет?
источник

AP

Aleksei Pupyshev in ББ-чат
Alex Petrov
10 частей это как то овердифига, и возникают вопросы если 1/3 сети будет оффлайн, если 1/2 сети будет не доступна или потеряет информацию че тогда ...
Аналогичные вопросы хотел задать )
источник

AS

Andrey Sobol in ББ-чат
Arthur Ostapenko
Ключ естественно есть, только разбит на 10 тыс частей.
Я имею ввиду что когда две трети нод делают вычисления и возвращают результат, заказчик может собрать их и получить валидную, подписанную ключем транзакцию.
А откуда 10к?
источник

DK

Dmitry Khovratovich in ББ-чат
Aleksei Pupyshev
Шамир секрет - это понятно, так они реализуют пороговую подпись
Но зачем машинам не понимать что на входе и что на выходе?

То есть я правильно понял, что по факту они делают децентрализованный комп в котором каждый «процессор» делает полезные операции, но их польза раскрывается только в результате сборки всех результатов?

Сразу вопрос: зачем так?
Можно же просто commit-reveal, нет?
секретный ключ для подписи там разделен
источник

AS

Andrey Sobol in ББ-чат
Типа если бить любую инфу на 10 тысяч частей с помощью Шамира - там будет такого размера части и так долго фигачить вычисления что не полетит
источник

DK

Dmitry Khovratovich in ББ-чат
Aleksei Pupyshev
Аналогичные вопросы хотел задать )
конкретно в Ren там слабые свойства, то есть много узлов должно быть онлайн. Но вообще есть протоколы где если секретный ключ восстанавливается по t частям, то можно t-1 атакующих, при любом k>=t количестве владельцев всего
источник

DK

Dmitry Khovratovich in ББ-чат
можно в смысле ключ не утечет, но любой участник может заблокировать вычисление
источник

AS

Andrey Sobol in ББ-чат
Dmitry Khovratovich
можно в смысле ключ не утечет, но любой участник может заблокировать вычисление
Ну это же классический трейдоф между лайвнес и сейфти
источник

AO

Arthur Ostapenko in ББ-чат
Dmitry Khovratovich
конкретно в Ren там слабые свойства, то есть много узлов должно быть онлайн. Но вообще есть протоколы где если секретный ключ восстанавливается по t частям, то можно t-1 атакующих, при любом k>=t количестве владельцев всего
А почему слабые свойства?
источник

AO

Arthur Ostapenko in ББ-чат
Andrey Sobol
А откуда 10к?
Их протокол предусматривает что такое количество нод будет в финальной сети
источник

AO

Arthur Ostapenko in ББ-чат
Andrey Sobol
Типа если бить любую инфу на 10 тысяч частей с помощью Шамира - там будет такого размера части и так долго фигачить вычисления что не полетит
Всмысле части будут большого размера?
источник

AS

Andrey Sobol in ББ-чат
Arthur Ostapenko
Их протокол предусматривает что такое количество нод будет в финальной сети
ну значит наверное там будет что-то типа разделения ответственности когда ключ не на всех делится
источник

AS

Andrey Sobol in ББ-чат
ибо 10к это нереально
источник

AO

Arthur Ostapenko in ББ-чат
Нереально собрать такое количество валидаторов?
источник

AS

Andrey Sobol in ББ-чат
нереально разбить секрет на такое колличество частей
источник