commonware (@commonwarexyz) 's Twitter Profile
commonware

@commonwarexyz

ID: 1812126202804711425

linkhttps://commonware.xyz calendar_today13-07-2024 14:05:56

188 Tweet

3,3K Followers

0 Following

patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

Looking forward to presenting commonware's latest work "Sequencer-Driven Decoupled State Machine Replication (DSMR) — A Practical Approach to Multiple Concurrent Proposers" at Solana Accelerate 🇺🇸 NYC May 19-23 next month! IBRL 👀

Looking forward to presenting <a href="/commonwarexyz/">commonware</a>'s latest work "Sequencer-Driven Decoupled State Machine Replication (DSMR) — A Practical Approach to Multiple Concurrent Proposers" at <a href="/SolanaConf/">Solana Accelerate 🇺🇸 NYC May 19-23</a> next month!

IBRL 👀
patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

Enjoyed this conversation about "Verticalized Blockchain Applications" (and how commonware is designing for what we think is an inevitable future). Thanks for hosting me, gb3nga!

patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

How Things Work #2: Executable Semantic Frameworks and K Yesterday, I chatted with Grigore Rosu from Pi Squared about a new type of blockchain execution environment where anyone can deploy their own language. If you've already committed to RISC-V or WASM, don't watch.

patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

Powered by K, this new environment employs "Compositional Symbolic Execution" to outperform manually-written language interpreters. TL;DR convert programs into mathematical theorems -> perform reductions/simplifications not previously possible: pi2.network/papers/llvm-k-…

Pi Squared (@pi_squared_pi2) 's Twitter Profile Photo

“At Pi², we don’t care what programming language you use. We care if it has formal semantics. That’s how you prove something is true.” Grigore Rosu breaks it down on commonware w/ patrickogrady.xyz

Permissionless (@permissionless) 's Twitter Profile Photo

every cycle has its frameworks. he’s building the one you’ll still want to use when this one ends. your favorite builder’s favorite builder patrickogrady.xyz

every cycle has its frameworks. 

he’s building the one you’ll still want to use when this one ends. 

your favorite builder’s favorite builder <a href="/_patrickogrady/">patrickogrady.xyz</a>
patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

Today, I’m excited to share that commonware is launching a continuous security program, partnering for validator operation, and deploying purpose-built infrastructure (exoware) with the world-class team at asymmetric research.

Today, I’m excited to share that <a href="/commonwarexyz/">commonware</a> is launching a continuous security program, partnering for validator operation, and deploying purpose-built infrastructure (<a href="/exowarexyz/">exoware</a>) with the world-class team at <a href="/asymmetric_re/">asymmetric research</a>.
asymmetric research (@asymmetric_re) 's Twitter Profile Photo

We're proud to support commonware as their primary security and validator infrastructure partner—helping design and review the foundational components of their modular primitives, and ensuring the Commonware Library is (and stays) production-ready.

patrickogrady.xyz (@_patrickogrady) 's Twitter Profile Photo

I’m excited to share that Dan Laine (github.com/danlaine) has joined commonware as our fourth. Over the last 3.5 years, Dan has displayed an incredible knack for finding bugs in my code. I look forward to seeing him showcase that same skill in the Commonware Library.