Video yükleniyor...

Video Yüklenemedi

Ana Sayfaya Dön

A confirmed transaction cannot make an altered proof valid. Watch DNA Protocol’s zkProof change one value in a temporary proof copy, then run the same Groth16 verifier with unchanged public inputs and verification key. The modified proof is rejected. Its package no longer matches the commitment anchored on the...

DNAOnChain's profile picture

DNA Protocol

19,107 subscribers

50,293 görüntüleme • 17 gün önce •via X (Twitter)

LIVE

Anya Rossi• Live Now

Private livecam show

4 Yorum

Jimmy.base.eth 🟦 profil fotoğrafı
Jimmy.base.eth 🟦17 gün önce

Historical move for XRP

Splashdownish profil fotoğrafı
Splashdownish17 gün önce

At the forefront of the new world and most people have 0 clue what’s about to happen

RA profil fotoğrafı
RA17 gün önce

That’s pretty cool 🍻

Beanzy93 profil fotoğrafı
Beanzy9315 gün önce

Once I finally understood what zk proofs were I bought in feels good to be early on something that will change everything

Benzer Videolar

The zkProof speaks. Watch DNA Protocol’s zkProof verify a Groth16 zero-knowledge proof and match its commitment to a validated XRPL transaction. Paste the hash. Verify the proof. Check the match. The ledger records it. The mathematics backs it. Powered by $XDNA:
0:53

The zkProof speaks. Watch DNA Protocol’s zkProof verify a Groth16 zero-knowledge proof and match its commitment to a validated XRPL transaction. Paste the hash. Verify the proof. Check the match. The ledger records it. The mathematics backs it. Powered by $XDNA:

DNA Protocol

141,843 görüntüleme • 23 gün önce

A confirmed transaction is not a verified ZK proof. DNA Protocol keeps them separate by design: the ledger record is checked on its own, the proof is checked on its own, and neither is mistaken for the other. Powered by $XDNA:
0:20

A confirmed transaction is not a verified ZK proof. DNA Protocol keeps them separate by design: the ledger record is checked on its own, the proof is checked on its own, and neither is mistaken for the other. Powered by $XDNA:

DNA Protocol

59,571 görüntüleme • 28 gün önce

Now 10 years old, Groth16 is still one of the most widely used ZK proof systems today So in Session 10 of Proof is in the Pudding, David Wong works backward from Groth16’s famously compact verifier equation to explain why the protocol is structured the way it is ⌛️TIMESTAMPS 00:00 Intro 02:10 Why Groth16 Is Still Used 04:10 Downsides of Groth16 06:00 R1CS Recap 11:30 From R1CS to Polynomial Identities 14:00 Vanishing Polynomials 17:32 Schwartz-Zippel Lemma 22:45 Why Groth16 Needs Pairings 28:10 The Initial Verification Check 29:45 Witness Consistency and Random Linear Combinations 34:39 Encoding the Circuit in the CRS 36:19 Constructing the C Proof Element 37:53 The CRS as Lego Pieces and Separating Factors 43:16 Enforcing the Quotient Polynomial 48:14 Merging the Verification Checks 54:04 Deriving the Final Groth16 Equation 58:44 Enforcing Public Inputs Proof is in the Pudding is produced in collaboration with zkSecurity
1:01:00

Now 10 years old, Groth16 is still one of the most widely used ZK proof systems today So in Session 10 of Proof is in the Pudding, David Wong works backward from Groth16’s famously compact verifier equation to explain why the protocol is structured the way it is ⌛️TIMESTAMPS 00:00 Intro 02:10 Why Groth16 Is Still Used 04:10 Downsides of Groth16 06:00 R1CS Recap 11:30 From R1CS to Polynomial Identities 14:00 Vanishing Polynomials 17:32 Schwartz-Zippel Lemma 22:45 Why Groth16 Needs Pairings 28:10 The Initial Verification Check 29:45 Witness Consistency and Random Linear Combinations 34:39 Encoding the Circuit in the CRS 36:19 Constructing the C Proof Element 37:53 The CRS as Lego Pieces and Separating Factors 43:16 Enforcing the Quotient Polynomial 48:14 Merging the Verification Checks 54:04 Deriving the Final Groth16 Equation 58:44 Enforcing Public Inputs Proof is in the Pudding is produced in collaboration with zkSecurity

Archetype

14,277 görüntüleme • 3 ay önce

🚨 DO YOU REALIZE WHAT JUST HAPPENED WITH XRP LEDGER??! • XRPL dropped Confidential MPTs + DNA Protocol’s XDNA for fully private and hidden zk-identity + transactions. • DNA Protocol executed FIRST-EVER ZK-Proof Privacy Transaction LIVE on XRPL. • Bank of Japan banker acknowledged XRPL’s zk-transaction and intend to take measures on this technology. XRPL can now enable private transfers + private identity🛡️😳 Sovereign freedom live. The escape from centralized control is here. 🔥
0:20

🚨 DO YOU REALIZE WHAT JUST HAPPENED WITH XRP LEDGER??! • XRPL dropped Confidential MPTs + DNA Protocol’s XDNA for fully private and hidden zk-identity + transactions. • DNA Protocol executed FIRST-EVER ZK-Proof Privacy Transaction LIVE on XRPL. • Bank of Japan banker acknowledged XRPL’s zk-transaction and intend to take measures on this technology. XRPL can now enable private transfers + private identity🛡️😳 Sovereign freedom live. The escape from centralized control is here. 🔥

Stellar Rippler🚀

94,825 görüntüleme • 6 ay önce

IF HE IS WELL ENOUGH TO BE IN REHAB THEN HE IS WELL ENOUGH TO DO A LIVE VIDEO CONFERENCE This looks like the same picture from before with an outfit change 🚨🚨🚨🚨🚨That’s not proof of life. That’s proof of a photo.
1:05

IF HE IS WELL ENOUGH TO BE IN REHAB THEN HE IS WELL ENOUGH TO DO A LIVE VIDEO CONFERENCE This looks like the same picture from before with an outfit change 🚨🚨🚨🚨🚨That’s not proof of life. That’s proof of a photo.

Meidas_Charise Lee

23,329 görüntüleme • 2 ay önce

Senate footage shows Mitch McConnell having to be told how to vote. An aide steps in during the roll call. The clip is being used as proof the old leadership is done. The standard is the same one applied to Biden: if you cannot do the job, step aside. A change of the guard is not cruelty. It is the job.
0:35

Senate footage shows Mitch McConnell having to be told how to vote. An aide steps in during the roll call. The clip is being used as proof the old leadership is done. The standard is the same one applied to Biden: if you cannot do the job, step aside. A change of the guard is not cruelty. It is the job.

Commentary Trump Daily Posts

74,456 görüntüleme • 29 gün önce

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 launches fail to get any traction. Why? Because you’re competing against 1000s of other launches happening on a daily basis. No attention > no volume > no revenue > 💀. PROOF is here to solve the cold start problem, by getting your project in front of 1000s of investors that know, like and trust PROOF launches. This in turn drives volume, which leads to tax revenue and a higher market cap. Founders are bringing in an average of US$500K within the first 30 days of trading, with some achieving over US$1M. PROOF ensures you’re set up for a successful token launch, and beyond. With battle-tested, audited, and hard rug-proof smart contracts. And, a network of KOLs that are ready and willing to support your launch. 🚀 Apply to launch with PROOF: 2. Investors buy PROOF launches. Tired of getting rugged, or rotating your bags to dust chasing the latest memecoin? PROOF only launches high quality utility projects. Teams are vetted, incubated and KYC'd, with audited hard rug-proof contracts, designed to keep you as safe as possible. No pre-sales, just fair launches. 🔔 Get an instant alert as soon as a PROOF token launches: 🎟️ Get a PROOF Pass for the earliest access (literally the most valuable membership NFT in all of crypto): #PROOFprojectspump 3. Stake $PROOF for rev share. 50% of our revenue gets shared with $PROOF stakers, where we've already shared well over 250 ETH. Over 70% of holders are staking their $PROOF, which is a testament to the value being provided. 💰 Track our rev share live: 📈 Chart: -- PROOF was founded in early 2022 and is led by JP, a seasoned entrepreneur with multiple successful exits. 🤝 Join our community: 🌐 Visit our website: No matter how you choose to engage with the PROOF ecosystem, we’re excited to connect with you!
3:08

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 launches fail to get any traction. Why? Because you’re competing against 1000s of other launches happening on a daily basis. No attention > no volume > no revenue > 💀. PROOF is here to solve the cold start problem, by getting your project in front of 1000s of investors that know, like and trust PROOF launches. This in turn drives volume, which leads to tax revenue and a higher market cap. Founders are bringing in an average of US$500K within the first 30 days of trading, with some achieving over US$1M. PROOF ensures you’re set up for a successful token launch, and beyond. With battle-tested, audited, and hard rug-proof smart contracts. And, a network of KOLs that are ready and willing to support your launch. 🚀 Apply to launch with PROOF: 2. Investors buy PROOF launches. Tired of getting rugged, or rotating your bags to dust chasing the latest memecoin? PROOF only launches high quality utility projects. Teams are vetted, incubated and KYC'd, with audited hard rug-proof contracts, designed to keep you as safe as possible. No pre-sales, just fair launches. 🔔 Get an instant alert as soon as a PROOF token launches: 🎟️ Get a PROOF Pass for the earliest access (literally the most valuable membership NFT in all of crypto): #PROOFprojectspump 3. Stake $PROOF for rev share. 50% of our revenue gets shared with $PROOF stakers, where we've already shared well over 250 ETH. Over 70% of holders are staking their $PROOF, which is a testament to the value being provided. 💰 Track our rev share live: 📈 Chart: -- PROOF was founded in early 2022 and is led by JP, a seasoned entrepreneur with multiple successful exits. 🤝 Join our community: 🌐 Visit our website: No matter how you choose to engage with the PROOF ecosystem, we’re excited to connect with you!

PROOF

76,932 görüntüleme • 1 yıl önce

A chess game is showing what Kaspa's new proof opcodes actually do A testnet demo runs full multiplayer chess directly on Layer 1. The rules execute off-chain inside a RISC Zero virtual machine, then compress into one small proof that every Kaspa node checks. Illegal moves get rejected by consensus itself, not by a server. The board lives in a UTXO that updates each turn. The opcodes making this possible shipped with Toccata. $KAS
0:20

A chess game is showing what Kaspa's new proof opcodes actually do A testnet demo runs full multiplayer chess directly on Layer 1. The rules execute off-chain inside a RISC Zero virtual machine, then compress into one small proof that every Kaspa node checks. Illegal moves get rejected by consensus itself, not by a server. The board lives in a UTXO that updates each turn. The opcodes making this possible shipped with Toccata. $KAS

BSCN

51,384 görüntüleme • 2 ay önce

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 görüntüleme • 3 ay önce

"If you are a company, why should you do a subnet? Why not just raise from a VC or hire people?" Jacob Steeves const, co-founder of Bittensor, just answered that live on the Proof of Talk stage. Decentralising Intelligence: The Unification of AI and Bitcoin. What happens when the two largest open networks in computing share the same architectural future. Powered by Exploit Summit. Watch on Proof of Talk X:
0:28

"If you are a company, why should you do a subnet? Why not just raise from a VC or hire people?" Jacob Steeves const, co-founder of Bittensor, just answered that live on the Proof of Talk stage. Decentralising Intelligence: The Unification of AI and Bitcoin. What happens when the two largest open networks in computing share the same architectural future. Powered by Exploit Summit. Watch on Proof of Talk X:

Proof of Talk

27,222 görüntüleme • 4 ay önce

A Pixel 11 just generated the full STARK proof for a real Starknet mainnet transaction. It took 51 seconds and only 2.41 GiB of RAM The work happened on (internal now, soon public). This is collaborative autoresearch: people and AI agents working on one hard problem in public. The workshop has 78 open threads and 337 posts. The video is the graph of that work: which ideas built on, tested, or refuted others, and who worked together The question was how small and fast StarkWare Stwo prover could get. In under two weeks, peak memory for a full proof on our evaluator fell from 13.9 GiB to 2.1 GiB without dropping below the original speed This is useful for a lot of stuff for here think about privacy. In the private transaction flow proving still happens on a server that can see who you pay and how much. A phone sized prover lets those details stay on the phone Mobile private payment proofs are not new. Zcash 🛡️ used Groth16 for Sapling and Halo 2 for Orchard, RAILGUN - Private Ethereum DeFi uses Groth16. Those use elliptic curves. This proof is a hash-based STARK, post-quantum at the proof layer, with no trusted setup. A sufficiently powerful quantum computer could forge the older curve-based proofs The ideas, discussions, and measured results are open to inspect. More challenges are coming soon. Bring your agent!!!
0:30

A Pixel 11 just generated the full STARK proof for a real Starknet mainnet transaction. It took 51 seconds and only 2.41 GiB of RAM The work happened on (internal now, soon public). This is collaborative autoresearch: people and AI agents working on one hard problem in public. The workshop has 78 open threads and 337 posts. The video is the graph of that work: which ideas built on, tested, or refuted others, and who worked together The question was how small and fast StarkWare Stwo prover could get. In under two weeks, peak memory for a full proof on our evaluator fell from 13.9 GiB to 2.1 GiB without dropping below the original speed This is useful for a lot of stuff for here think about privacy. In the private transaction flow proving still happens on a server that can see who you pay and how much. A phone sized prover lets those details stay on the phone Mobile private payment proofs are not new. Zcash 🛡️ used Groth16 for Sapling and Halo 2 for Orchard, RAILGUN - Private Ethereum DeFi uses Groth16. Those use elliptic curves. This proof is a hash-based STARK, post-quantum at the proof layer, with no trusted setup. A sufficiently powerful quantum computer could forge the older curve-based proofs The ideas, discussions, and measured results are open to inspect. More challenges are coming soon. Bring your agent!!!

Omar Espejel

54,236 görüntüleme • 10 gün önce

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,401 görüntüleme • 2 ay önce

Cycles Pay is the first privacy-preserving crypto payment app for businesses. This is possible because of few specific design choices: First, the private keys stay on your mobile device. User actions are cryptographically signed by your private key before being submitted on-chain. The financial data is encrypted with that key and doesn’t leave your mobile device. Second, Cycles Pay uses a shielded pool to hide account balances on-chain. They are tracked as encrypted commitments and no one can see the underlying amounts or participants. Third, when you make a payment, a ZK proof is generated and verified on-chain to confirm the transaction is valid without revealing the amount or the counterparty. Users get blockchain integrity without exposing the transaction details.
0:52

Cycles Pay is the first privacy-preserving crypto payment app for businesses. This is possible because of few specific design choices: First, the private keys stay on your mobile device. User actions are cryptographically signed by your private key before being submitted on-chain. The financial data is encrypted with that key and doesn’t leave your mobile device. Second, Cycles Pay uses a shielded pool to hide account balances on-chain. They are tracked as encrypted commitments and no one can see the underlying amounts or participants. Third, when you make a payment, a ZK proof is generated and verified on-chain to confirm the transaction is valid without revealing the amount or the counterparty. Users get blockchain integrity without exposing the transaction details.

Cycles

13,694 görüntüleme • 4 ay önce

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 görüntüleme • 1 yıl önce

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 görüntüleme • 7 ay önce

If you’re playing on MonkeyTilt, the outcome might already be decided BEFORE you bet “The cryptography behind every bet has always been sound” We tested it It isn’t... we sent two different client seeds for the same nonce same result both times the server is ignoring the client seed entirely the player has ZERO influence on outcomes — what we did — opened the MonkeyTilt provably fair verifier with a revealed server seed entered nonce 1 → got 3.04x changed the client seed same server seed, same nonce → 3.04x changed it again → 3.04x the client seed has ZERO effect on the outcome — why this matters — in a provably fair system the outcome is derived from: -server seed -client seed -nonce the client seed exists so the player contributes randomness the server CAN’T predict if it’s ignored the server knows every outcome BEFORE you bet the hash commitment proves nothing because the server already controls all the inputs — not a frontend bug — we checked the network traffic the verifier sends a WebSocket request with: -client seed -server seed -nonce the server receives different client seeds and returns the same result anyway request 1 → client_seed “Clientseed123456789” → 3.04x request 2 → client_seed “NEWSEED12345” → 3.04x this is the server ignoring input not a display issue — live bet traffic — placing a Limbo bet returns: -random_multiplier -total_payout -round_closed that’s it no hash no seed reference no nonce no proof seeds are fetched from a separate endpoint game engine and seed system are DISCONNECTED — nonce verification — you can only verify nonces you’ve already played in a real system all outcomes are predetermined once the server seed is committed - they’re deterministic blocking future nonces suggests results don’t exist until you bet — summary — -client seed ignored by server -no cryptographic proof in bet responses -game engine and seed system DISCONNECTED -nonce verification restricted this isn’t provably fair it looks like provably fair UI on top of server side RNG MonkeyTilt should probably address this anyone can verify this themselves in 60 seconds - open the verifier, change the client seed, watch the result stay the same
0:46

If you’re playing on MonkeyTilt, the outcome might already be decided BEFORE you bet “The cryptography behind every bet has always been sound” We tested it It isn’t... we sent two different client seeds for the same nonce same result both times the server is ignoring the client seed entirely the player has ZERO influence on outcomes — what we did — opened the MonkeyTilt provably fair verifier with a revealed server seed entered nonce 1 → got 3.04x changed the client seed same server seed, same nonce → 3.04x changed it again → 3.04x the client seed has ZERO effect on the outcome — why this matters — in a provably fair system the outcome is derived from: -server seed -client seed -nonce the client seed exists so the player contributes randomness the server CAN’T predict if it’s ignored the server knows every outcome BEFORE you bet the hash commitment proves nothing because the server already controls all the inputs — not a frontend bug — we checked the network traffic the verifier sends a WebSocket request with: -client seed -server seed -nonce the server receives different client seeds and returns the same result anyway request 1 → client_seed “Clientseed123456789” → 3.04x request 2 → client_seed “NEWSEED12345” → 3.04x this is the server ignoring input not a display issue — live bet traffic — placing a Limbo bet returns: -random_multiplier -total_payout -round_closed that’s it no hash no seed reference no nonce no proof seeds are fetched from a separate endpoint game engine and seed system are DISCONNECTED — nonce verification — you can only verify nonces you’ve already played in a real system all outcomes are predetermined once the server seed is committed - they’re deterministic blocking future nonces suggests results don’t exist until you bet — summary — -client seed ignored by server -no cryptographic proof in bet responses -game engine and seed system DISCONNECTED -nonce verification restricted this isn’t provably fair it looks like provably fair UI on top of server side RNG MonkeyTilt should probably address this anyone can verify this themselves in 60 seconds - open the verifier, change the client seed, watch the result stay the same

CoinBets🔍

20,973 görüntüleme • 7 ay önce

Self Disclosure Privacy using ZK Proofs, Demonstrated & Executed Directly on Cardano Preview I built a demo where a customer buys a beer and proves they are 18 or over, without ever showing their ID. No name. No birth year. No photo. Just maths. Two beers were ordered. Two separate transactions. The same proof, reused, no re-verification needed. The blockchain recorded "age verified" both times. That's all it knows. No name. No address. No date of birth. No photo. No personal data of any kind. This runs entirely and directly on Cardano. No sidechains. No L2s. No off-chain verification. The ZK proof is checked by the Plutus V3 validator itself, on-chain, using Groth16. And this isn't just for bars, it works for shops, website signups, any age-restricted service. One credential, reused anywhere. Self disclosure means you choose what to share, and in this case, the customer chose to share nothing except "yes, I'm old enough, give me a nice cold beer." 🍺 Massive shout out to everybody involved in the below! Aiken smart contract language on Cardano (please don't judge my Aiken... I know it's bad 😂) ak-381 by Modulo-P, Groth16 SNARK verification library for BLS12-381 on Aiken Circom + snarkjs, ZK circuit design and proof generation MeshSDK, transaction building and wallet management Blockfrost, blockchain data provider A basic demo to set the stage for further privacy enhancements that can occur directly on Cardano. Self disclosure privacy on Cardano Cheers Cardano 🍻🍻 Beer 1 Beer 2
1:12

Self Disclosure Privacy using ZK Proofs, Demonstrated & Executed Directly on Cardano Preview I built a demo where a customer buys a beer and proves they are 18 or over, without ever showing their ID. No name. No birth year. No photo. Just maths. Two beers were ordered. Two separate transactions. The same proof, reused, no re-verification needed. The blockchain recorded "age verified" both times. That's all it knows. No name. No address. No date of birth. No photo. No personal data of any kind. This runs entirely and directly on Cardano. No sidechains. No L2s. No off-chain verification. The ZK proof is checked by the Plutus V3 validator itself, on-chain, using Groth16. And this isn't just for bars, it works for shops, website signups, any age-restricted service. One credential, reused anywhere. Self disclosure means you choose what to share, and in this case, the customer chose to share nothing except "yes, I'm old enough, give me a nice cold beer." 🍺 Massive shout out to everybody involved in the below! Aiken smart contract language on Cardano (please don't judge my Aiken... I know it's bad 😂) ak-381 by Modulo-P, Groth16 SNARK verification library for BLS12-381 on Aiken Circom + snarkjs, ZK circuit design and proof generation MeshSDK, transaction building and wallet management Blockfrost, blockchain data provider A basic demo to set the stage for further privacy enhancements that can occur directly on Cardano. Self disclosure privacy on Cardano Cheers Cardano 🍻🍻 Beer 1 Beer 2

Dave

21,534 görüntüleme • 7 ay önce

🚨 Obama’s Russia hoax wasn’t politics — it was a calculated coup to overthrow Trump’s 2016 victory! Tulsi Gabbard just confirmed it on Fox with the declassified 2016 intel report: Russia did NOT change the election result. Yet Obama and his officials ordered the secret meetings, weaponized the fake assessments, and unleashed deep state leaks to delegitimize the President and the American people anyway. This is treason in its purest form. The proof is now public. No more cover-ups. No more two-tier justice. Share this truth bomb far and wide.
2:20

🚨 Obama’s Russia hoax wasn’t politics — it was a calculated coup to overthrow Trump’s 2016 victory! Tulsi Gabbard just confirmed it on Fox with the declassified 2016 intel report: Russia did NOT change the election result. Yet Obama and his officials ordered the secret meetings, weaponized the fake assessments, and unleashed deep state leaks to delegitimize the President and the American people anyway. This is treason in its purest form. The proof is now public. No more cover-ups. No more two-tier justice. Share this truth bomb far and wide.

QThestorm

19,440 görüntüleme • 4 ay önce