This conversation between ZKM Education Lead @alicelingl and @VeridiseInc's Jon Stephens about the application of formal security methods is a must-listen for anyone building ZK infrastructure 🤝

House of ZK Radio #49: Jon Stephens, CEO of Veridise - out now on Spotify & YouTube 🔲🔳
In this episode we sit down with @FormallyJon, Co-founder & CEO of @VeridiseInc, to explore the state of security in zero-knowledge systems.
From smart contract audits to formal

House of ZK

Twitter

Bitcoin at Block – the Bitcoin project of Block , the company founded by Twitter co-founder Jack Dorsey – has just announced the launch of a free Bitcoin Faucet, marking the return of the Bitcoin distribution model...

Jack Dorsey announces a $1 million project to give away free Bitcoin.

MicroStrategy founder Michael Saylor asserts that Bitcoin has won the global narrative war, specifically naming BIP- […]
The article, "Michael Saylor Warns BIP-110 is the Biggest Threat to Bitcoin; Four-Year Cycle is Dead, Institutional Capital is the Real Protagonist," was first published on BlockTempo, the most influential blockchain ABMedia media.

Michael Saylor warns that BIP-110 is the biggest threat to Bitcoin; the four-year cycle is dead, and institutional capital is the real protagonist.

Editor's Note: This article argues that what truly drives oil prices is not just whether the conflict ends, but "when the tipping point will be crossed."

In the nearly four-week-long conflict with Iran, the oil market is experiencing a classic case of "time-based pricing." The release of strategic reserves has delayed the impact but cannot eliminate the supply gap; disruptions to tanker transport and delayed production recovery are causing inventory pressure to accumulate into the future. Once the critical mid-April mark is passed, the price mechanism will shift from "buffered volatility" to "gap-driven repricing."

More importantly, the game structure itself is also changing. The conflict is no longer characterized by "escalation followed by deterioration..."