R&D on advanced topics in computer science. We develop mostly in Rust. https://xitter.cf/t.co/b3tNLNgZnJ Subsidiary of @massachain.
France
Joined July 2024
- Tweets15
- Following0
- Followers115
- Likes17
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! 🚀🔥
Defined Innovations retweeted
RISC-V Cairo VM is here 🧑💻 👨💻
Thanks to @defined_innov, you can now build on Starknet using Rust libraries within your Cairo contracts!
xitter.cf/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
🚀 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!
Defined Innovations retweeted
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…
