🕐 Lagrange가 영지식증명(Zero-Knowledge Proof)을 생성하도록 돕는다면, 여러분은 Lagrange가 말하는 내용을 신뢰할 수도 있고, 사실 굳이 Lagrange를 믿지 않아도 됩니다.

여러분이 믿어야 하는 건 수학뿐이니까요. 수학은 명확하고 확정적이기 때문입니다.

아래 링크에서 직접 확인해보세요.

📱 원문 보기

🕐 기밀 컴퓨팅(confidential computing)을 무너뜨리는 장비는 47.62달러입니다

더 최신 버전은 서류가방에 들어갈 정도로 작아서, 앞좌석 밑에 넣을 수 있습니다.

둘 다 암호화 자체를 깨뜨리지는 않습니다. 다만 인증서가 당신이 실제로 있지 않은 기기를 가리키도록 만듭니다.

아무도 패치를 내놓지 않습니다, 기술적으로는 아무것도 고장 나지 않았기 때문입니다.

📱 원문 보기

🕐 한국은 저희 스웜 게임을 두 번째로 많이 플레이하는 나라!

드론 50대, 무기 3종, 브라우저에서 약 1분. 대부분의 사람들은 남은 절반의 발사 기회를 쓰지 않고 남깁니다.

지금 플레이 해보세요: https://t.co/5mXenY38Er

🕐 서명된 로그는 올바른 모델이 실행됐다고 말합니다

그런데 더 저렴한 모델을 몰래 돌려놓고 파일에는 비싼 모델 이름을 적어 넣은 시스템이 만든 서명된 로그도, 똑같이 그렇게 말해줍니다.

증명(proof)은 그럴 수 없습니다. 모델을 바꾸거나, 입력값을 바꾸거나, 출력값의 숫자 하나만 바꿔도 검증이 멈춰버립니다. 틀렸는데도 여전히 통과하는 버전은 존재하지 않습니다.

주장은 정직하면서도 틀릴 수 있습니다. 증명은 틀릴 수 없습니다.

📱 원문 보기

🕐 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
✍️ 참여 신청: 구글폼 바로가기

🕐 조종사 한 명은 드론 한 대를 날릴 수 있습니다

비유가 아닙니다: 연방 규정상 한 사람, 한 대의 항공기이며, 그 이상은 누군가가 직접 신청해서 받아야 하는 예외 승인(waiver) 사항입니다.

에피소드 7: 왜 그 한계가 산술적인 문제인지, 그리고 스웜이 스스로 날기 위해 무엇이 바뀌어야 하는지.

📱 원문 보기

🕐 AI가 "프라이빗"하다는 인증서, 정말 믿어도 될까요?

AI 제공업체는 여러분의 채팅이 비공개였음을 증명하는 인증서를 보여줄 수 있습니다. 그런데 그런 인증서를 만들어주는 봇도 있습니다.

조지아텍과 퍼듀 연구진이 X에서 운영하는 "Attestation as a Service" 계정은, 요청을 보내면 "정품 인텔 하드웨어의 보호된 영역에서 코드가 실행됐다"는 서명된 인증서를 돌려줍니다. 이 인증서는 인텔의 공식 검증 라이브러리를 최고 신뢰 수준으로 통과하는데, 실제로는 해당 기능이 없는 하드웨어에서 만들어진 것입니다.

📌 이번 글에서 다루는 내용

• 47.62달러짜리 장치가 기밀 컴퓨팅의 신뢰 구조를 우회하는 방법
• NVIDIA GPU 어테스테이션이 "빌려온 보고서"로도 통과되는 이유
• 인텔과 AMD가 패치 대신 "범위 밖"이라고 답한 배경
• 운영자를 믿지 않아도 되는 대안, 영지식 증명(ZK proof)

📚한글 블로그 전문 보기

🕐 OpenAI의 한 모델에게 빅토리아주가 피부 질환 약에 얼마를 쓰는지 물었습니다

그런데 그 모델은 메디케어(Medicare) 포털 안으로 들어가 인증 정보를 빼내고 있었고, 그 와중에도 여전히 피부 질환 약을 찾고 있었습니다.

그 일은 6월 18일에 일어났습니다. 호주는 9월 10일이 되어서야 그 사실을 알게 됐고 알려준 곳은 OpenAI였습니다.

📱 원문 보기

🕐 모든 자율 시스템은 언젠가, 그 시스템이 한 일 아래에 한 사람이 자기 이름을 걸어야 하는 순간에 이릅니다

대시보드가 아닙니다. 서명입니다. 책임질 사람이 나서서 "이런 일이 있었고, 제가 어떻게 아는지는 이렇습니다"라고 말하는 것입니다.

우리는 그동안 만든 사람을 믿는 방식으로 이 문제를 다뤄왔습니다. 하지만 모델이 아무도 들여다보기 전에 먼저 결정을 내리기 시작하고, 스웜이 아무도 고개를 들기 전에 천 번을 결정하기 시작하면서, 그 방식은 더 이상 통하지 않게 됐습니다.

어떻게 알 수 있을까요?

우리가 만드는 모든 것은 이 질문에 대한 답입니다.

📱 원문 보기

🕐 소프트웨어의 모든 신뢰 메커니즘은 하나의 질문으로 귀결됩니다

그 기록은 누가 만들었는가.

로그는 시스템이 사후에 만들며 시스템이 쓰기로 정한 내용만 담고 있습니다. 감사는 사람이 나중에 그 로그를 바탕으로 만듭니다. 증명은 연산이 실행되는 동안 연산 자체가 만듭니다.

아무도 쓰지 않습니다. 아무도 고칠 수 없습니다. 차이는 그게 전부입니다.

지난주에 올린 두 번째 글에서는 이렇게 말했습니다: 서명된 로그는 올바른 모델이 실행됐다고 알려줍니다. 더 저렴한 모델을 몰래 돌린 시스템이 만든 서명된 로그도 똑같이 그렇게 말해줍니다.

📱 원문 보기