
DeepProve: a cryptographic receipt for every AI inference. now open source. Halo: autonomous coordination engine for the toughest conditions. @LagrangeFndn $LA
Los Angeles
Joined May 2022
- Tweets3.8K
- Following378
- Followers93.9K
- Likes2.6K
I've seen @lagrangedev and StarkNet being mentioned here, but only a few know the connection between this article by @AnthropicAI and Rari Capital, if anyone here still remembers that.
Significant motion on part of 2020/2021 DeFi devs, a cohort amazingly abundant in s++ talent
nitter.gq/AnthropicAI/status/211…
New Anthropic research: progress on provable inference for large language models.
Here, we introduce FlashProve. Building on established cryptographic techniques, FlashProve allows developers to verify whether a given response came from a given AI model. It’s substantially more efficient than prior open-source methods for doing so.
These proofs have a range of applications. They can, for instance, make it harder for attackers to hijack a chat, or enable safety evaluators to verify that the model they’re testing is the same one being served to customers.
For our full write-up, see here: anthropic.com/research/prova…
Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that end, we're open-sourcing FlashProve’s code, here: github.com/anthropics/FlashP…
We’re grateful to our collaborators: Alessandro Chiesa, @GiacomoFenzi, @gwberg95, @miranda__christ, Rahul Dalal (rdalal.github.io) and Ben Mayer (@transmissions11).
LAGRANGE retweeted
클로드(Claude) 개발사 앤트로픽(Anthropic)에서
라그랑주 딥프로브(DeepProve)를 언급했습니다!!!
@AnthropicAI가 공개한 AI 추론 검증 연구에
@lagrangedev의 DeepProve가 소개됐습니다.
선행 연구를 다루는 부분에서
'동료 심사를 거친 현재 최고 수준의 기술 중 하나'라고
평가한 점이 눈에 들어오는데요.
어떤 기술인지 쉽게 풀어보면 이렇습니다.
"지금 받은 답변, 정말 내가 선택한 AI 모델이 만든 게 맞을까?"
AI 서비스를 이용할 때
실제로 어떤 모델이 답변했는지
사용자가 직접 확인하기는 어렵습니다.
딥프로브(DeepProve)는
바로 이 부분을 다룹니다.
답변 전체가 지정된 모델의 계산 결과인지
영지식증명으로 검증하는 기술입니다.
앤트로픽(Anthropic)은 이번 연구에서
딥프로브(DeepProve)의 검증 방식과
처리 성능도 함께 소개했습니다.
AI가 점점 더 많은 일을 맡게 되는 만큼,
어떤 모델이 그 결과를 만들었는지
확인하는 기술도 중요해지는 것 같습니다.
라그랑주 앰배서더로서 정말 반가운 소식이네요.
꾸준히 쌓아온 연구가 이런 곳에서 언급되는 모습을 보니
앞으로의 발전도 더 기대하게 됩니다.
🔗 앤트로픽(Anthropic) 공식 연구 : anthropic.com/research/prova…)
🔗 딥프로브(DeepProve) 논문 : eprint.iacr.org/2026/1112
🤖 Made with AI
Proud that @AnthropicAI’s research recognizes @lagrangedev's DeepProve as the current peer-reviewed state of the art.
Every AI answer should come with a proof of which model gave it. Trust is moving from “take our word for it” to “check it yourself,” and today a frontier lab started agreeing.
LAGRANGE retweeted
Incredible to see @AnthropicAI refer to @lagrangedev’s DeepProve as the “the current peer-reviewed state-of-the-art” for verifiable inference.
The frontier of ZK, verifiable and private inference is moving faster than ever!
LAGRANGE retweeted
ronaldo reportedly won't come to his own farewell without a drone show. a thousand drones about to do a siuu. and for once it'll be a team effort.
LAGRANGE retweeted
드론이 많아질수록 중요한 건
AI보다 ‘협업’일지도 모릅니다
자율주행 드론 한 대를 똑똑하게 만드는 것과
드론 수십 대, 수백 대를 동시에 움직이게 만드는 것은
조금 다른 문제입니다.
한 대라면 자신의 위치를 파악하고
주어진 임무를 수행하면 됩니다.
하지만 여러 대가 하나의 팀으로 움직이기 시작하면
새로운 문제가 생깁니다.
한 대의 통신이 끊기면 어떻게 할까요?
일부 기체가 고장 나면
그 기체가 맡고 있던 임무는 누가 이어받아야 할까요?
네트워크 일부가 끊어졌는데도
나머지 기체들은 서로 같은 상황을 보고 있을까요?
라그랑주(Lagrange)는 이런 문제를
"대규모 자율성은 결국 조정의 문제"라고 보고 있습니다.
그리고 이를 위해 만든 것이
헤일로(Halo)입니다.
헤일로(Halo)는 드론을 직접 조종하는
미션 소프트웨어나 지휘통제 시스템이 아닙니다.
여러 자율 시스템이 서로 상태를 공유하고,
네트워크가 불안정해지거나 일부 시스템이 사라지더라도
남은 시스템들이 역할과 위치를 다시 조정할 수 있도록 만드는
자율 시스템 협업 조정 엔진
(Coordination Engine for Autonomous Systems)
입니다.
예를 들어 드론 여러 대가
하나의 지역을 탐색하고 있다고 가정해보겠습니다.
중간에 한 대가 사라지면
나머지 기체들이 담당 구역을 다시 나눕니다.
통신 경로가 끊기면
다른 노드를 통해 연결을 다시 구성합니다.
일부 기체가 임무를 수행할 수 없게 되면
그 역할을 다른 기체에 재할당합니다.
핵심은
모든 기체가 절대 고장 나지 않게 만드는 것이 아니라,
고장이 나더라도 전체 시스템은
계속 움직이게 만드는 것입니다.
라그랑주(Lagrange)가
헤일로(Halo)에서 강조하는 기능도
이 방향으로 연결됩니다.
협업 센싱, 통신 중계,
대형과 지역 커버리지 유지,
그리고 자산 손실 시 역할 재분배입니다.
현재 헤일로(Halo)는 드론을 우선으로 시작하지만
라그랑주(Lagrange)는 향후 지상·해상 시스템과
유·무인 협업까지 확장하는 방향을 제시하고 있습니다.
결국 헤일로(Halo)가 지향하는 미래는,
한 대의 자율 시스템이 모든 것을 해결하는 것이 아니라
수많은 자율 시스템이 서로 협력해
하나의 시스템처럼 움직이는 것입니다.
AI가 각 기체의 ‘두뇌’라면,
헤일로(Halo)가 만들고 있는 것은
그 두뇌들이 서로 협력할 수 있게 하는
조정 계층(Coordination Layer)이라고
볼 수 있을 것 같습니다.
라그랑주(Lagrange)가 말하는
“Autonomy at scale is a coordination problem.”
(“자율 시스템이 대규모로 확장될수록 핵심 문제는 ‘조정’입니다.”)
이라는 문장이
헤일로(Halo)를 가장 잘 설명하는 것 같습니다.
Two questions are getting harder to answer every month.
Did the AI actually run what they say it ran?
Will the machines still work together when the network breaks?
Neither one can be answered by looking.
DeepProve puts a cryptographic receipt on every AI inference. Halo keeps autonomous systems agreeing on what is true while operating in the most contested environments.
Ground truth for AI and autonomy.
LAGRANGE retweeted
드론의 통신을 일부러 망가뜨려봤습니다
라그랑주(Lagrange)가 헤일로(Halo)를
직접 체험할 수 있는 프로그램을
공개해놨길래 돌려봤습니다.
👉 playground.lagrange.dev
시나리오는 크게 두 가지가 있습니다.
(EM Mapping / Wolfpack)
EM Mapping에서는
여러 드론이 주변의 전파 신호원을 찾는데,
중간에 재머(Jammer)를 배치해서
드론들 사이의 통신을 일부러 방해할 수 있습니다.
그리고 Wolfpack에서는
여러 드론이 하나의 목표를 향해 움직이다가
일부 기체가 사라져도 남은 드론들이
역할과 대형을 다시 나눠 임무를 계속 수행합니다.
처음에는 그냥 드론 시뮬레이터인 줄 알았는데
두 시나리오를 같이 체험해 보니까
헤일로(Halo)가 뭘 보여주려는지 명확했습니다.
중요한 것은 드론 한 대가 얼마나 똑똑한지가 아니라,
문제가 발생하더라도
여러 자율 시스템이 계속 협력할 수 있느냐는 점입니다.
통신이 끊기고, 일부 노드가 사라지고,
네트워크가 불안정해져도 전체 swarm이 무너지지 않고
남은 시스템들이 상태를 공유하고 역할을 재배분하는 것.
그래서 라그랑주(Lagrange)는 헤일로(Halo)를
'자율 시스템 간 협력을 조정하는 엔진
(Coordination Engine for Autonomous Systems)'
이라고 부르는 것 같습니다.
공식 설명만 읽는 것보다
직접 재머(Jammer)도 넣어보고 시나리오를 돌려보니까
라그랑주(Lagrange)의 헤일로(Halo)가
해결하려는 문제가 훨씬 직관적으로 와닿네요.
여러분들도 설명만 보는 것보다
직접 한번 망가뜨려보세요! ㅎㅎ
LAGRANGE retweeted
the hard part of autonomy isn't getting one drone to work. it's keeping the group coordinated when everything starts going wrong.
halo is built for that moment. so we turned the problem into a game.
try to break the swarm -> holdtheswarm.lagrange.dev/?u…













