正在加载视频...

视频加载失败

返回首页

Hearing about PROOF for the first time? Here's a great place to start 👇 PROOF is an incubator for web3 startups. There are several ways to get involved with the PROOF ecosystem — let’s break them down below. 1. Teams launch tokens with PROOF. Over 99% of crypto token...

PROOFplatform's profile picture

PROOF

11,214 subscribers

76,932 次观看 • 1 年前 •via X (Twitter)

科学技术教育财经
LIVE

Anya Rossi• Live Now

Private livecam show

11 条评论

PROOF 的头像
PROOF1 年前

Shoutout to our friends at @nfinityAI for creating this awesome explainer video for us. ❤️

CrispyBull 的头像
CrispyBull1 年前

🛑 Is U.S. regulation driving blockchain developers away? Michael Lewellen challenges the DOJ to protect crypto innovation and free speech. ⚖️ #Blockchain #CryptoNews #DeFi #Innovation

IncomeSharks 的头像
IncomeSharks1 年前

And for people that like visuals, here's $PROOF sitting on support on path to an easy 4x.

LX The Wizard 🧠 的头像
LX The Wizard 🧠1 年前

Love it! $NFNT x $PROOF

BENDR 的头像
BENDR1 年前

Banger collab $NFNT x $PROOF

RTC🪽 的头像
RTC🪽1 年前

$PROOF projects pump!😄

DeFiPawn 的头像
DeFiPawn1 年前

I can recommend PROOF! if you're looking for a solid utility launchpad, no need to search further.

MAMcrypto 的头像
MAMcrypto1 年前

$PROOF is an unorthodox Launchpad👌🏻

FOCUS 的头像
FOCUS1 年前

Love the $NFNT vids

Nicholas Spalding 的头像
Nicholas Spalding1 年前

Proof is above and beyond all projects, the proof pass is so bullish im evening getting it tattooed on me, #nerverselling. The community is world class and the best thing is all projects that are launched on the platform is rug proof so you can ape away $PROOF

John 的头像
John1 年前

Letsgo

相关视频

One of our PROOF Pass members just made the ultimate commitment—they got their pass tattooed on them. FOR LIFE. 🫨🔥 And you know JP was there to capture the moment! 🎥✨ The PROOF Pass isn’t just any NFT—it’s your golden ticket to early access on PROOF launches. With an 8.82 ETH floor, it’s already the most valuable membership NFT in all of crypto. 🚀💎 Want in? Learn more: Shoutout to Nicholas Spalding, forever a chad.
2:04

One of our PROOF Pass members just made the ultimate commitment—they got their pass tattooed on them. FOR LIFE. 🫨🔥 And you know JP was there to capture the moment! 🎥✨ The PROOF Pass isn’t just any NFT—it’s your golden ticket to early access on PROOF launches. With an 8.82 ETH floor, it’s already the most valuable membership NFT in all of crypto. 🚀💎 Want in? Learn more: Shoutout to Nicholas Spalding, forever a chad.

PROOF

13,020 次观看 • 1 年前

3 key takeaways from Sergey Nazarov’s conversation with Tyler Williams, Counselor to the Secretary of Treasury for Digital Assets: 1. Governments must embrace the blockchain opportunity Nations can establish global leadership in digital assets by helping their financial systems become the “highest-quality provider of assets with the most reliable infrastructure and guarantees.” 2. Automated compliance is the future “The world that you want to end up in ... is where all compliance can be completely automated.” 3. Proof of reserves is just the beginning “Proof of reserves is the beginning of a category of proof of things ... proof of liability, proof of solvency, proof of composition, proof of many things.” Watch the full discussion to understand how the Chainlink standard for cross-chain interoperability and verifiable data will transform global finance:
35:31

3 key takeaways from Sergey Nazarov’s conversation with Tyler Williams, Counselor to the Secretary of Treasury for Digital Assets: 1. Governments must embrace the blockchain opportunity Nations can establish global leadership in digital assets by helping their financial systems become the “highest-quality provider of assets with the most reliable infrastructure and guarantees.” 2. Automated compliance is the future “The world that you want to end up in ... is where all compliance can be completely automated.” 3. Proof of reserves is just the beginning “Proof of reserves is the beginning of a category of proof of things ... proof of liability, proof of solvency, proof of composition, proof of many things.” Watch the full discussion to understand how the Chainlink standard for cross-chain interoperability and verifiable data will transform global finance:

Chainlink

41,329 次观看 • 1 年前

x402 is coming to Cardano (and Masumi)! And today I'm happy to share an important milestone in this effort: The first x402 Proof-Of-Concept Memecoin Mint. Head over to to try it out. All you need is 2 USDM and some ADA for transaction fees in your wallet. Please note: This is NOT a real memecoin. It is ONLY a proof-of-concept intended to showcase the technology! There are 0 future plans for this coin.
1:05

x402 is coming to Cardano (and Masumi)! And today I'm happy to share an important milestone in this effort: The first x402 Proof-Of-Concept Memecoin Mint. Head over to to try it out. All you need is 2 USDM and some ADA for transaction fees in your wallet. Please note: This is NOT a real memecoin. It is ONLY a proof-of-concept intended to showcase the technology! There are 0 future plans for this coin.

Patrick Tobler

145,432 次观看 • 11 个月前

VIDEO | Hyderabad: On being asked about the MEA's statement that "a passport is not proof of citizenship," AIMIM chief Asaduddin Owaisi said, "The direction in which the country appears to be heading raises serious concerns. It increasingly seems that, in the coming days, BJP membership could become synonymous with citizenship. That is the impression many people are getting. Look at Section 6(2)(a) of the Passport Act. It states that a passport can only be issued to an Indian citizen. If a person is not a citizen, a passport cannot be granted. So what are people supposed to make of this situation?...We are being told that a birth certificate is not sufficient proof, an Aadhaar card is not sufficient proof, and even a voter ID card is not sufficient proof. Then the obvious question is: what exactly qualifies as proof?...These are the concerns being raised by citizens, and they deserve clear answers."
1:08

VIDEO | Hyderabad: On being asked about the MEA's statement that "a passport is not proof of citizenship," AIMIM chief Asaduddin Owaisi said, "The direction in which the country appears to be heading raises serious concerns. It increasingly seems that, in the coming days, BJP membership could become synonymous with citizenship. That is the impression many people are getting. Look at Section 6(2)(a) of the Passport Act. It states that a passport can only be issued to an Indian citizen. If a person is not a citizen, a passport cannot be granted. So what are people supposed to make of this situation?...We are being told that a birth certificate is not sufficient proof, an Aadhaar card is not sufficient proof, and even a voter ID card is not sufficient proof. Then the obvious question is: what exactly qualifies as proof?...These are the concerns being raised by citizens, and they deserve clear answers."

Press Trust of India

13,506 次观看 • 3 个月前

Vitalik Buterin explains why proof-of-stake is more secure than proof-of-work “I think proof of stake is very secure because to attack the system, you need to have basically as much stake as the rest of the network. Right now, for example, we have 5 million ETH staking, which means you have to come up with 5 million ETH and then join the network.” At the time of this writing, more than 37 million ETH are being staked, with 3 million ETH waiting to join via the validator queue. At today’s prices, that’s more than $80 billion of ETH someone would have to acquire to attack the network and revert finalized blocks, which is more than the cost of attacking even the Bitcoin network by some estimates. The other defense mechanism that proof-of-stake has that proof-of-work doesn’t is slashing, which makes Ethereum antifragile. Vitalik explains: “Recovering from attacks is much easier in proof-of-stake than proof-of-work. For many kinds of attacks you do against [the Ethereum] network, we have this concept of automatic slashing. In order to revert a finalized block, you basically have to have a big portion of your validators sign two conflicting messages. This is something where once these messages are on the network, you can go and prove ‘these people did it.’ So we have this feature in the protocol where you basically take all these people who provably misbehaved and you burn their coins.” Vitalik also acknowledges the possibility of censoring attacks, where if 1/3rd of validators refuse to attest, the chain can’t finalize. But, as he explains, Ethereum has a contingency plan for this as well: “Everyone who got censored would create a minority chain, and the community would have to do a soft fork. The would have to say, ‘this chain is clearly attacking us and this one is not attacking us, so we’re going to join this chain.’ Then what happens is, on that new chain, the attackers also lose a lot of coins. The difference between proof-of-stake and proof-of-work is that in a proof-of-stake system, you can identify specific participants — and this isn’t a human going in and saying ‘I don’t like you’. It’s all automated.” One last benefit of proof-of-stake is that security scales with the value of the network. As Vitalik put it five years ago, it is really relative security, and not absolute security, that matters: “The security needs of a thing have to be proportional to the size of that thing, because as a thing gets bigger, its enemies become bigger and more well-motivated. If BTC were 100x as big as it is today, the value from destroying it would be 100x higher, and the kinds of actors that would want to care about destroying it would be much bigger and scarier. This is also why countries of all sizes have roughly similarly sized militaries as a percentage of GDP. Hence, cost of attack divided by market cap really is the correct statistic to measure, and in the long run issuance-free PoW really does look not that good." Source: Lex Fridman (Jun 2021)
2:04

Vitalik Buterin explains why proof-of-stake is more secure than proof-of-work “I think proof of stake is very secure because to attack the system, you need to have basically as much stake as the rest of the network. Right now, for example, we have 5 million ETH staking, which means you have to come up with 5 million ETH and then join the network.” At the time of this writing, more than 37 million ETH are being staked, with 3 million ETH waiting to join via the validator queue. At today’s prices, that’s more than $80 billion of ETH someone would have to acquire to attack the network and revert finalized blocks, which is more than the cost of attacking even the Bitcoin network by some estimates. The other defense mechanism that proof-of-stake has that proof-of-work doesn’t is slashing, which makes Ethereum antifragile. Vitalik explains: “Recovering from attacks is much easier in proof-of-stake than proof-of-work. For many kinds of attacks you do against [the Ethereum] network, we have this concept of automatic slashing. In order to revert a finalized block, you basically have to have a big portion of your validators sign two conflicting messages. This is something where once these messages are on the network, you can go and prove ‘these people did it.’ So we have this feature in the protocol where you basically take all these people who provably misbehaved and you burn their coins.” Vitalik also acknowledges the possibility of censoring attacks, where if 1/3rd of validators refuse to attest, the chain can’t finalize. But, as he explains, Ethereum has a contingency plan for this as well: “Everyone who got censored would create a minority chain, and the community would have to do a soft fork. The would have to say, ‘this chain is clearly attacking us and this one is not attacking us, so we’re going to join this chain.’ Then what happens is, on that new chain, the attackers also lose a lot of coins. The difference between proof-of-stake and proof-of-work is that in a proof-of-stake system, you can identify specific participants — and this isn’t a human going in and saying ‘I don’t like you’. It’s all automated.” One last benefit of proof-of-stake is that security scales with the value of the network. As Vitalik put it five years ago, it is really relative security, and not absolute security, that matters: “The security needs of a thing have to be proportional to the size of that thing, because as a thing gets bigger, its enemies become bigger and more well-motivated. If BTC were 100x as big as it is today, the value from destroying it would be 100x higher, and the kinds of actors that would want to care about destroying it would be much bigger and scarier. This is also why countries of all sizes have roughly similarly sized militaries as a percentage of GDP. Hence, cost of attack divided by market cap really is the correct statistic to measure, and in the long run issuance-free PoW really does look not that good." Source: Lex Fridman (Jun 2021)

Etherealize

102,150 次观看 • 6 个月前

Why are they using multiple people to play "Joe"? Proof Why are they shooting these photo ops in a studio? Proof Why are the windows digital or painted? Proof What did Trump mean when he said Joe was "shot"? You know it. And I know it. Joe sleeps with no name. Enjoy the rest of public DECLAS. The good part is just ramping up. H/T MJTruthUltra
2:38

Why are they using multiple people to play "Joe"? Proof Why are they shooting these photo ops in a studio? Proof Why are the windows digital or painted? Proof What did Trump mean when he said Joe was "shot"? You know it. And I know it. Joe sleeps with no name. Enjoy the rest of public DECLAS. The good part is just ramping up. H/T MJTruthUltra

Joe Rambo

2,298,027 次观看 • 2 年前

I vibe coded a new product on the side while running Every 🪨—and today we're launching it for free. It's called Proof, and it’s a live collaborative document editor where humans and AI agents work together in the same doc. It’s built from the ground up for the kinds of documents agents are increasingly writing: bug reports, PRDs, implementation plans, research briefs, copy audits, strategy docs, memos, and proposals. It's fast, free, and open source—available now at Why Proof? When everyone on your team is working with agents, there's suddenly a ton of AI-generated text flying around—planning docs, strategy memos, session recaps. But the current process for collaborating and iterating on agent-generated writing is…weirdly primitive. It mostly takes place in Markdown files on your laptop, which makes it reminiscent of document editing in 1999. That’s why we built Proof. What makes Proof different? - Proof is agent-native. Anything you can do in Proof, your agent can do just as easily. - Proof tracks provenance: A colored rail on the left side of every document tracks who wrote what. Green means human, Purple means AI. - Proof is login-free and open source: This is because we want Proof to be your agent's favorite document editor. How we use Proof Every 🪨: - Brandon Gell had OpenAI's Codex write a feature plan in Proof, then tagged my personal Claw (R2-C2) in Slack to review it. R2-C2 left feedback, I added comments, Brandon's agent revised the plan, and then Codex executed on it. Brandon submitted a PR to production without writing a line of code. - Austin Tedesco texts his Claw ideas while he's out on a run, then has it maintain a running Proof doc for his weekly food newsletter. He dictates drafts using Naveen Naidu's Monologue, writes into the outline himself, and uses the provenance gutter to track what's his voice vs. the agent's. - Kieran Klaassen uses it as a lightweight scratchpad for his compound engineering workflow. He brainstorms with an agent in the terminal, shares to Proof with one click, then opens the doc to leave comments and tells the agent to go work on them. His take: Proof's job is to communicate about writing and ideas. Proof is free, open source, and requires no login. I built the whole thing by vibe coding between meetings. I sat down with Brandon, Kieran, and Austin on Every 🪨's AI & I to demo it live and talk about how it's changing the way we work. If you're building with agents and need a better way to collaborate on text, this one's for you. Watch below! Timestamps Introduction and the origin story of Proof: 00:02:00 From Mac app to collaborative web editor: 00:07:24 What makes Proof "agent native": 00:09:00 Live demo—watching an agent join and write inside a shared document: 00:14:30 How Austin uses Proof for creative writing and food journalism: 00:20:51 The challenge of multiple agents editing one document simultaneously: 00:24:30 When AI-written docs are better read by agents than by humans: 00:26:48 Brandon's agent-to-agent collaboration loop: 00:29:30 Proof as a lightweight scratchpad versus existing tools like Notion and GitHub: 00:37:09 Why Proof is open source and what that means for builders: 00:42:18
44:37

I vibe coded a new product on the side while running Every 🪨—and today we're launching it for free. It's called Proof, and it’s a live collaborative document editor where humans and AI agents work together in the same doc. It’s built from the ground up for the kinds of documents agents are increasingly writing: bug reports, PRDs, implementation plans, research briefs, copy audits, strategy docs, memos, and proposals. It's fast, free, and open source—available now at Why Proof? When everyone on your team is working with agents, there's suddenly a ton of AI-generated text flying around—planning docs, strategy memos, session recaps. But the current process for collaborating and iterating on agent-generated writing is…weirdly primitive. It mostly takes place in Markdown files on your laptop, which makes it reminiscent of document editing in 1999. That’s why we built Proof. What makes Proof different? - Proof is agent-native. Anything you can do in Proof, your agent can do just as easily. - Proof tracks provenance: A colored rail on the left side of every document tracks who wrote what. Green means human, Purple means AI. - Proof is login-free and open source: This is because we want Proof to be your agent's favorite document editor. How we use Proof Every 🪨: - Brandon Gell had OpenAI's Codex write a feature plan in Proof, then tagged my personal Claw (R2-C2) in Slack to review it. R2-C2 left feedback, I added comments, Brandon's agent revised the plan, and then Codex executed on it. Brandon submitted a PR to production without writing a line of code. - Austin Tedesco texts his Claw ideas while he's out on a run, then has it maintain a running Proof doc for his weekly food newsletter. He dictates drafts using Naveen Naidu's Monologue, writes into the outline himself, and uses the provenance gutter to track what's his voice vs. the agent's. - Kieran Klaassen uses it as a lightweight scratchpad for his compound engineering workflow. He brainstorms with an agent in the terminal, shares to Proof with one click, then opens the doc to leave comments and tells the agent to go work on them. His take: Proof's job is to communicate about writing and ideas. Proof is free, open source, and requires no login. I built the whole thing by vibe coding between meetings. I sat down with Brandon, Kieran, and Austin on Every 🪨's AI & I to demo it live and talk about how it's changing the way we work. If you're building with agents and need a better way to collaborate on text, this one's for you. Watch below! Timestamps Introduction and the origin story of Proof: 00:02:00 From Mac app to collaborative web editor: 00:07:24 What makes Proof "agent native": 00:09:00 Live demo—watching an agent join and write inside a shared document: 00:14:30 How Austin uses Proof for creative writing and food journalism: 00:20:51 The challenge of multiple agents editing one document simultaneously: 00:24:30 When AI-written docs are better read by agents than by humans: 00:26:48 Brandon's agent-to-agent collaboration loop: 00:29:30 Proof as a lightweight scratchpad versus existing tools like Notion and GitHub: 00:37:09 Why Proof is open source and what that means for builders: 00:42:18

Dan Shipper 📧

33,092 次观看 • 6 个月前

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: And see the complete proof on GitHub:
0:34

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: And see the complete proof on GitHub:

Anthropic

4,736,138 次观看 • 21 天前

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":
1:44

Enough of the fluff. Time for some real advice. Launch your GPT 5.6 Sol Pro. Use the following prompt (feel free to swap the second and third lines for something of your choice): Prove for me that the group of rational points on the elliptic curve (y^2=x^3+17) is finitely generated. I want to tailor the general proof to this particular case to narrow down my understanding to a particular case. Write down a full mathematical proof, step by step, in Leslie Lamport style. Unpack all the definitions and notions so that it is fully self-contained. An example here: Notice how Sol is spawning all the subagents to complete the task. What is "Leslie Lamport style"? It's a technique where you split your proof into short, one-line sentences (claims) that are easy to justify. In a situation where your proof is not a 1-to-1 translation of, e.g., Python code, the Leslie Lamport-style proof can be treated as such. It tremendously improves the possibility of verifying each claim and helps the model structure the arguments in a very clear way. Leslie Lamport, a legendary mathematician and computer scientist, was a promoter of this way of structuring proofs. Partly because of that, he created an extension of Donald Knuth’s typesetting system TeX called LaTeX. Here you can read about "Leslie Lamport-style proofs":

Bartosz Naskręcki

31,115 次观看 • 2 个月前

This is one of the most insidious and destructive tenets of critical race theory—the teaching that if you, as a white person, have ANY type of reaction to CRT dogma, other than full-throated acceptance, that is yet further PROOF of your racism. If you say “I’m not racist,” it’s proof of racism. If you get upset or defensive, it’s proof of racism. If you push back in any way or—God forbid—shun the Church of CRT, it’s proof of racism. It goes without saying, but ideology like that 👆leaves no room for free speech, no room for discourse, no room for finding a workable solution that incorporates all Americans, no room for experiences or voices of anyone who’s not black. It ONLY serves to divide us further, because it deals with perceived racism by inflicting…additional racism. But of course, that’s precisely the point: As Kendi states in his trash HOW TO BE AN ANTI-RACIST, “The only remedy to past discrimination is present discrimination. The only remedy to present discrimination is future discrimination.” Anyone with a brain and a soul can see that 👆is a recipe for CONTINUOUS and NEVER-ENDING discrimination. But my guess is that’s precisely the point.
2:53

This is one of the most insidious and destructive tenets of critical race theory—the teaching that if you, as a white person, have ANY type of reaction to CRT dogma, other than full-throated acceptance, that is yet further PROOF of your racism. If you say “I’m not racist,” it’s proof of racism. If you get upset or defensive, it’s proof of racism. If you push back in any way or—God forbid—shun the Church of CRT, it’s proof of racism. It goes without saying, but ideology like that 👆leaves no room for free speech, no room for discourse, no room for finding a workable solution that incorporates all Americans, no room for experiences or voices of anyone who’s not black. It ONLY serves to divide us further, because it deals with perceived racism by inflicting…additional racism. But of course, that’s precisely the point: As Kendi states in his trash HOW TO BE AN ANTI-RACIST, “The only remedy to past discrimination is present discrimination. The only remedy to present discrimination is future discrimination.” Anyone with a brain and a soul can see that 👆is a recipe for CONTINUOUS and NEVER-ENDING discrimination. But my guess is that’s precisely the point.

Natalie Jean Beisner

491,090 次观看 • 3 年前

Are you and your family planning to immigrate to Canada with minor children? Each province and territory is responsible for its education system in Canada. To prepare your minor child to study in Canada, you must apply for a study permit on their behalf. When you enroll your child in school, you will also need to provide the following documents as well as a contact in case of emergency: ✅ birth certificate ✅ proof of guardianship or custody ✅ proof of residency ✅ record of vaccinations Contact your local school board to get more information and enroll your child. You can also learn more about how to prepare your child to study in Canada on our website:
3:14

Are you and your family planning to immigrate to Canada with minor children? Each province and territory is responsible for its education system in Canada. To prepare your minor child to study in Canada, you must apply for a study permit on their behalf. When you enroll your child in school, you will also need to provide the following documents as well as a contact in case of emergency: ✅ birth certificate ✅ proof of guardianship or custody ✅ proof of residency ✅ record of vaccinations Contact your local school board to get more information and enroll your child. You can also learn more about how to prepare your child to study in Canada on our website:

IRCC

35,052 次观看 • 1 年前

The future of cycling starts here, and it rides on-chain. We’re proud to partner with Bike-Room and support them in launching a new standard for the cycling world, built on authenticity, transparency, and real-world innovation powered by blockchain. Each bike in the limited World Tour drop will come equipped with our advanced smart tag, unlocking a Digital Product Passport powered and tokenized on VeChain, the leading layer-1 for real-world assets. These bikes are now verifiable, tamper-proof, and visible on World Of V | Green NFT Marketplace, with certified specs, ownership history, and digital proof of provenance, all accessible with a simple tap. Congrats to the BikeRoom team for your vision, your trust, and your commitment to pushing the industry forward. This is just the beginning. Let’s make cycling safer, smarter, and future-proof. One bike at a time. 🔗 Read the full article:
0:36

The future of cycling starts here, and it rides on-chain. We’re proud to partner with Bike-Room and support them in launching a new standard for the cycling world, built on authenticity, transparency, and real-world innovation powered by blockchain. Each bike in the limited World Tour drop will come equipped with our advanced smart tag, unlocking a Digital Product Passport powered and tokenized on VeChain, the leading layer-1 for real-world assets. These bikes are now verifiable, tamper-proof, and visible on World Of V | Green NFT Marketplace, with certified specs, ownership history, and digital proof of provenance, all accessible with a simple tap. Congrats to the BikeRoom team for your vision, your trust, and your commitment to pushing the industry forward. This is just the beginning. Let’s make cycling safer, smarter, and future-proof. One bike at a time. 🔗 Read the full article:

Authentica

53,876 次观看 • 1 年前

THE INNOVATION GAME ($TIG) SURGES 100% IN 7 DAYS The Innovation Game (𝔦, 𝔦) ($TIG), a Base ecosystem token built around decentralized algorithmic research, is up roughly 101% over the past 7 days, making it one of the top performers in the Base Ecosystem and Proof of Work categories. TIG runs as a network for "algorithmic breakthroughs," using proof-of-work to incentivize open contributions across AI, cryptography, biomedical research, and climate science. The project formed a Swiss Association in Zug last year to safeguard high-value IP from global researchers and now sits at roughly $39M market cap with over 20,000 holders.
0:22

THE INNOVATION GAME ($TIG) SURGES 100% IN 7 DAYS The Innovation Game (𝔦, 𝔦) ($TIG), a Base ecosystem token built around decentralized algorithmic research, is up roughly 101% over the past 7 days, making it one of the top performers in the Base Ecosystem and Proof of Work categories. TIG runs as a network for "algorithmic breakthroughs," using proof-of-work to incentivize open contributions across AI, cryptography, biomedical research, and climate science. The project formed a Swiss Association in Zug last year to safeguard high-value IP from global researchers and now sits at roughly $39M market cap with over 20,000 holders.

BSCN

10,453 次观看 • 5 个月前

Season 1 of Surge's Ignition Race is LIVE. Here's exactly how it works and how you can win your share of $250,000. Join 300+ other founders by creating a Hub profile on Surge. Connect your projects socials, GitHub commits, revenue, analytics and any real proof of work which can be verified on-chain. Your startup's progress is the application form. Start building in public and the community will allocate Ignitions (scarce attention tokens) to the projects they believe in. Your Ignition count is your rank. No backdoor deals. No insiders. The top 5 most ignited projects get up to $250K in USD funding + full launch support (token launch curation, KOL amplification, VC intros, tokenomics advisory, and 1:1 mentorship). Stop waiting in line. Start building with Surge. Our community will fund you. 👉
0:45

Season 1 of Surge's Ignition Race is LIVE. Here's exactly how it works and how you can win your share of $250,000. Join 300+ other founders by creating a Hub profile on Surge. Connect your projects socials, GitHub commits, revenue, analytics and any real proof of work which can be verified on-chain. Your startup's progress is the application form. Start building in public and the community will allocate Ignitions (scarce attention tokens) to the projects they believe in. Your Ignition count is your rank. No backdoor deals. No insiders. The top 5 most ignited projects get up to $250K in USD funding + full launch support (token launch curation, KOL amplification, VC intros, tokenomics advisory, and 1:1 mentorship). Stop waiting in line. Start building with Surge. Our community will fund you. 👉

Surge

19,032 次观看 • 5 个月前

We have a soft spot for hosting unforgettable dinners. Moments where the most experienced and respected leaders in Web3 can connect and discuss new ideas in an enjoyable setting. So it happened again. A 150-seat dinner that naturally unfolded into a 200-person networking evening, carried by the energy of Bushra by Buddha Bar. Fire, shows, Lebanese cuisine and an atmosphere that felt made for Abu Dhabi. It was a true pleasure to bring Proof of Unity (Proof of Talk) x Oceanic Nights (Kraken ) to life together with Kraken , Rhuna and Bitlayer . Thank you for joining us. We loved welcoming you. And this was only the beginning. We can’t wait to tell you more about Proof of Talk 2026.
0:38

We have a soft spot for hosting unforgettable dinners. Moments where the most experienced and respected leaders in Web3 can connect and discuss new ideas in an enjoyable setting. So it happened again. A 150-seat dinner that naturally unfolded into a 200-person networking evening, carried by the energy of Bushra by Buddha Bar. Fire, shows, Lebanese cuisine and an atmosphere that felt made for Abu Dhabi. It was a true pleasure to bring Proof of Unity (Proof of Talk) x Oceanic Nights (Kraken ) to life together with Kraken , Rhuna and Bitlayer . Thank you for joining us. We loved welcoming you. And this was only the beginning. We can’t wait to tell you more about Proof of Talk 2026.

Proof of Talk

20,972 次观看 • 9 个月前

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
3:17

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

13,324 次观看 • 2 个月前

.Aligned Proof Aggregation Service is now live on Ethereum Mainnet (alpha release). from now on, our Rollup as a Service clients will pay a lot less for L1 settlement. demo below: watch a zk proof from Succinct SP1 get aggregated through our system. why this matters: in a future with hundreds or thousands of rollups settling on Ethereum, proof verification becomes a major cost. services that allow rollups to reduce their operational costs through aggregation are essential for that future to work. current support: - SP1 from Succinct: live now - ethrex L2: integrated - ziskvm: integration in progress - our zkVM: coming soon links to verify the txs below.
2:08

.Aligned Proof Aggregation Service is now live on Ethereum Mainnet (alpha release). from now on, our Rollup as a Service clients will pay a lot less for L1 settlement. demo below: watch a zk proof from Succinct SP1 get aggregated through our system. why this matters: in a future with hundreds or thousands of rollups settling on Ethereum, proof verification becomes a major cost. services that allow rollups to reduce their operational costs through aggregation are essential for that future to work. current support: - SP1 from Succinct: live now - ethrex L2: integrated - ziskvm: integration in progress - our zkVM: coming soon links to verify the txs below.

RJ 🟩

23,823 次观看 • 8 个月前

Leaked audio of bags team colluding with hacked mango markets account about a token launch. In this video you can hear bagsapp team members recommending using their reflink to launch so bags team gets more fees, supply control, buying 80% of token supply and even promising the team 50k in grants for launching with them. This is further proof bagsapp is not about protecting the community only profit for themselves at the expense of the community.
0:55

Leaked audio of bags team colluding with hacked mango markets account about a token launch. In this video you can hear bagsapp team members recommending using their reflink to launch so bags team gets more fees, supply control, buying 80% of token supply and even promising the team 50k in grants for launching with them. This is further proof bagsapp is not about protecting the community only profit for themselves at the expense of the community.

scooter

35,530 次观看 • 8 个月前

The Americas alone are COVERED with proof that an ancient civilization once resided on Earth, which was far technologically-superior to ours. There is simply no other explanation after considering the plethora of evidence that's visibly right in front of us. The only question now is...what do we do with this information? We must start with coming to terms with the fact that ALL of our history textbooks are lies. Throw everything you thought you knew about our past out the window, open your mind, and never look back. We have the greatest puzzle of all time right in front of us, and it's going to take a team effort to solve 🧩🤔 [🎥yt: archivist]
37:38

The Americas alone are COVERED with proof that an ancient civilization once resided on Earth, which was far technologically-superior to ours. There is simply no other explanation after considering the plethora of evidence that's visibly right in front of us. The only question now is...what do we do with this information? We must start with coming to terms with the fact that ALL of our history textbooks are lies. Throw everything you thought you knew about our past out the window, open your mind, and never look back. We have the greatest puzzle of all time right in front of us, and it's going to take a team effort to solve 🧩🤔 [🎥yt: archivist]

₿en Wehrman

46,363 次观看 • 2 个月前

Quentin Tarantino says Death Proof (2007) is “the worst movie I ever made.” "And for a left-handed movie, that wasn't so bad, all right? So if that's the worst I ever get, I'm good.” “But I do think one of those out-of-touch, old, limp, flaccid-d*ck movies costs you three good movies as far as your rating is concerned." He got the idea for “Death Proof” during a drunken night with Sean Penn. He wanted to buy a Volvo because he “didn’t want to die in some auto accident”. Penn said that for $15,000, a stunt team could “death-proof” any car.
0:23

Quentin Tarantino says Death Proof (2007) is “the worst movie I ever made.” "And for a left-handed movie, that wasn't so bad, all right? So if that's the worst I ever get, I'm good.” “But I do think one of those out-of-touch, old, limp, flaccid-d*ck movies costs you three good movies as far as your rating is concerned." He got the idea for “Death Proof” during a drunken night with Sean Penn. He wanted to buy a Volvo because he “didn’t want to die in some auto accident”. Penn said that for $15,000, a stunt team could “death-proof” any car.

Emir Han

1,115,396 次观看 • 3 个月前