🎥 Missed our presentation at @agglayer Aggregation Day in Denver 2025? Catch the full replay, where we dive into making AirScript a truly versatile language for STARK constraints! 🎤 @Soulthym | 📺 Replay below #AggDay #STARKs

Imagine a future where zk-VM constraints are written in a single language and deploy seamlessly across STARK provers and verifiers. 🚀 With AirScript, we’re taking the first steps toward making that future a reality. Stay tuned! ✨ 📅 Feb 27 | @d_InfraSummit | 🎤 @damipator | 🕔 17:10 MT 🔗 lu.ma/bwb6wqjl

We are honored to be speaking at @agglayer Aggregation Day in Denver! We'll be presenting our work on making AirScript a truly versatile language for STARK constraints! 📅 Feb 28 | AggDay | 🎤 @Soulthym | 🕔 17:15 MT 🔗 lu.ma/pl8me76j See you there! 🚀🔥

RISC-V Cairo VM is here 🧑‍💻 👨‍💻 Thanks to @defined_innov, you can now build on Starknet using Rust libraries within your Cairo contracts! x.com/defined_innov/status/1…

🚀 Imagine accessing Rust tooling directly from your Cairo contracts on Starknet. With a RISC-V Cairo VM, Rust libraries are now at your fingertips, allowing faster prototyping and innovation. Check out our demo & dive in! defined-innovations.medium.c…🚀#Rust #Starknet #Blockchain

This week at #Devcon2024, we presented our ZK provable RISC-V VM, and a demo of the first Rust smart contracts verified on Starknet! Stay tuned for more info!

🎉 Excited to join @starknetevents for an Inf(ra)ormal Breakfast at #Devcon2024 in Bangkok! Join us for a world premiere: provable smart contracts in Rust on Starknet using our RISC-V VM built in Cairo. See live demos and learn how to do it yourself! 📅 [Nov. 12th, 9am UTC 7, The Fig Lobby Bangkok] 👉 lu.ma/gh2p7i97

@defined_innov brought several improvements to the AirScript language: github.com/0xPolygonMiden/ai… The team now shifts its focus towards compiler theory, helping improve proof performance with the design of an Intermediate Representation for AIR constraints!

Miden road to mainnet: docs.polygon.technology/mide… We get great help from external teams: - @class_lambda - client and all over the place - @reilabs_io - mostly on crypto and GPU - @DemoxLabs - WebClient and TS SDK - @defined_innov - AirScript and recursion - @0xs34n - explorer

@defined_innov and @0xPolygonFdn are teaming up to make AirScript the universal language for AIR representation! We'll dive deep into compilers and math to enable high-performance STARK-provable software.

Adding graph parallelization to accelerate Nakamoto consensus blockchains makes them sensitive to Nothing-at-Stake attacks. Our researchers solved that. arxiv.org/abs/2302.10009

The first RISC-V VM built in @CairoLang passed rv32ui-p compliance tests. This @defined_innov breakthrough enables privacy-preserving Rust program execution proofs with STARKs, and simplifies development on @Starknet. Thanks to @abdelstark for the support. github.com/massalabs/riscair…