Not a vulnerability review - that’s not what this thread is
This is about centralization risk. And it’s especially relevant because AckiNacki publicly markets itself as "radically decentralized"
I’m not a lawyer, but if a system functions otherwise, there may be grounds for someone to argue that those claims are misleading
Diving into #AckiNacki
Surprising and intriguing project
Extends ideas of #TON/TVM first introduced by Nikolai Durov in 2018
Positioning:
- "Fastest Blockchain Possible"
- Novel probabilistic consensus
- Strong team + formal verification
- Radical decentralization
The claims are bold
I'll be digging into the codebase and architecture, sharing what I uncover along the way
https://t.co/6Xtz3Ck8sf
https://t.co/vR81edADgG
This summer saw significant progress at the intersection of LLMs and formal mathematics.
Here are my slides: 𝗙𝗼𝗿𝗺𝗮𝗹𝗶𝘇𝗶𝗻𝗴 𝗠𝗮𝘁𝗵𝗲𝗺𝗮𝘁𝗶𝗰𝘀 𝘄𝗶𝘁𝗵 𝗟𝗮𝗿𝗴𝗲 𝗟𝗮𝗻𝗴𝘂𝗮𝗴𝗲 𝗠𝗼𝗱𝗲𝗹𝘀 from foundational concepts to recent advances.
https://t.co/aRezKTuI5s
Been analyzing #AckiNacki. My research shows contradictions between its public claims (e.g., radical decentralization, no team control) and the actual code/architecture.
@Futurizt could you clarify or comment?
https://t.co/xHS7s98mqQ
https://t.co/Fo4h9G71pp
https://t.co/l7MrAv7qHI
Network attracts users via an in-app game
Classic p2e mechanics, serving as one of the sources of the native token supply
Right now, the team holds centralized control over the reward modifier
https://t.co/UrdlVHzj4y
`setMbiCur()` lets the root key set the Motherboard reward modifier for any user
This potentially allows the team to compete directly with users for rewards
That conflicts with #5: Satoshi couldn’t decide who earns what
@GoSolShield Wouldn't rational approach assume a domain specific language for formal verification? Relying just on AI (LLM) at this stage doesn't sound reliable. Good assistance tooling for sure, but not nearly enough
Too often, audits fail the common sense test.
One company needs an “audit” to boost its image.
Another company sells audits by the dozen.
Both sides are happy.
Everyone - except the users. Because most of the product usually isn’t covered at all.
Serum passed audits. Wormhole passed audits. The list goes on. The real question: what was audited, and by whose standard?
AI Hacking is here (unfortunately)
Poorly secured crypto is most at risk.
Anthropic (Claude LLM), reported that cybercriminals were using its tools in large-scale hacking campaigns in August 2025
https://t.co/QVQMNYLYg3