Loading video...

Video Failed to Load

There was a problem loading this video. This could be due to a temporary network issue or the video might be unavailable.

We are happy to announce that Dapen IDE now supports compiling #TypeScript Smart Contracts to Miden VM assembly 🎉 Dapen is the first high level language compiler to support previous handle of Miden, and we hope to see more projects take advantage of the STARK prover from the Miden team!

Psy Protocol

112,465 subscribers

17,477 views • 2 years ago •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

2 Comments

Usama Ijaz2 years ago

@0xPolygonMiden Whats this?

QED Protocol2 years ago

@0xPolygonMiden A TypeScript to zk Smart Contract compiler for the QED Protocol. You can learn more about QED here:

Related Videos

On Miden, privacy is how we scale. When users execute and prove transactions on the edge – on their own devices – the network is free to do more without bottlenecks.

On Miden, privacy is how we scale. When users execute and prove transactions on the edge – on their own devices – the network is free to do more without bottlenecks.

Miden

22,668 views • 9 months ago

We are glad to announce that we have full STARK compatibility between Stone and Lambdaworks Starknet (Privacy arc) 🥷 Platinum Prover. We’re working on adding the CairoVM constraints, the builtins and layouts. You can generate a proof with Lambda Stark Platinum and verify it with Stone following the instructions here: The 3 main objectives to achieve against the alternatives are: 1. the prover and verifier should be easy to run. one command to prove any cairo code. the prover internally calls the vm first to generate the trace, the user shouldn’t do anything but run one command. one command to verify it locally with the stone verifier. we will also add a command to verify it with the l1 contract in ethereum mainnet or testnets. compatibility and support of all the builtins are being worked on. we will be updating the community in the upcoming weeks. for us it’s very important that anybody can test and play with our code. 2. performance. we are already 10 times faster than the stone prover. we believe we can be almost another order of magnitude faster. 3. code architecture and organization should be top notch. the codebase is pretty small on purpose. we are documenting everything we are doing. we are leveraging all the work done in lambdaworks for multiple other provers. this let us easily iterate, play and change any part of the prover. we can test and propose new ideas thanks to this. from our point or view this is crucial and a big improvement over what exists. we have multiple ideas on how to change the protocol. And here's a demo! Don't trust, verify.

We are glad to announce that we have full STARK compatibility between Stone and Lambdaworks Starknet (Privacy arc) 🥷 Platinum Prover. We’re working on adding the CairoVM constraints, the builtins and layouts. You can generate a proof with Lambda Stark Platinum and verify it with Stone following the instructions here: The 3 main objectives to achieve against the alternatives are: 1. the prover and verifier should be easy to run. one command to prove any cairo code. the prover internally calls the vm first to generate the trace, the user shouldn’t do anything but run one command. one command to verify it locally with the stone verifier. we will also add a command to verify it with the l1 contract in ethereum mainnet or testnets. compatibility and support of all the builtins are being worked on. we will be updating the community in the upcoming weeks. for us it’s very important that anybody can test and play with our code. 2. performance. we are already 10 times faster than the stone prover. we believe we can be almost another order of magnitude faster. 3. code architecture and organization should be top notch. the codebase is pretty small on purpose. we are documenting everything we are doing. we are leveraging all the work done in lambdaworks for multiple other provers. this let us easily iterate, play and change any part of the prover. we can test and propose new ideas thanks to this. from our point or view this is crucial and a big improvement over what exists. we have multiple ideas on how to change the protocol. And here's a demo! Don't trust, verify.

Fede’s intern 🥊

16,711 views • 2 years ago

We are delighted to announce that the American Civics Exam is now available to the public and free to take! The American Civics Exam is not only a rich, challenging way to test your knowledge of American history and government, but an exam that we hope will help lead the revival of civics education in America. Visit to get started!

We are delighted to announce that the American Civics Exam is now available to the public and free to take! The American Civics Exam is not only a rich, challenging way to test your knowledge of American history and government, but an exam that we hope will help lead the revival of civics education in America. Visit to get started!

Classic Learning Test

17,657 views • 17 days ago

Happy #IndieAnimationDay ! To celebrate, we would like to announce WE ARE NOW FULLY BACK IN PRODUCTION! ENJOY THE FIRST CLIP FROM OUR PILOT!

Happy #IndieAnimationDay ! To celebrate, we would like to announce WE ARE NOW FULLY BACK IN PRODUCTION! ENJOY THE FIRST CLIP FROM OUR PILOT!

Please Stay Tuned

21,361 views • 1 year ago

"We now realise that the decision taken to support Sajith Premadasa previously was wrong. We now want to help the NPP, as we have the leadership at the local council level and are capable of helping implement a system to take forward their policies" SLFP group

"We now realise that the decision taken to support Sajith Premadasa previously was wrong. We now want to help the NPP, as we have the leadership at the local council level and are capable of helping implement a system to take forward their policies" SLFP group

NewsWire 🇱🇰

47,086 views • 1 year ago

GMiden everyone 🤟 In finance, one rule always holds: a business is only as secure as the data behind it. So when the Miden team talks about Practical Private Finance, its not marketing - its a new on-chain model that finally works in real-world conditions. What’s the core idea behind Miden approach? The breakthrough is client-side proving: all computation happens on the users device. Your phone or laptop generates a local ZK-STARK proof, and the network verifies only correctnes. No exposed balances, no leaked strategies, no unnecessary risks. The chain sees the proof, but never your local state. That’s what practical privacy looks like. This is the kind of privacy blockchains should have offered to banks, brokers, trading platforms, and institutions yaers ago. And now it becomes real: private smart contracts, private execution, full control over state, fast performance, and programmable confidentiality - all without sacrificing speed or scalability. Practical Private Finance from Miden isnt a plug-in on top of the EVM. Its a new financial architecture where offchain data, proof-based validation, and compliance-ready design work as a unified system. This is how on-chain finally returns to sanity where trust isnt a slogan, but cryptography. And that’s exactly what inspired todays non NFT crypto art with my unofficial Miden mascot. The art itself in good quality is in the quote under this postHope you enjoy it )) #Miden #ClientSideProving

GMiden everyone 🤟 In finance, one rule always holds: a business is only as secure as the data behind it. So when the Miden team talks about Practical Private Finance, its not marketing - its a new on-chain model that finally works in real-world conditions. What’s the core idea behind Miden approach? The breakthrough is client-side proving: all computation happens on the users device. Your phone or laptop generates a local ZK-STARK proof, and the network verifies only correctnes. No exposed balances, no leaked strategies, no unnecessary risks. The chain sees the proof, but never your local state. That’s what practical privacy looks like. This is the kind of privacy blockchains should have offered to banks, brokers, trading platforms, and institutions yaers ago. And now it becomes real: private smart contracts, private execution, full control over state, fast performance, and programmable confidentiality - all without sacrificing speed or scalability. Practical Private Finance from Miden isnt a plug-in on top of the EVM. Its a new financial architecture where offchain data, proof-based validation, and compliance-ready design work as a unified system. This is how on-chain finally returns to sanity where trust isnt a slogan, but cryptography. And that’s exactly what inspired todays non NFT crypto art with my unofficial Miden mascot. The art itself in good quality is in the quote under this postHope you enjoy it )) #Miden #ClientSideProving

Konstantin

14,537 views • 7 months ago

We are thrilled to announce that thanks to the Come and See Foundation The Chosen is now streaming into more than 300 prisons. This means that tens of thousands of incarcerated men and women can now experience “The Chosen” though Prison Fellowship’s Floodlight platform.

We are thrilled to announce that thanks to the Come and See Foundation The Chosen is now streaming into more than 300 prisons. This means that tens of thousands of incarcerated men and women can now experience “The Chosen” though Prison Fellowship’s Floodlight platform.

Prison Fellowship

169,819 views • 2 years ago

Happy #IndieAnimationDay! The production of Horizonauts is still going strong, and we are pumped to announce that we are launching a P@TREON!!

Happy #IndieAnimationDay! The production of Horizonauts is still going strong, and we are pumped to announce that we are launching a P@TREON!!

HORIZONAUTS

37,209 views • 1 year ago

Bjarne Stroustrup (Creator of C++) on the costs of abstraction: "It's compiled away. This is why I talk about zero overhead abstraction. And people are beginning to take me to task for that because that's underestimating the ability of the C++ compiler. We can do negative overhead abstraction." Ryan: "What if you're really good at writing assembly and had all the time in the world to write it?" Bjarne: "If you are very smart and you have infinite time, you can do better. By and large, we are not as smart as the optimizers anymore, and we don't have infinite time."

Bjarne Stroustrup (Creator of C++) on the costs of abstraction: "It's compiled away. This is why I talk about zero overhead abstraction. And people are beginning to take me to task for that because that's underestimating the ability of the C++ compiler. We can do negative overhead abstraction." Ryan: "What if you're really good at writing assembly and had all the time in the world to write it?" Bjarne: "If you are very smart and you have infinite time, you can do better. By and large, we are not as smart as the optimizers anymore, and we don't have infinite time."

Ryan Peterman

144,978 views • 2 months ago

SOME NEWS The Nerve is six months old - and growing! Thanks to the incredible support of our growing community of members, we are delighted to announce four major signings as we expand our team of journalists… Link follows…

SOME NEWS The Nerve is six months old - and growing! Thanks to the incredible support of our growing community of members, we are delighted to announce four major signings as we expand our team of journalists… Link follows…

THE NERVE

36,209 views • 2 months ago

I am delighted to announce that Chris Stark will be our head Head of Mission Control for Clean Power by 2030. We are bringing together the brightest and best to deliver our national mission to cut bills and make Britain energy independent. Welcome Chris Stark to the team!

I am delighted to announce that Chris Stark will be our head Head of Mission Control for Clean Power by 2030. We are bringing together the brightest and best to deliver our national mission to cut bills and make Britain energy independent. Welcome Chris Stark to the team!

Ed Miliband

567,888 views • 2 years ago

TypeScript was inspired by a strange ask from the outlook team. Anders Hejlsberg(Anders Hejlsberg) - creator of C#, TypeScript, Turbo Pascal & Delphi - tells us how TypeScript was born: “The world started building larger and larger applications in JavaScript. We saw that externally, but also internally. One of the trigger events was when the outlook team came to see the C# team and asked us whether we would pretty please productize this thing called Script#. And we go, well, what is Script#? It's this cross compiler that allows you to cross compile C# into JavaScript such that you can basically treat JavaScript as an instruction language and run your C# apps in a browser. Why would anyone want to do that? Well, because then you can get a grownup programming language with grownup tooling. You can use Visual Studio, you can have projects. You can do all of these wonderful things that you can't do with JavaScript because JavaScript is just the scripting language with shitty tooling. And we thought, well, perhaps a better approach would be to fix JavaScript. I mean, surely you're not going to be best of breed in the JavaScript ecosystem by telling people to write in a different programming language”

TypeScript was inspired by a strange ask from the outlook team. Anders Hejlsberg(Anders Hejlsberg) - creator of C#, TypeScript, Turbo Pascal & Delphi - tells us how TypeScript was born: “The world started building larger and larger applications in JavaScript. We saw that externally, but also internally. One of the trigger events was when the outlook team came to see the C# team and asked us whether we would pretty please productize this thing called Script#. And we go, well, what is Script#? It's this cross compiler that allows you to cross compile C# into JavaScript such that you can basically treat JavaScript as an instruction language and run your C# apps in a browser. Why would anyone want to do that? Well, because then you can get a grownup programming language with grownup tooling. You can use Visual Studio, you can have projects. You can do all of these wonderful things that you can't do with JavaScript because JavaScript is just the scripting language with shitty tooling. And we thought, well, perhaps a better approach would be to fix JavaScript. I mean, surely you're not going to be best of breed in the JavaScript ecosystem by telling people to write in a different programming language”

The Pragmatic Engineer

116,193 views • 1 month ago

🚀 Exciting News for Startups! 🚀 We are thrilled to announce that applications are now open for the VivaTech Challenge 2025! 👉 Ready to take your startup to the next level? Apply now at: Bring the start, we bring the up! ✨

🚀 Exciting News for Startups! 🚀 We are thrilled to announce that applications are now open for the VivaTech Challenge 2025! 👉 Ready to take your startup to the next level? Apply now at: Bring the start, we bring the up! ✨

Orange

637,587 views • 1 year ago

WFP is doing everything we can to deliver in #Gaza, but the fear of starvation remains high. Without widespread aid access, thousands of more families are going to be pushed to the brink. We need sustained access and support. We need a ceasefire - NOW.

WFP is doing everything we can to deliver in #Gaza, but the fear of starvation remains high. Without widespread aid access, thousands of more families are going to be pushed to the brink. We need sustained access and support. We need a ceasefire - NOW.

World Food Programme

27,696 views • 1 year ago

We are proud to announce that REGIMENT is now officially partnered with ! 🇺🇸 We appreciate the support that Kick has shown to our #Military Service Members & #Veterans, and we look forward to working with them to support the troops! 🫡 #TheREGIMENT | #Phase2

We are proud to announce that REGIMENT is now officially partnered with ! 🇺🇸 We appreciate the support that Kick has shown to our #Military Service Members & #Veterans, and we look forward to working with them to support the troops! 🫡 #TheREGIMENT | #Phase2

REGIMENT

138,824 views • 2 years ago

“We cannot take the easy path and simply give up. We have to choose the right path; to show the world that we can be better together." My remarks from the High-level Meeting to Commemorate the 80th Anniversary of the UN. #BetterTogether

“We cannot take the easy path and simply give up. We have to choose the right path; to show the world that we can be better together." My remarks from the High-level Meeting to Commemorate the 80th Anniversary of the UN. #BetterTogether

Annalena Baerbock

68,478 views • 10 months ago

Thanks to the continued work and persistence of our development team.. we are more than happy to announce a significant discovery! 😄 All Fighters will now be available to use in Bareknuckle Mode. No more restrictions 🩸 #FightNightForever

Thanks to the continued work and persistence of our development team.. we are more than happy to announce a significant discovery! 😄 All Fighters will now be available to use in Bareknuckle Mode. No more restrictions 🩸 #FightNightForever

FIGHT NIGHT FOREVER™

21,290 views • 8 months ago

Plasticity is now available at We are so happy to have seen all of your support during the development of Plasticity, and we are excited to see everything you all do with this new tool! #plasticity3d

Plasticity is now available at We are so happy to have seen all of your support during the development of Plasticity, and we are excited to see everything you all do with this new tool! #plasticity3d

Plasticity

118,514 views • 3 years ago

we built an IDE from scratch because we have a strong feeling that the future of coding is not moving fast enough there is this sense of urgency in the ai boom among us we hope to allow people to create something people want at that speed follow the changelog and more on Ara

we built an IDE from scratch because we have a strong feeling that the future of coding is not moving fast enough there is this sense of urgency in the ai boom among us we hope to allow people to create something people want at that speed follow the changelog and more on Ara

Adi

41,813 views • 1 month ago