正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

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 次观看 • 2 年前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

2 条评论

Usama Ijaz 的头像

Usama Ijaz2 年前

@0xPolygonMiden Whats this?

QED Protocol 的头像

QED Protocol2 年前

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

相关视频

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 次观看 • 10 个月前

Excited to partner with Miden Not just because of what we're building together, but because we believe the future of on-chain finance should be both simple and private 🔐 Privacy isn't a feature. It's the foundation that makes on-chain finance actually usable. With Epoch & Miden, you get privacy on your terms 🤝

Excited to partner with Miden Not just because of what we're building together, but because we believe the future of on-chain finance should be both simple and private 🔐 Privacy isn't a feature. It's the foundation that makes on-chain finance actually usable. With Epoch & Miden, you get privacy on your terms 🤝

EPOCH🦇🔉

37,547 次观看 • 1 个月前

🎙️ Miden cofounder Azeem Khan (azeem) says that the crypto industry is in a “garbage place” because of venture capitalists. “When founders came to them with real ideas for real projects to do real things, they were all turned away. And now things have changed where all of a sudden in the past year, VCs have this virtue signaling going on about like we need projects that are really serious.” #CHAINREACTION

🎙️ Miden cofounder Azeem Khan (azeem) says that the crypto industry is in a “garbage place” because of venture capitalists. “When founders came to them with real ideas for real projects to do real things, they were all turned away. And now things have changed where all of a sudden in the past year, VCs have this virtue signaling going on about like we need projects that are really serious.” #CHAINREACTION

Cointelegraph

63,704 次观看 • 10 天前

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,713 次观看 • 2 年前

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,825 次观看 • 2 个月前

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,749 次观看 • 1 年前

"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 次观看 • 1 年前

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 次观看 • 9 个月前

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 次观看 • 3 年前

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 次观看 • 1 年前

Buttigieg: "The stakes are high, and people from around the country, people from around the world, are watching the state of Michigan right now to see if we have the capability to put together that coalition to win."

Buttigieg: "The stakes are high, and people from around the country, people from around the world, are watching the state of Michigan right now to see if we have the capability to put together that coalition to win."

MeidasClips

15,367 次观看 • 27 天前

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

145,117 次观看 • 3 个月前

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,259 次观看 • 4 个月前

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 次观看 • 3 个月前

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

568,005 次观看 • 2 年前

🚀 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 次观看 • 1 年前

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 次观看 • 1 年前

“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 次观看 • 11 个月前

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,645 次观看 • 3 年前