🕐 라그랑주의 또 다른 핵심 연구, Dynamic zk-SNARKs가 SBC 2025에 채택
AI와 블록체인을 위한 실시간 업데이트 가능한 증명 시스템의 새 지평을 열다.

기존 zk-SNARKs의 한계
zk-SNARK는 데이터를 증명 가능한 상태로 만들어주는 강력한 암호 기술입니다. 하지만 Groth16, Plonk, Marlin 등 기존 시스템은 정적(static) 데이터만을 전제로 설계되어, 데이터가 바뀔 때마다 전체 증명을 다시 생성해야 했습니다. 이는 AI처럼 끊임없이 변화하는 시스템에는 비효율적이고 비현실적입니다.

Dynamic zk-SNARKs의 혁신
✅ 기존 증명을 완전히 재생성할 필요 없이 증명을 점진적으로 업데이트 가능
✅ 데이터가 조금만 변경될 경우 (예: Hamming distance 기준) 부분 증명만 업데이트
✅ AI 모델이 재학습하거나 파인튜닝할 때도 증명 유효성 유지
✅ 실시간 데이터 스트림, 스마트 컨트랙트 증명 후크, ZK 파이프라인 최적화 등 실용적 활용에 최적화
✅ DeepProve와 통합 시, AI 추론 결과의 무결성·정합성·안전성까지 실시간 검증 가능
✅ 모든 업데이트 과정은 기존 Groth16과 동일한 q-DLOG 기반 보안 가정에 따라 안전하게 유지

👉 Dynamic zk-SNARKs는 단순한 연구를 넘어, 안전하고 검증 가능한 AI를 위한 핵심 인프라입니다.

기술 구성 요소

1️⃣ Dynamo - 변경된 데이터 벡터가 기존 벡터의 거의 순열임을 효율적으로 증명
2️⃣ Dynaverse - 게이트 제약 조건과 순열을 분해해 O(√n·log n) 시간에 증명 업데이트
3️⃣ Dynalog - 히에라키 방식의 버킷 구조로 대규모 데이터셋도 동적으로 증명 가능

학회 채택 및 업계 임팩트

Dynamic zk-SNARKs는 블록체인 연구팀으로서는 드물게 SBC 2025 정식 채택 (IACR 2024/1566). 이로써 라그랑주는 Reckle Trees (SBC 2023) 특허 기술에 이어, 3년 연속 최고 권위 학회 채택 기록을 이어가고 있습니다.

정적 → 동적: 패러다임의 전환
정적 증명에서 동적 증명으로.
이제 증명 시스템도 모델처럼 진화합니다.

🗓 발표 및 생중계: 2025년 8월 4일, SBC 2025
📖 블로그 바로가기 | 📱 원문 보기

🕐 이번 주 목요일, 7월 31일에 열리는 Lagrange Science Fair에 여러분을 초대합니다!

다가오는 SBC 2025 (Science of Blockchain Conference)를 앞두고 개최되는 이번 행사🎉

Yale, Stanford, Cornell, UCBerkeley, Pennsylvania 등

세계 유수 대학의 최고 연구자들이 참석해 블록체인과 AI 분야의 최신 혁신을 공유할 예정입니다.

많은 관심과 참여 부탁드립니다!

📱 원문 보기

👏 $LA with LABUBU 커뮤니티 이벤트 당첨자 발표🔥

라그랑주에 많은 관심을 가져준 열혈 공부러들, 축하드립니다!

이번 이벤트를 통해 진심어린 피드백과 커뮤니티에 열정을 보여주신 분들을 많이 발견했습니다. 여러분들의 소중한 의견 잘 반영해서 발전하는 모습 보여드리도록 하겠습니다 👊

🔥당첨자 명단

@kyj2600
@gwakys
@taegi94
@Stone_Buddha
@wukism
@hih0083
@nogongju
@KwomchamgUk2man
@hoon1130
@Toboong9

당첨자분들은 상품이 오는대로 기입해주신 주소로 배송할 예정이며 약 일주일 정도 시간이 소요될 수 있음을 알려드립니다 👀

📌 관리자는 절대 먼저 DM하지 않습니다. 스캐머를 조심하세요.
📌 기타 궁금한 점이 있는 분들은 채팅방에서 매니저를 통해 문의 부탁드립니다.

🕐 DeepProve는 안전하고 검증 가능한 AI의 새로운 표준을 선도하고 그 기능을 계속 확장하고 있습니다.

현재 AI의 ‘추론(reasoning)’ 과정은 블랙박스처럼 작동하며 왜 그런 결정을 내렸는지는 알기 어렵습니다.

‘Proofs of Reasoning(추론 증명)’은 AI가 어떤 논리로 결정을 내렸는지를 암호학적으로 증명하는 새로운 방식입니다.

내부 모델의 가중치나 민감한 입력값을 노출하지 않고도 AI의 의사결정 과정을 검증할 수 있게 해줍니다.

국방, 의료, 정책 등 민감한 분야에 필수적인 기술이며, DeepProve는 이러한 규제 수준의 투명성과 감사 가능한 AI를 가능케 할 인프라로 자리잡아가고 있습니다.

더 많은 기술 로드맵은 2025년 Lagrange 로드맵에서 확인할 수 있습니다.

📱 원문 보기| 📚블로그 바로가기

🔬 지금 바로 Lagrange Science Fair – SBC ’25 프리뷰를 시청해보세요!

흥미진진한 과학과 혁신의 현장을 함께 만나보세요.

아직 안자는 분들, 지금 바로 접속하세요!

📱 바로 보기

🕐 Lagrange × Hetu Protocol: AI 연구에 암호학적 신뢰를 더하다

Lagrange는 @hetu_protocol과 파트너십을 맺고, AI 연구의 모든 데이터·모델 업데이트·기여를 검증 가능하고 위변조 불가하게 만드는 DeepProve를 제공합니다.

✅ 연구 데이터셋이 실제로 사용됐는지
✅ 훈련 과정이 정당했는지
✅ 기여가 독립적으로 검증 가능한지

이제 모든 연구 기여는 암호학적 증명과 함께 투명하게 기록됩니다.
연구자들은 정당한 인정을 받고, 과학은 더 투명해집니다.

DeepProve + Hetu = 검증 가능한 AI 연구의 새로운 표준.

📱 원문 보기

🕐 또 한 번의 멋진 SBC가 이렇게 막을 내렸습니다 🎬

라그랑주는 암호학, 탈중앙화 시스템, 그리고 실질적 사회 영향력이 만나는 최전선의 연구에 (다시 한 번!) 참여할 수 있어 영광이었습니다.

곧 유튜브에서 공개됩니다:

〰️ Dynamic zk-SNARKs - 예지 왕(Weijie Wang) 박사, @Yale
〰️ GARUDA & PARI: Equifficient Polynomial Commitments를 통한 더 빠르고 작은 SNARKs - 알리르자 시르자드(Alireza Shirzad) 박사, @Penn

📱 원문 보기

🕐 라그랑주가 Future 50에 선정되었습니다

Future 50은 200명 이상의 최고 VC들이 선정한, 산업을 확장·지배·재편할 잠재력을 지닌 기업 명단입니다.

이번 소식은 하나의 신호입니다.

검증 가능한 AI(Verifiable AI)는 필연적인 미래이며, 그 길을 라그랑주가 이끌어가고 있습니다.

📱 원문 보기

🕐 라그랑주 4행시 커뮤니티 이벤트

여러분 어느새 말복이 다가오고 있습니다 🎉 무더운 여름 활기차게 잘 버텨온 라그랑주 커뮤니티 여러분들을 위해 가볍게 라그랑주 4행시 이벤트를 준비했습니다.

모두들 재밌는 4행시 작성하고 말복 기념 원기 충전을 위해 치킨을 뜯을 수 있는 기회까지 얻어보세요 👊

📌이벤트 상품 및 설명

🗓 이벤트 기간: 게시 시점~ 8월 17일 자정
🎁 상품: BHC 맛초킹 콜라세트 30개

· 커뮤니티 그룹 참여와 4행시 풀이는 필수요건에 해당합니다.

📌

이벤트 내용

라그랑주 한국 공지채널과 소통방에 입장해서 커뮤니티의 일원이 되고 구글폼을 통해 4행시를 남겨주세요 🥺😤

📌 주의 사항
✅공지방 및 소통방 입장과 구글폼 제출은 필수조건입니다.
✅이벤트 참여 조건 불충족 및 기타 부정행위의 발견 등은 사전 예고없이 당첨자에서 제외될 수 있습니다.

🕐 라그랑주 공지 채널 | 라그랑주 소통방 | ✍️ 구글폼 작성하기

🕐 AI가 내린 의료 결정, 증명할 수 있어야 합니다

병원들은 이미 AI로 약물 용량을 계산하고 있습니다.
하지만 잘못된 모델이나 부정확한 결론은 생명을 위협할 수 있습니다.

📌검증 가능한 AI로 이루어진 용량 결정 과정

· 환자의 생체 신호와 병력을 입력
· 의료 AI 모델이 용량을 제시
· DeepProve가 모델, 입력값, 출력값을 검증
· 결과가 의사에게 전달

DeepProve는 AI 모델·입력·출력을 검증해 실시간·증명 가능한 결과를 의사에게 전달합니다.

생명을 지키는 결정, 이제 증거로 뒷받침됩니다.

📱 원문 보기

AI의 공정성, 증명할 수 있을까요?

DeepProve가 제시하는 Proofs of Fairness는 모델이나 데이터 공개 없이, AI가 모든 사람을 공정하게 대우했는지를 증명합니다.

DeepProve는 다음을 가능하게 합니다:

✅규제 준수: 예를 들어, 인구통계학적 균형(demographic parity) 보장
✅편향 완화 검증: 감사(audit) 과정의 투명성 확보
✅기밀성 유지: 모델 구조나 학습 데이터 유출 없이 검증

또, 금융, 교육, 채용 등 민감한 의사결정이 필요한 분야에서 중요한 역할을 하게 될 것입니다.

예를 들어, 대출 모델이 신용기록을 공개하지 않고도 인구통계학적 균형을 입증하거나, 입학 알고리즘이 학생 데이터를 노출하지 않고도 공정성 기준을 충족했음을 증명할 수 있습니다.

편향 검증은 더 이상 ‘맹목적 신뢰’에 의존할 필요가 없습니다.

미래의 AI는 ZK에서 시작되고, 미래의 인류는 Lagrange에서 시작됩니다.

📱 원문 보기 | 📖 라그랑주 로드맵 보기

🕐 Deep Dive - Wave 1이 진행 중, 한국 커뮤니티도 진격‼️

우리의 소중한 한국 커뮤니티 멤버 여러분, 지금 디스코드에서 멋진 상품이 걸린 독점 래플이 진행 중입니다!

디스코드에서 한국 채널에 참여해주세요 Korean goldfish라면 추가 부스팅이 적용될 예정🔥

🤔 왜 디스코드인가요? 홀더를 자동으로 인증할 수 있는 기능 등 운영 상 편리를 위해입니다.🥺

걱정 마세요 — 모든 알파와 주요 업데이트는 항상 이곳, 한국 공지 채널에 가장 먼저 올라옵니다 ‼️

지금 라그랑주 디스코드에 참여하고 Deep Dive 캠페인에 참여하세요.

순위별 리워드는 다음과 같습니다:

🥇 1등 — TOKEN2049 싱가포르(10월 1–2일) 왕복 항공권 + 입장권 + 기념 메달리온
🥈 2등 — 커스텀 PlayStation 5 + 기념 메달리온
🥉 3~5등 — Lagrange 봄버 재킷 + 기념 메달리온
🏅 6~10등 — 기념 메달리온

💡 각 메달리온은 Deep Dive 캠페인 기간 동안 모든 공식 Lagrange 이벤트에 입장할 수 있는 권한을 제공합니다.

참여 방법은 간단합니다 — ‘참가하기’ 버튼만 클릭하면 됩니다!

고래(Whales)는 당첨 확률이 2배, VIP는 3배입니다.
당첨자는 무작위로 선정되며, 순위는 봇이 추첨한 순서대로 결정됩니다.

✅ 디스코드에 참여해야만 상품을 받을 수 있습니다.
✅ 모든 알파 정보는 한국 커뮤니티에서 선공개 될 예정입니다.

🥺디스코드 참여하기

👏 라그랑주 4행시 커뮤니티 이벤트 당첨자 발표🔥

열정 넘치는 라그랑주 커뮤니티 멤버분들, 축하드립니다!

이번 이벤트를 통해 재치있는 커뮤니티 멤버분들을 많이 발견했습니다. 우수작 하나를 공유하며 이번주도 커뮤니티 멤버들의 행복을 기원합니다 👊

라: 라디오에서 흘러나오던 옛 노래처럼
그: 그 시절의 설렘이 문득 떠오르고
랑: 랑데부 약속하던 그날의 하늘빛이
주: 주머니 속 접힌 편지처럼 아직 남아있네

🔥당첨자 명단

@potato053, @dk2285, @margargi, @giribi7722, @whdgh608, @CHY8821, @york7979, @eogml0914, @leehs0802, @minmsook, @rjdbaj, @cameljin4, @Mifin1sm, @pard231, @ssibel_homme, @santa4464, @woonanana, @justdoit2436, @laboongm, @wingongong, @kjk07111, @gmim8510, @hoyapo, @lmslms1004, @ljhee3611, @hangsoon97, @Lithos_t3, @majo970319, @gggultong, @obpi9

당첨자분들은 금일부터 구글폼에 기입해주신 번호로 전달할 예정입니다. 카카오톡 혹은 문자를 확인해주세요 👀

📌 관리자는 절대 먼저 DM하지 않습니다. 스캐머를 조심하세요.
📌 기타 궁금한 점이 있는 분들은 채팅방에서 매니저를 통해 문의 부탁드립니다.

🕐 라그랑주 칼럼: 한국의 AI 인프라 확장과 라그랑주

한국은 지금 AI 인프라 확장과 제도적 기반 강화의 길을 걷는 중. 정부는 ‘AI 기본법’을 제정하고, 대규모 투자와 함께 AI를 국가 성장의 중심축으로 삼길 원함.

🛡 정부 정책과 AI 기본법

2024년 12월 제정된 ‘AI 기본법’은 2026년부터 시행. 정부는 이를 뒷받침하기 위해 65조 원 규모 투자로 슈퍼컴퓨터 허브, 15,000개 GPU 지원 등 AI 인프라 확충에 나서는 중.

💡 AI 인프라, 기업들의 속도전

· SK hynix: HBM 메모리 시장 50% 점유, NVIDIA 협력, HBM4 개발 진행
· SK텔레콤: GPUaaS 플랫폼 출시, 1,000개 이상 NVIDIA H100 GPU 도입, ‘해인(Haein)’ GPU 클라우드 가동
→ 한국은 AI 반도체와 데이터센터 인프라에서 빠르게 세계 경쟁력을 높이는 중.

🔐 라그랑주와의 연결: 검증 가능한 AI

AI 인프라가 확장될수록, “이 AI 결과가 올바른 모델과 입력으로 생성된 것인지 증명할 수 있는가”가 핵심 과제.

· DeepProve는 AI 추론 결과를 수학적으로 증명해 결과의 신뢰성·투명성·공정성을 확보.
· 금융, 교육, 채용 등 고위험 분야에서 규제 충족 + 사용자 신뢰 확보에 기여다.
· SK텔레콤 GPU 클라우드와 DeepProve가 결합된다면, 고객은 결과를 신뢰할 수 있는 “검증 레이어”를 얻게 됨.

⚖️ AI 혁신과 신뢰의 선순환

· 정부: 기준과 정책 제시
· 기업: 기술과 인프라 구축
· 라그랑주: 신뢰성을 보장하는 검증 레이어 제공

AI와 블록체인의 융합은 투명하고 신뢰할 수 있는 AI 시대를 여는 핵심.

👉 이제 “검증 가능한 AI(Verifiable AI)”가 한국 AI 혁신의 새로운 키워드입니다.

📚 블로그 바로가기

🕐 라그랑주 랩스, DeepProve-1 공개 소식 🔥

라그랑주 랩스가 최초의 상용화 가능(production-ready) zkML 시스템인 DeepProve-1을 발표했습니다! 🎉

OpenAI의 GPT-2 전체 추론에 대한 제로 지식 증명을 성공적으로 생성하며 검증 가능한 AI가 더 이상 꿈이 아닌 현실임을 증명했습니다.

🌟 DeepProve-1의 주요 성과

✅ GPT-2 완전 증명: 복잡한 트랜스포머 아키텍처의 추론을 암호학적으로 검증
✅ LLAMA 지원 초읽기: GPT-2와 유사한 구조를 활용해 LLAMA, Gemma 등 차세대 LLM 지원 준비
✅ GGUF 형식 지원: Hugging Face 등에서 널리 사용되는 모델 형식으로 접근성 강화
✅ 국방, 의료, 금융 적용 가능: 프라이버시 보존 및 감사 가능성을 통해 신뢰성 있는 AI 구현

🔜 앞으로의 계획

DeepProve-1은 성능 최적화(메모리 감소, 지연 최소화, 증명 생성 가속)를 통해 실시간 상용 환경에 최적화됩니다. 다음 목표는 Meta의 오픈소스 LLM LLAMA 증명으로, 안전한 AI의 대중화를 앞당길 예정입니다!

💡 왜 중요한가?

AI가 의사결정을 주도하는 시대, DeepProve-1은 모델의 동작을 감사하고 추론을 검증하며 모든 배포를 투명한 표준으로 유지합니다. 안전하고 신뢰할 수 있는 AI의 미래를 위해, DeepProve가 앞장섭니다!

📱 원문 보기 | 📖 한글 블로그 바로가기

🕐 딥프루브가 금융 서비스에서 활용되는 방식

AI 트레이딩에서 1ms의 지연은 수백만 달러의 차이를 만듭니다.

하지만 잘못된 시그널이나 조작된 모델이라면? 피해는 되돌릴 수 없습니다.

DeepProve는 모델·데이터·출력을 실시간 검증해
신뢰할 수 있는 트레이딩 시그널만 제공합니다.

✅ 1000배 빠른 속도 — 실시간 트레이딩 최적화
✅ 완벽한 프라이버시 — 민감한 퀀트 전략 보호
✅ 규제 검토 대응 — 투명한 신뢰성 보장

트레이더는 시그널을 맹신하지 않습니다.
증명되었기에 믿습니다.

DeepProve — verifiability for the financial stack

📱 원문 보기

🕐 라그랑주, Engineering Updates

라그랑주의 연구·개발·엔지니어링 최신 소식을 한눈에 볼 수 있는 가이드 👨‍🔬

📌 7월 주요 소식

DeepProve는 GPT-2 전체 추론 암호학적 증명에 성공하며 세계 최초 프로덕션 레디 zkML 시스템으로 도약했습니다.

다음 목표는 LLAMA 호환성과 고성능·대규모 LLM 증명입니다.

⚡️ DeepProve 주요 업데이트

· Computational Graph 지원 → Transformer Residual 등 복잡한 모델 구조 호환
· GGUF 포맷 지원 → Hugging Face 등 커뮤니티 모델과 호환성 강화
· LLM Inference Engine 구축 → 오토리그레시브 추론 및 토큰 단위 증명 지원
· Transformer 핵심 연산 레이어 추가 → Softmax, LayerNorm, GELU, QKV Attention 등

🥺 현재 집중 과제

· 성능 최적화 → 증명 속도, 메모리 사용량, 증명 크기 개선
· 암호학적 개선 → Groth16 기반 PCS 벤치마크 및 Lookup Table 재사용 최적화
· 병렬화 및 분산 증명 → DAG 기반 연산 병렬 처리, 멀티코어 활용, 노드 간 분산 증명 지원

🚶‍♂️ 다음 단계

· Meta LLAMA 지원 준비 → RMSNorm, SILU, Grouped Attention 등 신규 레이어 통합 예정
· 성능 최적화 → proving 속도 향상, 메모리 절감, 분산 증명 및 멀티코어 병렬화 추진

DeepProve — verifiability for the AI era. 🧠

📱 원문 보기

🕐 스터디 윗 라그랑주, 커뮤니티 이벤트

안녕하세요 커뮤니티 여러분!

라그랑주의 최신 소식을 함께 살펴보며 모두 함께 라그랑주를 알아볼 수 있는 퀴즈 이벤트가 돌아왔습니다.

이번 이벤트는 언제 먹어도 맛있는 맥도날드 빅맥 세트를 선물로 드릴 예정이니 많은 참여 부탁드려요🔥

📌이벤트 상품 및 설명

🗓 이벤트 기간: 게시 시점~ 8월 31일 자정
🎁 상품: 맥도날드 빅맥 세트 50개

· 커뮤니티 그룹 참여와 퀴즈 풀이는 필수요건에 해당합니다.

📌 이벤트 내용

1️⃣라그랑주 한국 공지채널과 소통방에 입장해서 커뮤니티의 일원이 되고 구글폼을 통해 퀴즈를 풀어주세요 👋

📖 참고자료
· 자료 1
· 자료 2
· 자료 3

📌 주의 사항

✅공지방 및 소통방 입장과 구글폼을 통한 퀴즈 제출은 참여 필수 조건입니다.
✅이벤트 참여 조건 불충족 및 기타 부정행위의 발견 등은 사전 예고없이 당첨자에서 제외될 수 있습니다.

🕐 라그랑주 공지 채널 | 라그랑주 소통방 | ✍️ 구글폼 작성하기

🕐 AI는 헬스케어 산업을 혁신하고 있지만, 인명의 안전이 직결되는 만큼 정확성을 입증하는 것이 무엇보다 중요합니다.

DeepProve를 통해 의료 AI 출력값을 검증할 수 있어 의료 전문가들이 보다 신뢰할 수 있고 정확한 진단과 치료를 제공할 수 있습니다:

→ 증상이 나타나기 전 질병을 조기 발견
→ 근거 기반의 최적 치료법 및 투약량 추천
→ 환자가 안심할 수 있는 원격 회복 케어 제공

아래에서 DeepProve, 세계 최초로 LLM 전체 추론을 증명한 zkML 시스템을 확인하세요 👇

📱 원문 보기 | 📖 해당 블로그 가기

🕐 Lagrange x LazAI 파트너십 발표

Lagrange가 @LazAINetwork와의 파트너십을 통해
DeepProve의 검증 가능한 AI(Verifiable AI)를 블록체인으로 확장합니다. 🚀

🔗 DeepProve x LazAI 핵심 포인트

AI 모델, 에이전트, 데이터 스트림에 대한 암호학적 증명을 DAT로 민팅

LazAI에서 발행되는 DAT는 검증 가능(Verifiable), 소유 가능(Ownable), 거래 가능(Tradeable), 프로그래밍 가능(Programmable)

💡 활용 분야
→ 금융 (Finance)
→ 헬스케어 (Healthcare)
→ AI 거버넌스 (AI Governance)

Verifiable AI, 이제 표준(Standard)이 됩니다.

📱 원문 보기