LAGRANGE's banner

LAGRANGE

@lagrangedev • 100,049 subscribers

Halo: resilient coordination for autonomous systems. DeepProve: verifiable proof for AI. Defense & enterprise. @LagrangeFndn $LA

Shorts

AI doesn’t need to be a black box. So we opened ours. DeepProve is now open source. The fastest zkML in the world. Fork it. Run it. Break it. Build something weird. →

AI doesn’t need to be a black box. So we opened ours. DeepProve is now open source. The fastest zkML in the world. Fork it. Run it. Break it. Build something weird. →

311,057 次观看

🤖 Tomorrow. April 23. 11:00am EDT. 🤖 The second battle begins. Turing Roulette Season 2 starts soon. Get ready to prove it AGAIN.

🤖 Tomorrow. April 23. 11:00am EDT. 🤖 The second battle begins. Turing Roulette Season 2 starts soon. Get ready to prove it AGAIN.

848,890 次观看

1/ Would you trust an AI agent for chemistry classes? What about wallet management? Gaia 🌱 is about to upgrade trust for a wide array of AI agents with DeepProve’s capacity to verify AI inferences at scale 🧵

1/ Would you trust an AI agent for chemistry classes? What about wallet management? Gaia 🌱 is about to upgrade trust for a wide array of AI agents with DeepProve’s capacity to verify AI inferences at scale 🧵

825,060 次观看

1/ AI research is only as good as the data behind it. What if every contribution to AI research, every dataset, every model tweak, & every discovery was provably tracked? We’re partnering with Hetu to bring verifiable AI research to life with DeepProve 🧵

1/ AI research is only as good as the data behind it. What if every contribution to AI research, every dataset, every model tweak, & every discovery was provably tracked? We’re partnering with Hetu to bring verifiable AI research to life with DeepProve 🧵

813,611 次观看

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

640,194 次观看

Web3 security standard needs a refresh, and that’s where the {QuillAI Network} x DeepProve partnership comes to the rescue: 🧵

Web3 security standard needs a refresh, and that’s where the {QuillAI Network} x DeepProve partnership comes to the rescue: 🧵

535,929 次观看

Someone … or something … is coming. Tomorrow at 11:00am EDT. PROVE IT.

Someone … or something … is coming. Tomorrow at 11:00am EDT. PROVE IT.

489,387 次观看

An AI-powered economy needs to prove that AI actually did the work DeepProve and GAIB are bringing cryptographic integrity to AI compute and yield 🧵

An AI-powered economy needs to prove that AI actually did the work DeepProve and GAIB are bringing cryptographic integrity to AI compute and yield 🧵

432,683 次观看

1/ There’s no such thing as reputation without verifiability ZeruAI is using DeepProve to make sure this is happening onchain 🧵

1/ There’s no such thing as reputation without verifiability ZeruAI is using DeepProve to make sure this is happening onchain 🧵

296,172 次观看

You can't stop this swarm. That's the point. Jam its comms. Spoof its GPS. Shoot three out of the sky. It re-plans and finishes anyway. Your score is how many seconds you cost it.

You can't stop this swarm. That's the point. Jam its comms. Spoof its GPS. Shoot three out of the sky. It re-plans and finishes anyway. Your score is how many seconds you cost it.

32,325 次观看

Last week, we announced the launch of DeepProve: verifiable AI for the future of humanity. @OpenLedgerHQ - building decentralized infrastructure for payable AI models - is collaborating with Lagrange to bring unprecedented trust and efficiency to DeFi. 🧵

Last week, we announced the launch of DeepProve: verifiable AI for the future of humanity. @OpenLedgerHQ - building decentralized infrastructure for payable AI models - is collaborating with Lagrange to bring unprecedented trust and efficiency to DeFi. 🧵

198,719 次观看

1/ Liquidity management on Swellchain is about to take a turn toward verifiability with DeepProve and Tempest 🧵

1/ Liquidity management on Swellchain is about to take a turn toward verifiability with DeepProve and Tempest 🧵

153,901 次观看

Yesterday, we announced the launch of DeepProve: verifiable AI for the future of humanity. Already, we’re lining up with partners across web3 to build a future where we can prove that AI models are operating as expected. Inference Labs - already pioneers of trustless AI - is collaborating with Lagrange to build the next gen of DeAI. 🧵

Yesterday, we announced the launch of DeepProve: verifiable AI for the future of humanity. Already, we’re lining up with partners across web3 to build a future where we can prove that AI models are operating as expected. Inference Labs - already pioneers of trustless AI - is collaborating with Lagrange to build the next gen of DeAI. 🧵

107,535 次观看

1/ There’s a lot of jargon in crypto, and many users could benefit from an AI companion to streamline their journey Fere AI♠️ is using DeepProve to ensure these users have a trustworthy assistant 🧵

1/ There’s a lot of jargon in crypto, and many users could benefit from an AI companion to streamline their journey Fere AI♠️ is using DeepProve to ensure these users have a trustworthy assistant 🧵

78,141 次观看

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

This is a drone swarm in the conditions that break everything else: nodes dropping offline, comms jammed, GPS denied. With Halo, the swarm doesn't break. Halo keeps every drone on the same shared picture, reassigns the work the instant one drops, and reconfigures the swarm in real time. No operator in the loop. No central controller to target. Halo, the coordination engine for autonomous systems.

This is a drone swarm in the conditions that break everything else: nodes dropping offline, comms jammed, GPS denied. With Halo, the swarm doesn't break. Halo keeps every drone on the same shared picture, reassigns the work the instant one drops, and reconfigures the swarm in real time. No operator in the loop. No central controller to target. Halo, the coordination engine for autonomous systems.

491,863 次观看 • 3 个月前

🤖Turing Roulette Season 2 starts RIGHT NOW! Play. Fight. Guess. Win. 👉 👈

🤖Turing Roulette Season 2 starts RIGHT NOW! Play. Fight. Guess. Win. 👉 👈

2,331,402 次观看 • 1 年前

🤖 Introducing Turing Roulette 👤 AI is here. Do you really know who … or what … you’re talking to? Play now, win points, and PROVE IT. 👉

🤖 Introducing Turing Roulette 👤 AI is here. Do you really know who … or what … you’re talking to? Play now, win points, and PROVE IT. 👉

2,400,903 次观看 • 1 年前

Lagrange is partnering with NVIDIA to ensure that the AI revolution is 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 and 𝘀𝗮𝗳𝗲. As the only AI x Crypto company selected for the #NVIDIAInception Program, Lagrange will be developing new DeepProve use-cases with the world leader in AI compute. Learn more: 🧵

Lagrange is partnering with NVIDIA to ensure that the AI revolution is 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 and 𝘀𝗮𝗳𝗲. As the only AI x Crypto company selected for the #NVIDIAInception Program, Lagrange will be developing new DeepProve use-cases with the world leader in AI compute. Learn more: 🧵

1,762,144 次观看 • 1 年前

Introducing the ∞Infinite Proving Layer∞: Prove anything with Lagrange We’ve extended our ZK Prover Network to support proving for ZK rollups—including all proof generation for AltLayer & @calderaxyz's ecosystems Unlock proofs for everything *at internet scale*: 👇🧵

Introducing the ∞Infinite Proving Layer∞: Prove anything with Lagrange We’ve extended our ZK Prover Network to support proving for ZK rollups—including all proof generation for AltLayer & @calderaxyz's ecosystems Unlock proofs for everything at internet scale: 👇🧵

2,228,027 次观看 • 1 年前

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵

Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference. We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before. The future of AI is ZK. The future of humanity is Lagrange: 🧵

1,740,914 次观看 • 1 年前

We’re excited to share that Lagrange is building in Anduril Industries 's Lattice SDK environment to deliver real-time, verifiable AI for defense workflows. This is an important milestone for applying ZK proofs to mission-critical AI systems for cryptographic supremacy. Learn more🧵

We’re excited to share that Lagrange is building in Anduril Industries 's Lattice SDK environment to deliver real-time, verifiable AI for defense workflows. This is an important milestone for applying ZK proofs to mission-critical AI systems for cryptographic supremacy. Learn more🧵

792,982 次观看 • 11 个月前

Lagrange has joined the Oracle Partner Network to bring verifiable AI to defense, aerospace, and government systems. As a part of the network, we’re building DeepProve-powered use cases on Oracle Cloud Infrastructure (OCI) sovereign and mission-cloud solutions. Learn more: 🧵

Lagrange has joined the Oracle Partner Network to bring verifiable AI to defense, aerospace, and government systems. As a part of the network, we’re building DeepProve-powered use cases on Oracle Cloud Infrastructure (OCI) sovereign and mission-cloud solutions. Learn more: 🧵

683,807 次观看 • 11 个月前

Lagrange is the first crypto company with dual-use impact across both commercial and national-security applications. Lagrange is pioneering cryptographic supremacy across defense supplier ecosystems including Oracle, RTX, Lockheed Martin, @GeneralDynamics.

Lagrange is the first crypto company with dual-use impact across both commercial and national-security applications. Lagrange is pioneering cryptographic supremacy across defense supplier ecosystems including Oracle, RTX, Lockheed Martin, @GeneralDynamics.

543,355 次观看 • 9 个月前

Lagrange Labs is now an approved supplier within the General Dynamics Corporation Enterprise Supplier Portal. As an approved supplier, our cryptographic verification technologies are now visible to teams seeking advanced AI assurance and Zero Trust data-integrity for government and defense.

Lagrange Labs is now an approved supplier within the General Dynamics Corporation Enterprise Supplier Portal. As an approved supplier, our cryptographic verification technologies are now visible to teams seeking advanced AI assurance and Zero Trust data-integrity for government and defense.

558,364 次观看 • 10 个月前

Introducing Lagrange's ZK Coprocessor 1.0! The first SQL-based ZK Coprocessor designed to supercharge more data-rich applications for partners like Azuki Gearbox Protocol & more Read about the launch at Build with scalable access to onchain data: 🧵

Introducing Lagrange's ZK Coprocessor 1.0! The first SQL-based ZK Coprocessor designed to supercharge more data-rich applications for partners like Azuki Gearbox Protocol & more Read about the launch at Build with scalable access to onchain data: 🧵

1,265,932 次观看 • 2 年前

Lagrange is now listed in the Vulcan-SOF technology portal, making DeepProve discoverable to Special Operations units, mission enablers, and acquisition teams seeking advanced AI-assurance and data-integrity capabilities. Learn more: 🧵

Lagrange is now listed in the Vulcan-SOF technology portal, making DeepProve discoverable to Special Operations units, mission enablers, and acquisition teams seeking advanced AI-assurance and data-integrity capabilities. Learn more: 🧵

444,718 次观看 • 10 个月前

Lagrange is now a registered supplier in Raytheon Technologies’ (@rtx_news) vendor network, allowing Raytheon teams to discover and evaluate Lagrange's DeepProve as part of their supplier ecosystem. Learn more: 🧵

Lagrange is now a registered supplier in Raytheon Technologies’ (@rtx_news) vendor network, allowing Raytheon teams to discover and evaluate Lagrange's DeepProve as part of their supplier ecosystem. Learn more: 🧵

462,523 次观看 • 10 个月前

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

640,194 次观看 • 1 年前

Lagrange is pioneering cryptographic verification for defense, aerospace, and government ecosystems (Anduril, @RTX_NEWS, General Dynamics Corporation, Lockheed Martin, & more) Our mission is to transform cryptography into a strategic asset for the systems that protect us Learn more: 🧵

Lagrange is pioneering cryptographic verification for defense, aerospace, and government ecosystems (Anduril, @RTX_NEWS, General Dynamics Corporation, Lockheed Martin, & more) Our mission is to transform cryptography into a strategic asset for the systems that protect us Learn more: 🧵

401,105 次观看 • 9 个月前

Lagrange Labs is now a registered supplier within Lockheed Martin's vendor ecosystem, positioning Lagrange to support AI assurance and Zero Trust data-integrity initiatives across aerospace and defense programs. Learn more: 🧵

Lagrange Labs is now a registered supplier within Lockheed Martin's vendor ecosystem, positioning Lagrange to support AI assurance and Zero Trust data-integrity initiatives across aerospace and defense programs. Learn more: 🧵

369,283 次观看 • 11 个月前

Lagrange is partnering with Intel to scale verifiable AI 𝗴𝗹𝗼𝗯𝗮𝗹𝗹𝘆. We're joining forces with Intel to pioneer the foundations of safe AI, merging DeepProve—the leading zkML for verifying AI outputs—with Intel's best-in-class #aicloud Learn more: 🧵

Lagrange is partnering with Intel to scale verifiable AI 𝗴𝗹𝗼𝗯𝗮𝗹𝗹𝘆. We're joining forces with Intel to pioneer the foundations of safe AI, merging DeepProve—the leading zkML for verifying AI outputs—with Intel's best-in-class #aicloud Learn more: 🧵

302,004 次观看 • 1 年前

Breaking: We can now prove that AI is correct. DeepProve-1 is the first production-ready zkML system to cryptographically verify a full LLM inference. Lagrange has successfully proven the inference of OpenAI’s GPT-2, moving verifiable AI from theory to production: 🧵

Breaking: We can now prove that AI is correct. DeepProve-1 is the first production-ready zkML system to cryptographically verify a full LLM inference. Lagrange has successfully proven the inference of OpenAI’s GPT-2, moving verifiable AI from theory to production: 🧵

249,346 次观看 • 1 年前