Mastodawn

Применяем формальные методы к чейнкодам Hyperledger Fabric: кейс BaseToken

Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье я продолжу рассказывать о том, как мы используем инструменты формальной верификации для предотвращения уязвимостей в различных компонентах блокчейна. Речь пойдет о верификации смарт-контракта BaseToken в Hyperledger Fabric с помощью метода проверки моделей.

https://habr.com/ru/companies/pt/articles/993688/

#Hypeledger_Fabric #смартконтракты #чейнкод #формальная_верификация_криптовалют #model_checking #tla+ #блокчейн #hlf

Применяем формальные методы к чейнкодам Hyperledger Fabric: кейс BaseToken

Хабр

N-gated Hacker News Jan 3

🚀 "Proving liveness with TLA" or how to make watching paint dry sound exciting! 🎨 Dive into a labyrinth of tech jargon that promises something will *eventually* happen, just like your New Year's resolutions! 📅😂
https://roscidus.com/blog/blog/2026/01/01/tla-liveness/ #ProvingLiveness #TLA #TechJargon #ExcitingReads #NewYearsResolutions #LabyrinthOfTech #HackerNews #ngated

Proving liveness with TLA - Thomas Leonard's blog

The TLA Toolbox now has support for proving liveness properties (i.e. that something will eventually happen). I try it out on the Xen vchan protocol. …

Hacker News Jan 3

Proving Liveness with TLA

https://roscidus.com/blog/blog/2026/01/01/tla-liveness/

#HackerNews #Proving #Liveness #TLA #FormalMethods #DistributedSystems

Proving liveness with TLA - Thomas Leonard's blog

The TLA Toolbox now has support for proving liveness properties (i.e. that something will eventually happen). I try it out on the Xen vchan protocol. …

Thomas Leonard Jan 1

Experiences using the #TLA Toolbox with TLAPS to prove liveness for the Xen vchan protocol: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/

Hacker News Dec 17

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html

#HackerNews #TLA+ #Modeling #Tips #TLA+ #Modeling #Software #Formal #Methods #Software #Engineering #System #Design

TLA+ modeling tips

Model minimalistically Start from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a compone...

IcatianJ Dec 3

I walked into a big-box retailer two days in a row and noticed that #mtg #tla Commander Bundles are plentiful at $109 (an incorrect, lower price was on the shelf, and the in-store price checker said they were out of stock.) You couldn’t buy through the app, you had to go in person. Point is anyone buying or reselling over that amount is losing their shirt. #mtgcommander #magicthegathering

Vassil Nikolov | Васил Николов Nov 23

CPU
(Central Processing Unit)

GPU
(Graphics Processing Unit)

TPU
(Tensor¹ Processing Unit)

And I need an
HPU
(Hype Processing Unit).

Robert McNamara wrote about the Fog of War;
this is the Fog of November²...

From the BBC:
The contradiction at the heart of the trillion-dollar AI race
<https://www.bbc.com/news/articles/cvgvynlxqdyo>

_________
¹ I can hear the conversation:
"Yes! tensor! it's like a vector on steroids, right?"
² Today's month being the month preceding winter
(in this part of the world).

#AI
#ArtificialIntelligence
#FifthGeneration
#Hype
#Seasons
#TLA

The Silicon Valley 'AI factory' at the heart of the tech race

The confusing question lingering over the AI hype is whether it could be a bubble at risk of bursting

I’m very close to finishing another #edh deck, but once I’m done I’m going to have to revamp my Tazri Allies deck. #mtgcommander #mtg #magicthegathering #tla

OFA Oct 29

#TIL si tu savais pas ce que ce #TLA veut dire