математической - Свежие новости [ Фото в новостях ] | |
Стив Возняк: «биткоин – это математическое чудо»
Соучредитель Apple Стив Возняк (Steve Wozniak) назвал биткоин «чудом технологии» и «уникальной математической формулой». При этом сам он не планирует инвестировать в BTC. дальше »
2021-7-10 11:50 | |
|
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
|
|
Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. дальше »
2019-6-6 17:31 | |
|
|
В Новосибирске ученые создали алгоритм для моделирования сверхновых звезд
Новосибирские ученые разработали алгоритм, позволяющий моделировать сложные космические события, например, вспышки Сверхновых звезд. Созданием математического кода занимались сотрудники Института математики и математической геофизики СО РАН. дальше »
2019-4-12 13:21 | |
|
|
Картину робота-художника перенесли на блокчейн
Современные технологии стремительно проникают во все сферы человеческой жизни, в том числе, и в искусство. Блокчейн и крпитография набирают все больше популярности у художников всего мира. Однако работа «Криптограф» уникальна еще и тем, что нарисовал ее робот. дальше »
2018-12-30 18:26 | |
|
|
В Госдуме предложили заменить ЕГЭ блокчейн-системой выявления талантов
Депутат Государственной Думы Борис Чернышов предложил заменить Единый государственный экзамен (ЕГЭ) системой раннего выявления талантов. По мнению парламентария, такая система должна использовать блокчейн, позволяющий с «математической точностью оценить индивидуальность каждого ребенка». дальше »
2018-11-21 12:19 | |
|
|
Учёные из IBM Research утверждают, что алгоритм Proof-of-Work можно сделать более эффективным.
Proof-of-work (PoW) — механизм консенсуса, обеспечивающий функционирование биткойна и других криптовалют, — считается весьма энергозатратной технологией. Действительно, общепринятый аргумент заключается в том, что сеть специализированных сверхмощных компьютеров, участвующих в поиске решения какой-либо произвольной математической задачи, может использовать количество электроэнергии, которого будет достаточно для обеспечения небольшой страны. дальше »
2018-10-8 07:14 | |
|
|