🕐 라그랑주, 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)이 됩니다.

📱 원문 보기

🕐 AI 모델은 동적입니다. 증명도 그래야 합니다.

라그랑주의 Dynamic zk-SNARKs 연구는, 처음부터 다시 시작할 필요 없이 증명을 실시간으로 업데이트할 수 있게 합니다.

이를 DeepProve와 결합하면, 검증 가능한 AI(Verifiable AI)에 한걸음 더 가까워집니다.

SBC 2025에서 발표한 Dynamic zk-SNARKs 강연 보기

https://youtube.com/live/6qFjjl9s688?feature=shared&t=5180

📱 원문 보기

🕐 검증 가능한 AI(Verifiable AI)의 시대가 열렸습니다.

DeepProve는 지금도 빠르게 성장 중입니다:

→ 140,000명+ 사용자 돌파
→ 3,000,000건+ AI 추론 검증 완료

사용자와 파트너를 위한 각각의 증명은, AI가 처음부터 안전하고 검증 가능한 세상으로 한 걸음 더 나아감을 의미합니다.

DeepProve가 검증 가능한 AI를 어떻게 구현하는지 확인하세요:
https://lagrange.dev/blog/deepprove-1

🕐 Lagrange × Layer: 오프체인 AI, 이제 온체인에서 증명

Lagrange의 DeepProve와 Layer의 WAVS가 힘을 합쳐 오프체인에서 실행된 AI 결정까지 온체인에서 암호학적으로 증명할 수 있게 됩니다.

💡 핵심 포인트

· 동일한 모델·가중치·입력값 기반인지 → 수학적으로 검증 ✅
· 블랙박스 없는 신뢰 가능한 AI 에이전트 구현
· AI·게임·ML 파이프라인 등 오프체인 연산까지 온체인에서 완벽 추적
· 예시: 분쟁 조정 에이전트 🤝
→ 판단마다 DeepProve 증명을 붙여 체인에 기록 → 스테이킹 노드가 자동 검증.

열리는 가능성

· 검증 가능한 AI 추론 파이프라인
· 트러스트리스 AI 에이전트
· 온체인 분쟁 해결
· 금융·헬스케어·국방 등 규제 산업까지 확장

오프체인에서 결정하고, 온체인에서 증명하는 시대가 옵니다. 🧠✨

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

🕐 스터디 윗 라그랑주 커뮤니티 이벤트 당첨자 발표

열심히 이벤트에 참여해주신 라그랑주 커뮤니티 멤버분들, 축하드립니다!

이번주도 커뮤니티 멤버들의 행복을 기원합니다 👊

🔥당첨자 명단

@adot8884, @york7979, @moonki989, @jianmommy, @sga336625, @Catrtt, @jisu56458, @Bebrav2, @kirasu16, @cold8day, @lsmm00, @Malik_chung, @jason3333_telegram, @poohloveky, @pckio, @haipeo439, @fbrlguszld, @teslaaa9103, @zerochoco, @saintangel1004, @bluemob32, @rjdbaj, @gogossi, @ordicoon, @hakaotalk6, @arms8281, @tenos195, @CRYPTO_bonehead, @taeil112, @jk4513, @PROPER3441, @ljknnm2, @korini182, @leberona, @yona5586, @bd_nh, @kikiki897, @peterian2, @alsdnalsdnchl, @gidanim588, @ljhee3611, @sondhmam, @kennam1, @hoodiecat77, @harry2644, @kzipoop, @jong382, @wijijfeijf, @hhhwan, @heedang119

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

📌 관리자는 절대 먼저 DM하지 않습니다. 스캐머를 조심하세요.

🕐 현재 AI는 여러 의사결정과 행동을 숨길 가능성이 있습니다.

→ 추론 및 의사결정 과정
→ 보안 취약점
→ 불공정한 편향
→ 잘못된 데이터
→ 허위 정보
→ 규제 위반 가능성

우리가 AI를 신뢰하기 위해서는, 그 결정들을 증명할 수 있어야 합니다.

DeepProve는 모든 추론 과정을 검증 가능하게 만들어 이러한 문제들을 해결합니다.

📱 원문 보기

🕐 AI 신뢰성, 인간 감독만으로 충분할까?

지난주 투표에서 많은 분들이 "인간 감독(Human Oversight)"을 AI 신뢰 확보 방법으로 선택했어요.
하지만 문제는, 사람도 실수한다는 것 🫠

👎 인간 감독의 한계

• 편향된 판단
• 주의력 한계
• 매초 수십억 번의 AI 추론을 검증하기엔 물리적으로 불가능

그래서 필요한 게 ZK(Zero-Knowledge) 기반 검증, 그중에서도 zkML.

✔️ zkML이 가능한 것

• 정확성 보장: AI가 올바른 연산을 수행했는지 증명
• 프라이버시 보호: 로직은 숨기고 결과만 검증
• 확장성: 수십억 건의 추론도 작은 증명으로 빠르게 검증
• 호환성: 체인·앱·에코시스템 간 검증 데이터 공유 가능

Lagrange의 DeepProve는 모든 AI 추론에 대한 ZK 증명을 제공합니다.

즉, AI가 내린 모든 결정과 결과를 암호학적으로 검증할 수 있다는 뜻이에요.

AI가 미래를 만들어가고 있다면,
ZK는 그 미래가 ‘안전하고 정확하다’는 걸 증명하는 열쇠 🔑

📱 원문 보기

🕐 두 이미지 중 어떤 것이 AI 생성 이미지인지 아시나요?

DeepProve와 함꼐라면 이 문제를 검증가능한 AI를 통해 쉽게 접근 가능합니다.

📱 원문 보기

🕐 KBW의 화려한 피날레를 장식할 AI Night by Lagrange에 여러분을 초대합니다🔥

Co-Hosts: Rialo, OpenLedger and LazAI

AI 혁신의 중심에서 커뮤니티가 하나 되는 특별한 밤을 함께하세요.

🗓일시: 2025년 9월 26일

🎉AI Night에서 만나는 경험

· 감각적인 라이브 음악 & DJ 세트
· 엄선된 음료와 고급 핑거푸드
· 의미 있는 네트워킹과 축제의 분위기
· $LA 토큰 홀더를 위한 한정판 굿즈
· 이벤트 공동 주최사의 독점 드롭

AI 창업자, 투자자, 트레이더, 빌더, 크리에이터가 한자리에 모여 네트워킹하고 함께 미래를 그려보세요, 선착순 자리!

지금 등록하고 KBW를 최고의 순간으로 마무리하는 특별한 밤에 동참하세요🚀

커뮤니티 특별 코드 : LAFAMKBW

🥺 등록 하러가기

🕐 DeepProve가 AI의 투명한 미래를 열다!

Lagrange의 DeepProve 로드맵이 암호학적으로 안전하고 투명한 AI로 나아갑니다!

📌 핵심 기능: Fine-tuning 증명

· 검증 가능: 모델 업데이트, 데이터 사용, 학습 제약 준수 증명
· 비공개 보호: 데이터셋이나 방법 노출 없이 fine-tuning 과정 검증
· 다양한 활용: 기업(내부 법률 문서), 국방(위협 탐지), 과학 AI에 최적화

📌 왜 중요한가?

· AI fine-tuning의 블랙박스를 제거, 투명한 프로세스 보장
· 엄격한 데이터 및 학습 규제 준수로 신뢰 구축

Lagrange의 ZK 기술로 AI 혁신을 이끌며 더 나은 미래를 설계합니다!

📱 원문 보기 | 📖 로드맵 보러가기

🕐 라그랑주 8월 엔지니어링 업데이트

DeepProve가 획기적인 성과를 달성했습니다! 8월 엔지니어링 업데이트로 라그랑주 기술의 현황을 체크해보세요👏

📌주요 성과

· GPT-2 전체 시퀀스(1024토큰) 증명 성공: 동일 하드웨어에서 10토큰 대비 25배 빠른 0.5토큰/초 처리량! zkTorch보다 최대 500배 빠른 성능

· 최신 scroll/ceno로 리팩토링: 증명 속도 2배↑, 메모리 사용 10배↓

· GPU 추론 도입: Burn 라이브러리로 70% 레이어 포팅 완료, 대규모 분산 증명 가능

· 메모리 관리 혁신: 임베디드부터 클러스터까지 확장 가능한 프레임워크 구축

📖블로그 바로가기

🕐 라그랑주는 다수의 전략적 파트너와 협력해 AI 신뢰를 제공

라그랑주의 DeepProve를 통해 AI를 투명하고 책임감 있게 만들기 위해 협력하는 파트너는 아래와 같습니다

⬇️

📱 원문 보기

🕐 Deepdive 당첨자 분들 필독사항

당첨자분들 중 해당 이미지에 계신 분들은 디스코드 내에서 친구 요청 수락을 해야 연락이 가능합니다.

확인이 어려우신 분들은 디스코드 핸들을 공유해주세요!

🕐 딥페이크와 생성형 비디오로 인해 소셜 미디어 신뢰가 무너지고 있습니다.

신뢰를 회복하려면 실제 콘텐츠와 합성 콘텐츠를 구분해야 합니다.

이를 위해 AI 검증이 필요합니다.

ZK 증명(ZK proofs)을 사용하면 딥페이크를 탐지하고 대규모 온라인 커뮤니티에서 신뢰를 회복할 수 있습니다. 또한 플랫폼이 AI로 생성된 비디오의 정확성을 증명할 수 있도록 지원할 수 있습니다.

📱 원문 보기

🕐AI Night는 라그랑주와 공동 주최사들이 함께! with Rialo 👀

이번 주에는 이벤트에 공동 주최사로 참여하는 각 회사에 대해 더 알아볼 예정인데요 가장 먼저 Rialo에 대해 알아보겠습니다.

👏 리알로(Rialo)

Subzero Labs가 개발한 Rialo는 현실 세계 연결성과 이벤트 기반 실행을 결합하여 팀들이 웹2 개발처럼 손쉽게 상용화 수준의 애플리케이션을 출시할 수 있도록 지원합니다.

메타, 애플, 아마존, 넷플릭스, 구글, 틱톡, 시타델, 미스텐랩스, 솔라나 및 여러 주요 프로토콜 출신의 베테랑들이 설립한 Subzero Labs는 블록체인을 풀스택 제품 플랫폼으로 전환하고 개발자, 기업, 소비자를 위한 획기적인 활용 사례를 열어가고 있습니다.

📌 행사 정보

이벤트 일정 : 9월 26일 (KBW 주간)
커뮤니티 특별 코드 : LAFAMKBW
* 커뮤니티 특별 코드를 활용해 Standard로 신청하세요!

루마 등록 링크 : https://luma.com/ainightkbw

여러분들의 많은 참여 부탁드립니다 🔥

🔗 행사 링크 바로가기

🕐 라그랑주, SEC와 디지털 자산 규제 혁신을 논의하다

👊DeepProve로 프라이버시와 컴플라이언스 균형 제안

라그랑주 팀은 지난 9월 12일 SEC Crypto Task Force와 만나 디지털 자산 규제와 프라이버시 보호의 균형을 논의했습니다!

핵심은 DeepProve ZK(영지식) 증명 시스템으로 데이터 유출 없이 컴플라이언스를 검증하는 것.

📌왜 규제 샌드박스인가?

✅대규모 데이터 수집 없이 ZK 증명 테스트 가능
✅기존 규제 도구는 블록체인에 부적합
✅광범위한 데이터 수집은 프라이버시 침해, 법적 리스크, 운영 부담 초래
✅샌드박스로 SEC가 현대적 규제 방식을 안전하게 실험 가능

👀주요 목표

✅투자자 프라이버시 보호
✅책임성 보장
✅법적 보호성 강화
✅규제 불확실성 해소
✅ SEC 가이드라인 및 규칙 제정에 활용 가능한 인사이트 제공

📖 케이스 스터디: 디지털 증권
현재 자격 검증은 민감 데이터 노출 위험
🔜DeepProve의 ZK 증명으로 검증 가능 + 프라이버시 보장 가능!

😊 그외 샌드박스의 이점

✅투자자: 데이터 제공 부담 감소
✅발행자: 관리 비용 절감
✅규제기관: 신뢰와 효율성 증대

라그랑주는 ZK 기술로 블록체인 규제의 미래를 열고 있습니다!

📱 원문 보기

🕐 라그랑주와 SEC의 샌드박스 미팅을 블로그로

한글 블로그를 통해 이번 소식을 쉽게 접해보세요 ‼️

📖 블로그 바로가기

🕐 라그랑주, Matchain과 파트너십 체결

AI는 신뢰할 수 있을 때 강력합니다

라그랑주는 @matchain_io 와 협력하여 DeepProve zkML을 Matchain의 분산형 AI 블록체인 생태계에 통합할 계획입니다.

이를 통해 함께 데이터와 신원 주권에 대한 검증 가능한 AI를 실현하고자 합니다.

아래에서 더 자세한 내용을 찾아보세요

📱 원문 보기