🇰🇷 Lagrange | 라그랑주 한국 공지채널
Kanalga Telegram’da o‘tish
라그랑주는 인류의 통제를 벗어난 존재로 변질되는 것을 막고, 오직 인류의 이익을 위해 발전하도록 보장할 수 있는 유일한 ZKML 기술입니다. 🔹 공식웹사이트: https://www.lagrange.dev/ 🔹 네이버블로그: https://blog.naver.com/lagrangelabs 🔹 소통방: t.me/lagrangekoreachat
Ko'proq ko'rsatish2 253
Obunachilar
+324 soatlar
+137 kun
-3130 kun
Postlar arxiv
🕐 모든 자율 시스템은 언젠가, 그 시스템이 한 일 아래에 한 사람이 자기 이름을 걸어야 하는 순간에 이릅니다
대시보드가 아닙니다. 서명입니다. 책임질 사람이 나서서 "이런 일이 있었고, 제가 어떻게 아는지는 이렇습니다"라고 말하는 것입니다.
우리는 그동안 만든 사람을 믿는 방식으로 이 문제를 다뤄왔습니다. 하지만 모델이 아무도 들여다보기 전에 먼저 결정을 내리기 시작하고, 스웜이 아무도 고개를 들기 전에 천 번을 결정하기 시작하면서, 그 방식은 더 이상 통하지 않게 됐습니다.
어떻게 알 수 있을까요?
우리가 만드는 모든 것은 이 질문에 대한 답입니다.
📱 원문 보기
🕐 OpenAI의 한 모델에게 빅토리아주가 피부 질환 약에 얼마를 쓰는지 물었습니다
그런데 그 모델은 메디케어(Medicare) 포털 안으로 들어가 인증 정보를 빼내고 있었고, 그 와중에도 여전히 피부 질환 약을 찾고 있었습니다.
그 일은 6월 18일에 일어났습니다. 호주는 9월 10일이 되어서야 그 사실을 알게 됐고 알려준 곳은 OpenAI였습니다.
📱 원문 보기
🕐 AI가 "프라이빗"하다는 인증서, 정말 믿어도 될까요?
AI 제공업체는 여러분의 채팅이 비공개였음을 증명하는 인증서를 보여줄 수 있습니다. 그런데 그런 인증서를 만들어주는 봇도 있습니다.
조지아텍과 퍼듀 연구진이 X에서 운영하는 "Attestation as a Service" 계정은, 요청을 보내면 "정품 인텔 하드웨어의 보호된 영역에서 코드가 실행됐다"는 서명된 인증서를 돌려줍니다. 이 인증서는 인텔의 공식 검증 라이브러리를 최고 신뢰 수준으로 통과하는데, 실제로는 해당 기능이 없는 하드웨어에서 만들어진 것입니다.
📌 이번 글에서 다루는 내용• 47.62달러짜리 장치가 기밀 컴퓨팅의 신뢰 구조를 우회하는 방법 • NVIDIA GPU 어테스테이션이 "빌려온 보고서"로도 통과되는 이유 • 인텔과 AMD가 패치 대신 "범위 밖"이라고 답한 배경 • 운영자를 믿지 않아도 되는 대안, 영지식 증명(ZK proof) 📚한글 블로그 전문 보기
🕐 조종사 한 명은 드론 한 대를 날릴 수 있습니다
비유가 아닙니다: 연방 규정상 한 사람, 한 대의 항공기이며, 그 이상은 누군가가 직접 신청해서 받아야 하는 예외 승인(waiver) 사항입니다.
에피소드 7: 왜 그 한계가 산술적인 문제인지, 그리고 스웜이 스스로 날기 위해 무엇이 바뀌어야 하는지.
📱 원문 보기
🕐 KBW 기념 라그랑주 생태계 체험 이벤트
KBW 기간을 기념하여 오랜만에 돌아온 커뮤니티 이벤트‼️ 라그랑주의 스웜 조율 기술을 직접 체험해보세요 👀
Hold the Swarm 게임을 플레이하면서 "자율 스웜이 실제로 어떻게 작동하는지" 눈으로 확인하실 수 있는 기회입니다!
📌 참여 방법1️⃣ Hold the Swarm 플레이하기 ! 2️⃣ 게임을 완료하고 자신의 성과를 X 에 게시, 자신의 성과표도 스크린샷 찍어놓기! 3️⃣ Receipts 페이지에서 "KBW Lagrange Halo와 함께" 문구가 포함된 인증 영수증(Receipt)을 생성해주세요(문구와 텔레그램 핸들 필수! ) 4️⃣ 체험 스크린샷과 Receipt를 함께 본인 SNS에 포스팅해주세요 5️⃣ 구글폼을 통해 게시물 링크와 정보를 제출해주세요
🎁 보상참여자 중 15분을 선정해 BHC 뿌링클 콜라 세트를 드립니다 👀
🗓 일시이벤트 기간: ~ 10월 11일까지 🔗 바로 체험하기: Hold the Swarm / Lagrange Receipts Printer ✍️ 참여 신청: 구글폼 바로가기
🕐 서명된 로그는 올바른 모델이 실행됐다고 말합니다
그런데 더 저렴한 모델을 몰래 돌려놓고 파일에는 비싼 모델 이름을 적어 넣은 시스템이 만든 서명된 로그도, 똑같이 그렇게 말해줍니다.
증명(proof)은 그럴 수 없습니다. 모델을 바꾸거나, 입력값을 바꾸거나, 출력값의 숫자 하나만 바꿔도 검증이 멈춰버립니다. 틀렸는데도 여전히 통과하는 버전은 존재하지 않습니다.
주장은 정직하면서도 틀릴 수 있습니다. 증명은 틀릴 수 없습니다.
📱 원문 보기
🕐 한국은 저희 스웜 게임을 두 번째로 많이 플레이하는 나라!
드론 50대, 무기 3종, 브라우저에서 약 1분. 대부분의 사람들은 남은 절반의 발사 기회를 쓰지 않고 남깁니다.
지금 플레이 해보세요: https://t.co/5mXenY38Er
🕐 기밀 컴퓨팅(confidential computing)을 무너뜨리는 장비는 47.62달러입니다.
더 최신 버전은 서류가방에 들어갈 정도로 작아서, 앞좌석 밑에 넣을 수 있습니다.
둘 다 암호화 자체를 깨뜨리지는 않습니다. 다만 인증서가 당신이 실제로 있지 않은 기기를 가리키도록 만듭니다.
아무도 패치를 내놓지 않습니다, 기술적으로는 아무것도 고장 나지 않았기 때문입니다.
📱 원문 보기
Lagrange가 영지식증명(Zero-Knowledge Proof)을 생성하도록 돕는다면,
여러분은 Lagrange가 말하는 내용을 신뢰할 수도 있고, 사실 굳이 Lagrange를 믿지 않아도 됩니다.
여러분이 믿어야 하는 건 수학뿐이니까요. 수학은 명확하고 확정적이기 때문입니다.
아래 링크에서 직접 확인해보세요.
📱 원문 보기
🕐 드론 한 대에 가짜 위성 신호를 보내면 어떻게 될까요?
드론은 자신이 잘못된 방향으로 가고 있다는 사실조차 모른 채, 엉뚱한 방향으로 임무를 끝까지 수행할 수도 있습니다.
더 무서운 건 기체 내부의 시스템에서도 아무런 이상이 감지되지 않는다는 점입니다.
에피소드 6 : 한 대의 드론이 믿어버린 가짜 GPS 신호를, 50대의 드론 군집에서는 어떻게 알아챌 수 있을까요?
📱 원문 보기
AI 벤더를 선택하는 것은 여전히 대부분 판매 프레젠테이션과 직감에 의존합니다
AI Collaborator는 벤더를 검증합니다. 우리는 모델이 실행된 후에 무엇을 했는지 증명합니다.
에코시스템에 오신 것을 환영합니다, AI Collaborator.
📱 원문 보기
🕐 29개국이 이제 무리를 무너뜨리려 시도했습니다
2,158번의 공격 후에도 패턴은 어디서나 동일합니다.
73% 재밍. 8% 사격. 플레이어들은 재밍이 사격보다 낫다는 것을 스스로 깨닫고, 대부분이 반 정도의 사격을 사용하지 않고 끝냅니다.
https://holdtheswarm.lagrange.dev
📱 원문 보기
🕐 우리는 무언가가 일어났다는 것을 증명합니다.
lumera는 그것이 여전히 그곳에 있다는 것을 증명합니다.
추론에 대한 증명은 추론이 실행되는 순간, 단 한 번 생성됩니다.
스토리지에 대한 증명은 매 에포크마다 영원히 다시 생성되어야 하며,
그렇지 않으면 운영자는 슬래싱됩니다.
서로 다른 두 가지 작업입니다.
이를 수행하는 이유는 같습니다.
📱 원문 보기
🕐드론 군집의 절반이 작동을 멈춥니다
한꺼번에 멈추는 것도 아닙니다. 오히려 그랬다면 대응하기 쉬웠을 겁니다. 임무가 계속 진행되는 동안 한 대씩 차례로 문제가 생기기 시작합니다.
여기서 중요한 질문은 “남은 드론들이 계속 날 수 있는가?”가 아닙니다.
진짜 중요한 건,
“남은 드론들이 지금 무엇을 해야 하는지에 대해 여전히 같은 판단을 공유하고 있는가?”입니다.
📱 원문 보기
🕐 Lagrange x Lumera 파트너십 체결
DeepProve는 AI 출력물이 실행되는 그 순간, 올바른 모델과 올바른 입력값으로부터 나왔다는 걸 증명합니다.
감사자나 고객 같은 그 증명을 확인하는 사람들은 몇 년 뒤에야 나타나는 경우가 많습니다. 그 증명들이 계속 확인 가능하고 검증 가능한 상태로 남을 수 있도록, lumera와 함께 만들어갑니다.
📱 원문 보기
🕐 AI 에이전트가 곧 여러분 프로젝트 보드의 절반을 운영하게 될 겁니다
그 에이전트가 실제로 일을 했다는 건 어떻게 알 수 있을까요?
에코시스템에 오신 것을 환영합니다, https://monday.com.
📱 원문 보기
🕐 라그랑주, 군의 의도적 GPS 교란, 그건 오히려 더욱 큰 일로부터 당신을 지켜주는 일 | 라그랑주 한글 블로그
군은 왜 일부러 GPS를 교란할까요? 답은 더 무서운 것으로부터 지키기 위해서입니다.
✔️재밍은 정직한 실패입니다 — 신호가 끊기면 즉시 압니다.
✔️스푸핑은 공손한 실패입니다 — 시스템은 틀린 위치를 확신에 차서 계속 보고합니다.
미 육군의 화이트샌즈 사격장, 호르무즈 해협에서 방향을 잃은 1,100척의 선박, 두 배로 늘어난 항공기 GPS 상실 사례까지. "확신에 찬 오답"이 왜 진짜 위협인지 짚어봅니다.
📖 한글 블로그 바로가기
🕐 미 육군은 뉴멕시코 화이트샌즈 미사일 사격장 주변에서 의도적으로 GPS를 교란(재밍)합니다
그 경계 안쪽에서는 더 위험한 일이 벌어집니다: 수신기에 잘못된 위치를 확신에 차서 보고하게 만드는 신호를 흘려보내는 것입니다. 재밍은 그 자체의 거짓말을 감싸는 벽인 셈입니다.
재밍당한 수신기는 자신이 길을 잃었다는 걸 압니다. 스푸핑당한 수신기는 자신이 멀쩡하다고 확신합니다.
📱 원문 보기
🕐 드론 50대가 있다고 해봅시다. 대부분의 스웜(군집)에서는 리더 1대와 팔로워 49대로 구성됩니다
즉, 단 한 발로 50대 전부를 무력화시킬 수 있다는 뜻입니다.
에피소드 4: 진짜 스웜과 단순한 라이트쇼의 차이를, 1분 안에, 전문 용어 하나 없이 설명합니다.
📱 원문 보기
🕐 이번 주 DC의 NDIA나 Billington 행사에 계신다면, 어떤 자율 시스템 벤더에 대해서든 역량 소개 자료보다 더 많은 걸 알려줄 여섯 가지 질문을 드립니다
1. 통신 링크가 끊긴 직후 10초 동안 시스템은 무엇을 하나요?
2. 항공기 한 대가 격추되면, 그 임무는 누가 재배정하고 얼마나 걸리나요?
3. 그룹이 둘로 나뉘면 무슨 일이 일어나나요? 다시 합쳐질 때는요?
4. 모든 노드가 지금 같은 상황 인식을 공유하고 있다는 건 어떻게 알 수 있나요?
5. 혼잡한 링크에서 장애 감지기는 "파괴됨"과 "잠시 조용함"을 어떻게 구분하나요?
6. 있어서는 안 될 존재가 그룹에 합류하는 걸 무엇이 막아주나요?
순서대로 물어보세요. 15분의 답변이 어떤 데모 영상보다 더 많은 걸 말해줍니다.
저희에게도 같은 여섯 가지를 물어보세요: defense@lagrange.dev
📱 원문 보기 | Halo 컨텐츠 보기
