Solana moves fast.
ZK on Solana moves… vibes faster.

Everyone talks about compression, light clients, zkVMs, proving pipelines.

Formal methods? Mostly absent where it actually matters.

So you end up with this beautiful illusion:

high throughput
low latency
“verified proofs”

…sitting on top of undefined invariants.
ZK without formal methods is just expensive ambiguity.

And Solana right now is dangerously close to optimizing the ambiguity layer.

#solana #zk #cryptography #formalmethods

ZK discourse turned into a glossary contest. SNARK vs STARK, proof vs argument… meanwhile almost no one models adversaries, composition, or real leakage. “ZK is free” and “Fiat-Shamir depends” in production is how systems break.

https://hackmd.io/ndS_6PmRSPaUHwEby7cYWw

#ZK #Cryptography #Security #Web3

PQC is not a primitive upgrade, it’s an architectural reset.
QIA-QZK eliminates reusable identity artifacts and moves authentication to ephemeral, session-bound proofs with zero-knowledge properties.

https://app.daily.dev/posts/VLmkxlxDr

#zK #PQC

oggi, 30 gennaio, a Ostia, presidio per protestare contro lo sgombero del centro sociale ZK
oggi, 30 gennaio, ore 10:30, presidio di protesta sotto al X municipio (Ostia) in risposta allo sgombero di ZK. Fate girare

la notizia dello sgombero: https://www.lacapitale.it/articolo/ostia-in-corso-lo-sgombero-del-centro-soci
https://differx.noblogs.org/2026/01/30/presidio-per-zk/
#anark #Resistenza #SegnalazioniEAvvistamenti #SegnaliEAzioni #autogestione #csoa #Ostia #protesta #sgombero #ZK

.zkdid™ has submitted a proposal to the #Catalyst project #Cardano grant platform.

The proposal was submitted in collaboration with the Fraunhofer Society, Europes largest applied science research centre. Architecture design for a global standard for a zero knowledge decentralised DNS network .zkdid™

It would be a wonderful milestone for us to to move forward. Have a read below 👇 Thanks ✊ #DID #ZK #ZKDID

https://projectcatalyst.io/funds/15/cardano-use-cases-prototype-and-launch/zkdidtm-advancing-global-standards-in-proof-of-personhood

Vitalik, ZK EVMs e a farofa da ZK

Pode o Vitalik realmente resolver o trilema com ZK EVMs? 🤯

• O que ele disse:
- Vitalik Buterin afirmou que ZK EVMs / Zero Knowledge Proofs podem resolver o trilema (segurança, escalabilidade e descentralização).

• O plot twist:
- No dia seguinte a Starknet ficou parada por 4 horas — irônico com a promessa de escalar o Ethereum via ZK. ⛔️⚠️

• Por que isso é relevante:
- ZK é a grande...

#Ethereum #ZK #Vitalik #Starknet #Cripto #Blockchain #MorningCrypto

Review of "A System for Writing" (5 stars): A Practical Zettelkasten Primer with Writing Advice

https://bookrastinating.com/user/Sasu/review/974241