Our piece on why "hash-based is not the same as post-quantum" drew a lot of attention from the ZK research community, but the best way to understand the argument is to run the schemes for yourself.
The @AppliedPQC playground puts SLH-DSA (hash-based) and the lattice schemes
Machine-checked proofs are becoming the standard for serious proof systems.
Different systems need different properties pinned down. For a privacy protocol, zero knowledge is the product, so that is the property to prove. For a zkVM proving a Bitcoin bridge, the property that
Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge.
Read more:
zakura.com/engineering/ir…
Ziren powers a network that keeps hitting new major milestones in agent infrastructure.
GOAT Flow is the latest. Merchants can now plug into the AI agent economy and begin selling in minutes.
No code required.
Introducing GOAT Flow.
Your next customer might not be a person. AI agents are starting to buy things, and most businesses have no way to sell to them.
Now any merchant can. No code, in just a few minutes.
Simple agent commerce, secured by Bitcoin.
→ goat.network/flow
