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.

.mert: "All of crypto needs to start doing formal verification, simpler arithmetic, and open source. That's fundamentally how we get out of this." Project Tachyon is built for exactly that: it's provably sound, quantum proof, and is coming by end of year.

Cypherpunk ($CYPH)

15,282 subscribers

15,058 views • 2 months ago •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

.mert on what's coming to Zcash after Ironwood “The biggest one in the works: block times are currently 75 seconds, and we're going to get that down to 20 —over a 3x improvement in performance” “People might've missed there's actually a new node client for Zcash. In Solana, the ETH guys used to talk about ‘Solana only has one client.’ Zcash now already has client diversity — no single point of failure in the node software” “Tachyon will introduce a new shielded pool with a much simplified ZK circuit — formally verified, of course — and that reduces the magnitude of risk another order of magnitude” “Ironwood is quantum recoverable, meaning you can recover from a quantum attack. Tachyon will be quantum proof, meaning it cannot be quantum attacked at all” “Performance, quantum proofing, formal verification, auditability — all these different things coming before the end of the year”

.mert on what's coming to Zcash after Ironwood “The biggest one in the works: block times are currently 75 seconds, and we're going to get that down to 20 —over a 3x improvement in performance” “People might've missed there's actually a new node client for Zcash. In Solana, the ETH guys used to talk about ‘Solana only has one client.’ Zcash now already has client diversity — no single point of failure in the node software” “Tachyon will introduce a new shielded pool with a much simplified ZK circuit — formally verified, of course — and that reduces the magnitude of risk another order of magnitude” “Ironwood is quantum recoverable, meaning you can recover from a quantum attack. Tachyon will be quantum proof, meaning it cannot be quantum attacked at all” “Performance, quantum proofing, formal verification, auditability — all these different things coming before the end of the year”

Will McEvoy

21,500 views • 12 days ago

.mert on Zcash's future: "The next upgrade is a formally verified, quantum-proof and more scalable shielded pool in Tachyon. One of the most bullish possible network upgrades I've seen in the history of crypto." Zcash is unstoppable private money.

.mert on Zcash's future: "The next upgrade is a formally verified, quantum-proof and more scalable shielded pool in Tachyon. One of the most bullish possible network upgrades I've seen in the history of crypto." Zcash is unstoppable private money.

Will McEvoy

73,931 views • 2 months ago

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

11,616 views • 13 days ago

THE CLARITY ACT IS THE ROADMAP EVERYONE IS WAITING ON "Everyone needs the clarity of the Clarity Act. Once you get it, it's the green light. They're all waiting for what exactly is. Which things are securities, which are not, how does it all work?" Raoul Pal explains that the CLARITY Act is the green light that banks and TradFi are waiting for to jump into crypto. Once the Clarity Act is passed, all of the banks will start building out their crypto rails for everything.

THE CLARITY ACT IS THE ROADMAP EVERYONE IS WAITING ON "Everyone needs the clarity of the Clarity Act. Once you get it, it's the green light. They're all waiting for what exactly is. Which things are securities, which are not, how does it all work?" Raoul Pal explains that the CLARITY Act is the green light that banks and TradFi are waiting for to jump into crypto. Once the Clarity Act is passed, all of the banks will start building out their crypto rails for everything.

CryptosRus

63,920 views • 7 months ago

Inferact cofounder Simon Mo: “I fundamentally believe that open source, especially how vLLM itself is structured, is critical to the AI infrastructure in the world. And what we want to do with Inferact is to support, maintain, steward and push forward the open source ecosystem.” “Open source moves so fast that the only way to stay ahead is adopting... And in fact this is exactly why we're staying all in on open source.” Simon Mo

Inferact cofounder Simon Mo: “I fundamentally believe that open source, especially how vLLM itself is structured, is critical to the AI infrastructure in the world. And what we want to do with Inferact is to support, maintain, steward and push forward the open source ecosystem.” “Open source moves so fast that the only way to stay ahead is adopting... And in fact this is exactly why we're staying all in on open source.” Simon Mo

a16z

29,383 views • 6 months ago

Washington is out of control! Both sides are entrenched, and Americans are hurting as a result. It needs to end. Good exchange with my colleague on how we get OUT of this shutdown and fix our broken health insurance system to deliver care that's affordable for families.

Washington is out of control! Both sides are entrenched, and Americans are hurting as a result. It needs to end. Good exchange with my colleague on how we get OUT of this shutdown and fix our broken health insurance system to deliver care that's affordable for families.

U.S. Senator Bill Cassidy, M.D.

47,863 views • 9 months ago

This is genuinely one of the greatest works of art of all time. Whoever made this had a profound knowledge of this world and how it's been taken over and subverted. From start to end, it hits you in the gut as objective truth. We all know something is wrong, but no video summarizes everything that's wrong so perfectly and accurately.

This is genuinely one of the greatest works of art of all time. Whoever made this had a profound knowledge of this world and how it's been taken over and subverted. From start to end, it hits you in the gut as objective truth. We all know something is wrong, but no video summarizes everything that's wrong so perfectly and accurately.

Inversionism

290,003 views • 3 years ago

Bitget is bridging crypto and traditional finance with a new suite of industry-leading products built to make trading simpler, faster, and more accessible. Tune in to our CEO’s Mid-Year Speech and discover how Bitget UEX is reshaping the future of trading.

Bitget is bridging crypto and traditional finance with a new suite of industry-leading products built to make trading simpler, faster, and more accessible. Tune in to our CEO’s Mid-Year Speech and discover how Bitget UEX is reshaping the future of trading.

Bitget

21,708,076 views • 1 month ago

ELON: TESLA OPTIMUS ROBOTS MAY GO PUBLIC BY THE END OF NEXT YEAR "Humanoid robotics will advance very quickly. We have some of the Tesla Optimus robots doing simple tasks in the factory. At the end of this year, I think they'll be doing more complex tasks. It's still deployed in an industrial environment. I'd say by the end of next year, we'd be selling humanoid robots to the public. That's when we are confident that it's a very high liability, safety, and the range of functionality is also very high." Source: Elon Musk, Tesla

ELON: TESLA OPTIMUS ROBOTS MAY GO PUBLIC BY THE END OF NEXT YEAR "Humanoid robotics will advance very quickly. We have some of the Tesla Optimus robots doing simple tasks in the factory. At the end of this year, I think they'll be doing more complex tasks. It's still deployed in an industrial environment. I'd say by the end of next year, we'd be selling humanoid robots to the public. That's when we are confident that it's a very high liability, safety, and the range of functionality is also very high." Source: Elon Musk, Tesla

Mario Nawfal

32,256 views • 6 months ago

Elon Musk: Tesla will probably start selling Optimus robots to the public by the end of next year. “Humanoid robotics will advance very quickly, I think. We do have some of the Tesla Optimus robots doing simple tasks in the factory. By the end of this year I think they'll be doing more complex tasks, but still deployed in an industrial environment. And probably by the end of next year we'd be selling humanoid robots to the public. That's when we are confident that it's very high reliability, very high safety, and the range of functionality is also very high. You can basically ask it to do anything you'd like.” Source: Interview at WEF, January 22, 2026

Elon Musk: Tesla will probably start selling Optimus robots to the public by the end of next year. “Humanoid robotics will advance very quickly, I think. We do have some of the Tesla Optimus robots doing simple tasks in the factory. By the end of this year I think they'll be doing more complex tasks, but still deployed in an industrial environment. And probably by the end of next year we'd be selling humanoid robots to the public. That's when we are confident that it's very high reliability, very high safety, and the range of functionality is also very high. You can basically ask it to do anything you'd like.” Source: Interview at WEF, January 22, 2026

ELON CLIPS

19,937 views • 4 months ago

Binance Learning Lab landed in Baku last Saturday! 🇦🇿 We welcomed crypto freshmen and explored the world of Binance together. By the end of the event, they discovered exactly - where and how to start their crypto journey with Binance!

Binance Learning Lab landed in Baku last Saturday! 🇦🇿 We welcomed crypto freshmen and explored the world of Binance together. By the end of the event, they discovered exactly - where and how to start their crypto journey with Binance!

Binance

110,151 views • 11 months ago

🇪🇹 #Ethiopia: #GERD inauguration 💧 🗣️ "It's a great source of pride to be here and be able to conclude a project that's incredibly important for the country. We've built almost all of Ethiopia's electrical power: this reality today is a project that will trace the future of a country" CEO Pietro Salini. Read more 👉 #Webuild #GrandEthiopianRenaissanceDam #CleanHydroEnergy #Hydro #Africa

🇪🇹 #Ethiopia: #GERD inauguration 💧 🗣️ "It's a great source of pride to be here and be able to conclude a project that's incredibly important for the country. We've built almost all of Ethiopia's electrical power: this reality today is a project that will trace the future of a country" CEO Pietro Salini. Read more 👉 #Webuild #GrandEthiopianRenaissanceDam #CleanHydroEnergy #Hydro #Africa

Webuild

10,113 views • 11 months ago

Elon Musk: I don't need a source of strength. If something's important, we should keep doing it or die trying. Lex Fridman: “Where do you go to both personally, intellectually, as an engineer, as a team, for source of strength needed to persevere through this and to keep going with the project, take it to completion?” Elon: “That's really not how I think about things. I mean, for me it's simply, this is something that is important to get done and we should just keep doing it or die trying. I don't need a source of strength. Quitting is not in my nature. And I don't care about optimism or pessimism. Fuck that. We're going to get it done.” Interview with Lex Fridman, December 28, 2021

Elon Musk: I don't need a source of strength. If something's important, we should keep doing it or die trying. Lex Fridman: “Where do you go to both personally, intellectually, as an engineer, as a team, for source of strength needed to persevere through this and to keep going with the project, take it to completion?” Elon: “That's really not how I think about things. I mean, for me it's simply, this is something that is important to get done and we should just keep doing it or die trying. I don't need a source of strength. Quitting is not in my nature. And I don't care about optimism or pessimism. Fuck that. We're going to get it done.” Interview with Lex Fridman, December 28, 2021

ELON CLIPS

22,510 views • 1 year ago

🇺🇸 LARA TRUMP ON NARCOS: “TIME TO START TAKING OUT THE BAD GUYS" “Yeah, it's about time that we start taking out the bad guys. It's about time we start doing the right thing for the American people. We're talking about the illicit drugs coming into the United States of America. We know that fentanyl kills around 100,000 Americans a year. When Trump came into office, he gave us the most secure border in American history… Now he's saying, all right, we're going to get them out the other way, which is they're coming in by sea. They are calling the drug cartels the ISIS of the Western Hemisphere. That is exactly what they are.” Source: Fox News, Lara Trump

🇺🇸 LARA TRUMP ON NARCOS: “TIME TO START TAKING OUT THE BAD GUYS" “Yeah, it's about time that we start taking out the bad guys. It's about time we start doing the right thing for the American people. We're talking about the illicit drugs coming into the United States of America. We know that fentanyl kills around 100,000 Americans a year. When Trump came into office, he gave us the most secure border in American history… Now he's saying, all right, we're going to get them out the other way, which is they're coming in by sea. They are calling the drug cartels the ISIS of the Western Hemisphere. That is exactly what they are.” Source: Fox News, Lara Trump

Mario Nawfal

69,936 views • 9 months ago

Evelyn Rae: "All we're doing by not having babies in Western nations is ensuring our demise—the end of our nation and the end of our people... It's suicidal ideology, and it's being pushed by our very own money that we pay to our ridiculous government."

Evelyn Rae: "All we're doing by not having babies in Western nations is ensuring our demise—the end of our nation and the end of our people... It's suicidal ideology, and it's being pushed by our very own money that we pay to our ridiculous government."

Caldron Pool

41,073 views • 10 months ago

BREAKING: 🇺🇸 Tom Lee says leverage is wiped out from crypto, Bitcoin & ETH open interest is at historic lows and “ we gonna see a crypto rally into the end of the year ” This guy holds $12.7B in $ETH for a reason

BREAKING: 🇺🇸 Tom Lee says leverage is wiped out from crypto, Bitcoin & ETH open interest is at historic lows and “ we gonna see a crypto rally into the end of the year ” This guy holds $12.7B in $ETH for a reason

Ash Crypto

838,202 views • 9 months ago

Google just launched a quantum chip that puts supercomputers to shame. The fear that just knocked nearly $1 Trillion out of the market is that this could be the end of Bitcoin and all seed phrases for that matter. Should we be worried? 👇

Google just launched a quantum chip that puts supercomputers to shame. The fear that just knocked nearly $1 Trillion out of the market is that this could be the end of Bitcoin and all seed phrases for that matter. Should we be worried? 👇

Chris ☕️

17,178 views • 1 year ago

Sad to say that there is no expenditure being made by the State Government of #Odisha for the people of this state and for their development. Time and again this has been brought to the attention of #Odisha Government by Biju Janata Dal that there must be some expenditure for the development of the people of the state, but they seem to be totally neglectful about this. Everyone is suffering. It's not exclusive to any people, it is everyone that is suffering. It's like they're playing on empty vessels, and we all know that empty vessels make a good sound, and that's what they're satisfied by. #BJDWithOdisha

Sad to say that there is no expenditure being made by the State Government of #Odisha for the people of this state and for their development. Time and again this has been brought to the attention of #Odisha Government by Biju Janata Dal that there must be some expenditure for the development of the people of the state, but they seem to be totally neglectful about this. Everyone is suffering. It's not exclusive to any people, it is everyone that is suffering. It's like they're playing on empty vessels, and we all know that empty vessels make a good sound, and that's what they're satisfied by. #BJDWithOdisha

Naveen Patnaik

29,681 views • 8 months ago

BOND SETTLEMENT IS COMING TO XRPL 🔥 Brad Garlinghouse: "it's only a MATTER OF TIME before it all moves ONCHAIN and XRPL is BUILT for exactly that" the system is slow, arcane, and broken the replacement is already live 👀 $XRP

BOND SETTLEMENT IS COMING TO XRPL 🔥 Brad Garlinghouse: "it's only a MATTER OF TIME before it all moves ONCHAIN and XRPL is BUILT for exactly that" the system is slow, arcane, and broken the replacement is already live 👀 $XRP

𝗕𝗮𝗻𝗸XRP

34,359 views • 2 months ago