Rano

New Lean use case: Veil, a multi-modal verification framework for distributed protocols from George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, and Ilya Sergey at NUS. No single verification technique is sufficient for distributed protocols. Veil's approach: write a model once, then apply concrete and symbolic model checking, SMT-based proofs, and interactive theorem proving from a single executable specification in Lean. "As Lean's meta-programming, proof automation, and IDE infrastructure continue to mature, the case for embedding verifiers inside Lean only grows stronger." 🔗See the use case page for more: lean-lang.org/use-cases/veil #LeanLang #LeanProver #FormalVerification #SoftwareVerification

Deploy a blockchain testnet in minutes, not days. New Emerald walkthrough ↓

Public blockchains lack the performance and control enterprises need. Private chains sacrifice transparency and trust. Today we are introducing Emerald: An open-source framework for institutional networks of trust. Launch your own high-performance, EVM compatible Emerald network in minutes.

Quint is ready to use! 🤩 Follow @bugarela and @informalinc to keep up with the latest news on Quint

@StarkWareLtd or at least via syscalls.

@StarkWareLtd any timeline when the stwo proof verifier will be available on Starknet via library calls ?

1/ S-two is live. The fastest prover in the world, and the first to make client-side proving actually possible on everyday devices. Now open to all, and coming soon to Starknet 🧵

@AdiSeredinschi @alinush 😭🔮🧙‍♂️😭

@alinush @rnbguy_ ?

shaman — someone who must resort to sorcery and divination because they used SHA hashing in their ZK circuits

Building bridges, not walls. Starknet is the first ZK-Rollup to integrate IBC. Probably nothing

Our team made the first successful ibc transfer between @Starknet and @osmosis testnets this week IBC everywhere

Building the future of blockchain requires the right partnerships—we’re hiring a Business Development Associate to identify opportunities, build relationships, and connect innovative protocols with our engineering expertise. Be part of our mission: bit.ly/429WNEK

Built with Malachite, our new implementation of Tendermint in Rust. We are super excited about the collaboration with @varunsrin and the amazing team at @farcaster_xyz. We are open sourcing Malachite soon, stay tuned. Decentralise whatever with Malachite! x.com/varunsrin/stat…

We’ve crafted a special song for the final season of @arcaneshow with Pomme. « Ma meilleure ennemie » is now available on all platforms!

@GreenBirdGang @badkidsart @StargazeZone Nothing can top this banger: open.spotify.com/track/0I8mwRyr…

Nobody: Me: I think @badkidsart on @StargazeZone needs a jingle 🫢

@DeFi_Hobbyist @cosmosrescue these addresses can be mined as vanity addresses. the more letters you want, the more difficult it is to mine a vanity address. it's the same principal as mining a bitcoin block.

@cosmosrescue how did they get a simular adress ? just by randomness ?

🚨 Cosmos Users: Beware of Dust Attacks! 🚨 We've noticed the common EVM scam of address poisoning has hit Cosmos. In this scam, bots run dusting attacks to imitate addresses you have interacted with, in the hope that next time you will copy their address and send to them.

HERE THEY ARE, OUR FUTURE 40! 🌟 These are the 40 best-performing startups at STATION F, featuring over 15 nationalities, 50% repeat founders, and already €93 million raised. This batch is absolutely INSANE with incredible projects. We can guarantee that no matter your interest in startups, you'll be hearing their names very soon! Check them out here: stationf.co/news/future40-…

@WillCove @krndvrn is this common that the RPC nodes offer data without commitment proofs against the block root ?

@krndvrn x.com/zk_kirol/statu… big one is eliminating reliance on rpc providers (middlemen) blockchain derives value from how hard it is to attack the system. being able to directly verify the state of the chain yourself is critical.

Did you know that you can run a mina full node from your phone? try for yourself: openmina.com/dashboard live on devnet

IBC v2, IBC Eureka is coming. 🔥 It will bring a native ETH connection, faster connections to new VMs, and a better experience for developers. Get the alpha from IBC team member Adi Ravi Raj 👇

RT @lopp: City of Lugano reveals Satoshi statue!

It's release day @cyclesmoney #cosmwasm #sgx If you want to play head over to github.com/informalsystem…

@btruax interesting! I go to Italy 🇮🇹 and I find their tomatoes 🍅 more flavorful 😄

Ok France, I get it. Your cuisine is really good. I never appreciated it before and maybe that’s because produce in the USA kinda sucks. Just a simple tomato here has so much flavor. And not even a special tomato. Like, any of them. I mean, look at this fruit and veg stand.