Marat
Блокчейны так или иначе пришли надолго
Igor
больше блокчейнов для бога блокчейнов
Инфраструктура не развита, работы много и надолго. Так что это хороший шанс для многих стартануть
Vlad
Раст для блокчейна идеально зашел я смотрю
Alex
верификация контрактов наверное перспективная тема
Marat
Я бы пошел в блокчейн ну думаю там хардкорная математика
Alex
а так ну расхайпованная числодробильня по сети
Alex
seti@home вон уже 28 лет
Alex
Что значит верификация контрактов?
https://blog.zenprotocol.com/fast-and-smart-why-blockchains-need-resource-bounds-57e67ec8526d
Alex
http://nakamotoinstitute.org/contract-language/
Alex
и тд
Vlad
Что значит верификация контрактов?
Это шоб анкап запилился уже наконец. Верификация контрактов на блокчейне. Государство не нужно. Ясно дело же
Vladimir
Что такое анкап
Igor
вот подобный продукт https://github.com/paritytech/parity
Vladimir
Подобный?
Vlad
Что такое анкап
Так, у меня нет сейчас времени очередной анкапосрач устраивать. Почитай выше по истории
Alex
ммм... а связь-то вообще какая?
ну такая же распределенная числодробильня только результаты не в мерклевом дереве а в обычной базе или где они их там хранят :)
Vladimir
А как ненасущный?
big
вот подобный продукт https://github.com/paritytech/parity
очень интересно, что значит подобный? ) Вы из ETC DEV? )
Alex
как ненасущный например https://legalese.com/
Vladimir
Формальная верификация?
Alex
формальная да
Vladimir
Ну такое, как-то к блокчейну этот ресерч мало относится
Marat
Это шоб анкап запилился уже наконец. Верификация контрактов на блокчейне. Государство не нужно. Ясно дело же
Мне вот интересно как в России собираются блокчейны использовать, если там надо будет поменять нужные имена на ЛСДУЗ и ЙФЯУ9
Igor
очень интересно, что значит подобный? ) Вы из ETC DEV? )
Нет, пишем для экосистемы эфира более мелкие продукты.
Vladimir
Верифицировать по можно также. Блокчейны всё-таки "распределенные стейт машины, в первую очередь"
big
что за более мелкие продукты для эфира да на расте
Alex
Верифицировать по можно также. Блокчейны всё-таки "распределенные стейт машины, в первую очередь"
да я не спорю, там много чего можно наверифицировать
Vlad
Мне вот интересно как в России собираются блокчейны использовать, если там надо будет поменять нужные имена на ЛСДУЗ и ЙФЯУ9
Ну, там будут читерские блокчейны с одним майнером, видимо. И значит можно будет форкнуть весть блокчейн с нуля и заменить где надо
Vlad
Vlad
Блокчейн без блокчейна
Marat
Ну, там будут читерские блокчейны с одним майнером, видимо. И значит можно будет форкнуть весть блокчейн с нуля и заменить где надо
Ну так тогда профита в блокчейне вообще нету же, почему бы обычные бд не использовать
Vlad
Vladimir
Ну, там будут читерские блокчейны с одним майнером, видимо. И значит можно будет форкнуть весть блокчейн с нуля и заменить где надо
Блокчейны разные бывают, и даже в контекстах когда есть условный один холдер, можно организовать все так, чтобы никто не переписывал историю
Denis
верификация контрактов наверное перспективная тема
Мы на коке писали ЯП + VM для смарт контрактов. Дальше с этим делать что-то правда лень + люди очень плохо понимают отличие формально верифицированных вещей от едва работающих.
Mike
Vladimir
Мне вот интересно как в России собираются блокчейны использовать, если там надо будет поменять нужные имена на ЛСДУЗ и ЙФЯУ9
Так а в чем проблема поменять имена?
Igor
что за более мелкие продукты для эфира да на расте
Имплементации протокола на более легких нодах
Alex
Igor
К примеру.
big
интересно, насколько легких? RPI?
big
или тяжелее, вроде generic laptop ?
Marat
Так а в чем проблема поменять имена?
Ну так всю историю переписать это же надо все заново посчитать
Vladimir
Ну так всю историю переписать это же надо все заново посчитать
Я думал ты про валидное переименование
big
Вряд-ли в rpi влезет бд, а остальное вполне портируемо
я конечно не эксперт, но я думаю можно достигнуть довольно интересной функциональности и без хранения всей дб
Denis
лень в плане денег больше не дают? :)
ЯП там мало, т.к. свойства доказывать можно только описав конкретно блокчейн. Затем интересный вопрос что конкретно мы хотим доказать так. Ну и если денег бы дали, я бы занялся у нас in-house, потому что продавать потом эту историю мне не хочется.
Marat
Я думал ты про валидное переименование
Так это просто по сути дописывать новую историю. Старая то остается как бы, хотя я так понимаю, полную историю все равно никто не даст просто так посмотреть
Igor
Vladimir
Vladimir
Сохранение истории мелкого блокчейна в публично доступном месте
Vladimir
Тем самым гарантируя, что историю не подменяли
Marat
Сохранение истории мелкого блокчейна в публично доступном месте
Ну так с чего бы государству идти на это
Vladimir
Блокчейн внедряют не только ради хайпа, первоначальная цель это сделать некую процедуру более открытой
big
+ зашищенней
Vlad
Да под блокчейном щас какую только херь не понимают. Что только хайп с хорошими словами не делает
Vladimir
Ну смотря что вкладывать в зищещенность, блокчейн не панацея
Denis
сейчас 90%(низкая прикидка) околоблокчейн-проектов не про реальные профиты от блокчейноподобной архитектуры, а нечто иное
Denis
для распределенный trustless сетей - отлично
Denis
для отчетности в банке, ну лол же!
Vlad
Ну вот да, и я об этом
big
в одном банке — лол
big
а вот если участвует несколько сущностей — уже интереснее
Vladimir
А почему банки не могут захотеть выстроить trustless систему?
Denis
у меня лицо ладонями покрывается, когда мне рассказывают про надежность, дешевизну и скорость(это вообще 10/10) блокчейн систем в сетях со степенью доверия близкой к 100%
Denis
это практически весь энтерпрайз блокчейн сейчас
Alex
скорость блокчейна это хороший лол
Alex
хотя если сравнивать с классическими банковскими транзакциями для частников