Defined Innovations

R&D on advanced topics in computer science. We develop mostly in Rust.
of @massachain.

[Defined Innovations @defined_innov]

🎥 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

[Defined Innovations @defined_innov]

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

[Defined Innovations @defined_innov]

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

See you there! 🚀🔥

[Starknet Ecosystem 🥷🏽 @StarknetEco]

RISC-V Cairo VM is here 🧑‍💻 👨‍💻

Thanks to @defined_innov, you can now build on Starknet using Rust libraries within your Cairo contracts!

https://t.co/X0kqWVP3eG

[Defined Innovations @defined_innov]

🚀 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! https://t.co/t2ss51BZ0k🚀#Rust #Starknet #Blockchain

[Defined Innovations @defined_innov]

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!

[Defined Innovations @defined_innov]

🎉 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]
👉 https://t.co/YMYPQcOg4m

[Defined Innovations @defined_innov]

@defined_innov brought several improvements to the AirScript language: https://t.co/BsUPZtySXX The team now shifts its focus towards compiler theory, helping improve proof performance with the design of an Intermediate Representation for AIR constraints!

[Dominik Schmid @schmiddominik1]

Miden road to mainnet:

https://t.co/WSr2DJAVQB

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 Innovations @defined_innov]

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

[Defined Innovations @defined_innov]

Adding graph parallelization to accelerate Nakamoto consensus blockchains makes them sensitive to Nothing-at-Stake attacks. Our researchers solved that. https://t.co/T9iwOicxLs

[Defined Innovations @defined_innov]

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