Rano

software safety via formal methods

[Lean @leanprover]

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: https://t.co/Z78vyMjsgE

#LeanLang #LeanProver #FormalVerification #SoftwareVerification

[Informal Systems @informalinc]

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

[Informal Systems @informalinc]

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.

[Marius Poke @marius_poke]

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

[Rano @rnbguy_]

@StarkWareLtd or at least via syscalls.

[Rano @rnbguy_]

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

[Rano @rnbguy_]

@AdiSeredinschi @alinush 😭🔮🧙‍♂️😭

[StarkWare 🥷 @StarkWareLtd]

Building bridges, not walls.

Starknet is the first ZK-Rollup to integrate IBC.

Probably nothing

[Ethan Buchman (🐝,🦇) @buchmanster]

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

IBC everywhere

[Informal Systems @informalinc]

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: https://t.co/BKGuy0HvwU

[zarinjo @zarinjo]

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! https://t.co/iZh6Y5LTPj

[Stromae @Stromae]

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

[Rano @rnbguy_]

@GreenBirdGang @badkidsart @StargazeZone Nothing can top this banger: https://t.co/GHoPYAJr4I

[Rano @rnbguy_]

@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.

[STATION F @joinstationf]

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: https://t.co/Dob6ttoHwG

[Rano @rnbguy_]

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

[The Inter-Blockchain Communication Protocol @IBCProtocol]

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 👇

[Jameson Lopp @lopp]

City of Lugano reveals Satoshi statue!

[Peppi Littera @peppilittera]

It's release day @cyclesmoney
#cosmwasm #sgx

If you want to play head over to https://t.co/K2d1f8aP0Z

[Rano @rnbguy_]

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