리비전 diff

r1 → r2 · 2026-07-12 13:39

본문 변경 비교
+859 -19 변경 859
기준: r1
이전 이전 내용 현재 현재 내용
1 ## 개념 1 [[인포박스]]
2 2 | 라그랑주(Lagrange) | |
3 라그랑주는 수학과 물리학에서 중요한 개념으로, 시스템의 동역학을 분석하는 데 사용됩니다. 이 개념은 특히 최적화 문제와 관련하여 다양한 분야에서 응용되며, 블록체인 및 암호화폐의 알고리즘 설계에도 영향을 미칠 수 있습니다. 3 |:---:|:---:|
4 4 |![이미지](https://d297sm0kvsheyg.cloudfront.net/media/qwer1234/0ab9986d33454bf8aec714b7a10a71c7.png)| |
5 ## 확인할 점 5 | **분류** | ZK 인프라 / 증명 네트워크 / 검증 가능한 AI / ZK 코프로세서 |
6 6 | **티커** | LA |
7 1) 라그랑주 방정식의 기본 원리 이해 여부 7 | **한 줄 요약** | AI, 롤업, 스마트 컨트랙트 등의 연산 결과를 영지식 증명으로 검증할 수 있도록 지원하는 분산형 증명 인프라 |
8 2) 라그랑주를 활용한 최적화 문제의 사례 8 | **관련 분야** | 영지식 증명, ZK, zkML, AI, ZK Prover Network, ZK Coprocessor, EigenLayer, 크로스체인 |
9 3) 블록체인 기술에서의 라그랑주 적용 사례 9 | **기반 네트워크** | Ethereum |
10 4) 관련 수학적 기초 지식의 숙지 여부 10 | **토큰 표준** | ERC-20 |
11 5) 라그랑주와 관련된 최신 연구 동향 11 | **초기 공급량** | 1,000,000,000 LA |
12 12 | **추가 발행** | 연간 최대 4% |
13 ## 주의사항 13 | **최초 발행일** | 2025년 4월 9일 |
14 14 | **국내 거래소** | 업비트, 빗썸, 코인원 |
15 라그랑주 개념을 이해하는 데 있어 수학적 지식이 필요하며, 이를 잘못 해석할 경우 오해가 발생할 수 있습니다. 또한, 관련 정보의 출처를 확인하지 않으면 피싱이나 잘못된 정보에 노출될 위험이 있습니다. 본 문서는 정보 제공을 목적으로 하며, 투자에 대한 권유가 아닙니다. 15 | **공식 홈페이지** | https://lagrange.dev |
16 16 | **재단** | https://www.lagrangefoundation.org |
17 --- 17 | **공식 문서** | https://docs.lagrange.dev |
18 18 | **X(트위터)** | [라그랑주 트위터](https://x.com/lagrangedev) |
19 *본 문서는 투자 권유가 아닌 정보 제공 목적입니다.* 19 | **GitHub** | [라그랑주 깃허브](https://github.com/Lagrange-Labs) |
20 | **Etherscan** | [LA 이더스캔](https://etherscan.io/token/0x0fc2a55d5bd13033f1ee0cdd11f60f7efe66f467) |
21 | **CoinMarketCap** | [라그랑주 코인마켓캡](https://coinmarketcap.com/currencies/lagrange/) |
22 | **CoinGecko** | [라그랑주 코인게코](https://www.coingecko.com/en/coins/lagrange) |
23 [[/인포박스]]
24
25 ## 개요
26
27 라그랑주는 영지식 증명을 이용해 블록체인, 인공지능, 롤업 및 다양한 애플리케이션의 연산 결과를 검증할 수 있도록 하는 분산형 증명 인프라 프로젝트이다.
28
29 영지식 증명은 특정 계산이나 명제가 올바르다는 사실을 원본 데이터 전체를 공개하지 않고도 암호학적으로 증명할 수 있는 기술이다.
30
31 다만 실제 ZK 증명을 생성하는 과정에는 상당한 계산 자원이 필요할 수 있다. 복잡한 블록체인 연산이나 대규모 인공지능 모델의 추론을 증명하려면 고성능 CPU, GPU 및 전문적인 증명 인프라가 요구될 수 있다.
32
33 라그랑주는 이러한 증명 생성 작업을 여러 프로버와 오퍼레이터가 분산 처리할 수 있는 Lagrange ZK Prover Network를 구축하고 있다.
34
35 애플리케이션이나 개발자가 증명을 요청하면 네트워크의 프로버들이 필요한 계산을 수행하고 영지식 증명을 생성한다. 생성된 증명은 블록체인이나 다른 시스템에서 검증될 수 있다.
36
37 라그랑주의 주요 기술은 다음과 같이 구성된다.
38
39 1. ZK Prover Network
40 2. ZK Coprocessor
41 3. DeepProve
42 4. ZK MapReduce
43 5. Verifiable Database
44
45 ZK Prover Network는 다양한 애플리케이션을 위한 영지식 증명을 생성하는 분산형 증명 인프라이다.
46
47 ZK Coprocessor는 블록체인이 직접 처리하기 어려운 복잡한 계산을 오프체인에서 실행한 뒤, 해당 계산이 정확했다는 영지식 증명을 스마트 컨트랙트에 제공한다.
48
49 DeepProve는 인공지능 모델의 추론 결과가 실제로 지정된 모델과 입력을 통해 올바르게 계산되었음을 증명하기 위한 zkML 기술이다.
50
51 LA는 라그랑주 생태계의 핵심 토큰으로, 증명 생성 수수료, 프로버 보상, 스테이킹, 위임 및 일부 프로토콜 거버넌스 등에 활용된다.
52
53 ## 특징
54
55 ### 1. 분산형 영지식 증명 생성 네트워크
56
57 라그랑주의 핵심은 ZK Prover Network이다.
58
59 영지식 증명은 블록체인 확장성, 롤업, AI 검증, 개인정보 보호 및 복잡한 오프체인 계산 등에 활용될 수 있지만, 증명을 생성하는 데 많은 계산 자원이 필요할 수 있다.
60
61 라그랑주는 여러 프로버와 오퍼레이터가 자신의 컴퓨팅 자원을 제공하고 증명 생성 작업을 분산 처리할 수 있는 네트워크를 구축한다.
62
63 이를 통해 개별 프로젝트가 직접 대규모 증명 인프라를 구축하고 운영해야 하는 부담을 줄이는 것을 목표로 한다.
64
65 ### 2. Prover Network of Prover Networks
66
67 라그랑주는 자신의 구조를 '프로버 네트워크들의 프로버 네트워크' 형태로 설명한다.
68
69 하나의 거대한 단일 증명 네트워크에 모든 작업을 집중시키는 대신, 여러 독립적인 Prover Supernet이 서로 다른 종류의 증명 작업을 담당할 수 있다.
70
71 각 Supernet은 특정 애플리케이션이나 증명 시스템의 요구사항에 맞게 다음과 같은 요소를 설정할 수 있다.
72
73 - 지원하는 ZK 증명 시스템
74 - 프로버 하드웨어 요구사항
75 - 프로버 참여 조건
76 - 스테이킹 기준
77 - 증명 작업 할당 방식
78 - 토큰 경제 구조
79 - 증명 처리 대역폭
80
81 이러한 구조는 하나의 증명 네트워크가 모든 종류의 작업을 동일한 방식으로 처리하는 것보다 각 사용 사례에 특화된 인프라를 구축할 수 있도록 한다.
82
83 ### 3. 수평적 확장
84
85 전통적인 단일 프로버 네트워크에서는 하나의 중앙 게이트웨이나 작업 스케줄러가 병목 지점이 될 가능성이 있다.
86
87 라그랑주는 여러 독립적인 Prover Supernet과 프로버를 통해 증명 작업을 분산 처리하는 구조를 사용한다.
88
89 증명 요청이 증가할 경우 더 많은 프로버와 하위 네트워크를 추가함으로써 전체 증명 처리 능력을 확장하는 것을 목표로 한다.
90
91 서로 독립적인 여러 증명 작업은 병렬로 처리될 수 있으며, 대규모 롤업이나 애플리케이션별로 전용 증명 대역폭을 확보할 수도 있다.
92
93 ### 4. 다양한 종류의 ZK 증명 지원
94
95 라그랑주 ZK Prover Network는 하나의 특정 블록체인이나 증명 시스템에만 한정되지 않는 범용 증명 인프라를 지향한다.
96
97 다음과 같은 분야에 증명 생성 기능을 제공할 수 있다.
98
99 - ZK 롤업
100 - ZK 코프로세서
101 - 블록체인 애플리케이션
102 - 크로스체인 상태 검증
103 - AI 모델 추론
104 - zkML
105 - 모듈형 실행 환경
106 - 기업용 검증 시스템
107
108 각 프로젝트는 자체적인 증명 시스템과 계산 요구사항에 맞는 Prover Supernet을 구성할 수 있다.
109
110 ### 5. AI와 영지식 증명의 결합
111
112 라그랑주는 블록체인뿐 아니라 검증 가능한 인공지능을 주요 분야로 확장하고 있다.
113
114 AI 모델은 특정 입력을 받아 결과를 생성하지만, 외부 사용자가 해당 결과가 실제로 지정된 모델을 이용해 올바르게 계산되었는지 직접 확인하기는 어려울 수 있다.
115
116 DeepProve는 AI 모델의 추론 과정에 대한 암호학적 증명을 생성한다.
117
118 이를 통해 다음과 같은 사실을 증명하는 것을 목표로 한다.
119
120 - 지정된 AI 모델이 사용되었는지
121 - 지정된 입력에 대해 계산했는지
122 - 계산 과정이 올바르게 수행되었는지
123 - 출력 결과가 임의로 변경되지 않았는지
124
125 영지식 증명을 활용하면 경우에 따라 AI 모델의 내부 가중치나 민감한 데이터를 직접 공개하지 않으면서도 계산의 정확성을 검증할 수 있다.
126
127 ### 6. EigenLayer 기반 보안 구조
128
129 Lagrange ZK Prover Network는 EigenLayer 위에 구축된 증명 인프라이다.
130
131 EigenLayer는 이더리움의 스테이킹된 자산과 오퍼레이터 생태계를 다른 프로토콜의 보안 및 검증 작업에 활용할 수 있도록 하는 리스테이킹 인프라이다.
132
133 라그랑주는 EigenLayer를 통해 여러 기관급 오퍼레이터가 증명 네트워크에 참여할 수 있는 구조를 구축했다.
134
135 라그랑주 공식 문서에서는 85개 이상의 기관급 오퍼레이터가 네트워크에 참여한다고 설명하며, Coinbase, OKX, P2P, Nethermind 등의 이름을 예시로 제시한다.
136
137 ### 7. 멀티체인 데이터 연산
138
139 라그랑주의 ZK Coprocessor는 여러 EVM 기반 블록체인의 스마트 컨트랙트 데이터를 대상으로 계산을 수행할 수 있다.
140
141 예를 들어 이더리움의 과거 데이터를 이용해 복잡한 통계를 계산한 뒤, 그 결과를 다른 블록체인의 스마트 컨트랙트에서 이용하는 구조를 구축할 수 있다.
142
143 이 과정에서 연산 결과가 정확하다는 영지식 증명을 함께 제공할 수 있다.
144
145 라그랑주는 이를 통해 전통적인 브리지나 신뢰할 수 있는 외부 데이터 제공자에만 의존하지 않고 여러 체인의 데이터를 검증 가능한 방식으로 활용할 수 있는 구조를 지향한다.
146
147 ## 기술 구조
148
149 라그랑주의 주요 기술 구조는 다음과 같은 구성 요소를 중심으로 이루어진다.
150
151 1. Lagrange ZK Prover Network
152 2. Prover Supernet
153 3. Gateway
154 4. Prover
155 5. EigenLayer Operator
156 6. ZK Coprocessor
157 7. Verifiable Database
158 8. ZK MapReduce
159 9. DeepProve
160
161 각 구성 요소는 증명 요청 접수, 작업 분배, 계산 실행, 영지식 증명 생성, 결과 집계 및 검증 등의 역할을 담당한다.
162
163 ## ZK Prover Network
164
165 Lagrange ZK Prover Network, 줄여서 LPN은 여러 종류의 영지식 증명 생성 작업을 처리하기 위한 분산형 증명 인프라이다.
166
167 개발자, 롤업, 블록체인 및 기타 애플리케이션은 네트워크에 증명 생성 작업을 요청할 수 있다.
168
169 프로버는 해당 작업에 필요한 계산을 수행하고 ZK 증명을 생성한다.
170
171 기본적인 과정은 다음과 같이 설명할 수 있다.
172
173 1. 클라이언트가 증명 생성 요청을 제출한다.
174 2. Gateway가 증명 작업을 확인한다.
175 3. 적합한 Prover 또는 Prover Supernet에 작업이 할당된다.
176 4. Prover가 계산을 실행한다.
177 5. ZK 증명을 생성한다.
178 6. 생성된 증명이 검증된다.
179 7. 최종 결과가 클라이언트에게 전달된다.
180 8. 작업을 수행한 Prover는 경제적 보상을 받을 수 있다.
181
182 라그랑주는 하나의 중앙화된 증명 생성 서버가 모든 작업을 담당하는 대신 여러 독립적인 프로버와 오퍼레이터를 이용함으로써 확장성과 가용성을 높이는 것을 목표로 한다.
183
184 ## Prover Supernet
185
186 Prover Supernet은 특정 종류의 증명 작업이나 애플리케이션을 위해 구성할 수 있는 독립적인 증명 하위 네트워크이다.
187
188 각 Supernet은 자체적인 운영 규칙과 하드웨어 요구사항을 가질 수 있다.
189
190 예를 들어 AI 추론 증명과 롤업 상태 증명은 계산 구조와 필요한 하드웨어가 서로 다를 수 있다.
191
192 하나의 범용 네트워크에서 모든 종류의 계산을 동일하게 처리하는 것보다 각 작업에 특화된 프로버 그룹을 구성하는 것이 효율적일 수 있다.
193
194 Prover Supernet에서는 다음과 같은 요소를 개별적으로 설정할 수 있다.
195
196 - 지원 증명 시스템
197 - 하드웨어 사양
198 - 프로버 접근 권한
199 - 작업 할당 방식
200 - 최소 스테이킹 요구량
201 - 경제적 인센티브
202 - 증명 처리 대역폭
203
204 여러 Prover Supernet이 함께 Lagrange ZK Prover Network를 구성한다.
205
206 ## Gateway
207
208 Gateway는 클라이언트의 증명 요청과 프로버 사이를 연결하는 역할을 한다.
209
210 주요 역할에는 다음과 같은 기능이 포함된다.
211
212 - 증명 작업 요청 접수
213 - 작업 유효성 확인
214 - 적합한 프로버 탐색
215 - 작업 분배
216 - 증명 결과 수집
217 - 실패한 작업의 재할당
218 - 서비스 수준 기준 관리
219
220 Gateway는 여러 프로버가 존재하는 환경에서 어떤 작업을 어느 프로버가 처리할지를 조정하는 역할을 한다.
221
222 라그랑주의 모듈형 구조에서는 여러 Gateway와 Supernet을 구성할 수 있어 하나의 중앙화된 작업 분배 시스템에 대한 의존도를 낮추는 것을 지향한다.
223
224 ## Prover
225
226 Prover는 실제 계산을 수행하고 영지식 증명을 생성하는 네트워크 참여자이다.
227
228 프로버는 CPU, GPU 및 기타 전문 하드웨어를 이용해 증명 작업을 처리할 수 있다.
229
230 주요 역할은 다음과 같다.
231
232 1. Gateway로부터 작업 수신
233 2. 필요한 계산 실행
234 3. ZK 증명 생성
235 4. 증명 결과 제출
236 5. 작업 완료에 따른 보상 수령
237
238 증명 종류에 따라 필요한 계산 능력과 하드웨어 요구사항이 달라질 수 있다.
239
240 대규모 AI 모델이나 복잡한 롤업 증명의 경우 상당한 컴퓨팅 자원이 필요할 수 있기 때문에, 라그랑주는 여러 전문 프로버와 오퍼레이터가 참여하는 구조를 사용한다.
241
242 ## EigenLayer와의 관계
243
244 Lagrange ZK Prover Network는 EigenLayer 생태계를 활용한다.
245
246 EigenLayer는 이더리움의 경제적 보안과 오퍼레이터를 외부 서비스가 활용할 수 있도록 하는 리스테이킹 프로토콜이다.
247
248 라그랑주는 EigenLayer 기반 오퍼레이터가 증명 네트워크에 참여할 수 있도록 설계했다.
249
250 오퍼레이터는 하나 이상의 프로버를 운영하고 실제 ZK 증명 생성 작업을 수행할 수 있다.
251
252 라그랑주는 이를 통해 다음과 같은 구조를 지향한다.
253
254 - 여러 독립적인 오퍼레이터 참여
255 - 단일 증명 사업자에 대한 의존도 감소
256 - 증명 생성 가용성 향상
257 - 작업량 증가에 따른 수평 확장
258 - 스테이킹 기반 경제적 보안
259
260 ## ZK Coprocessor
261
262 ZK Coprocessor는 블록체인이 직접 실행하기 어려운 복잡한 계산을 오프체인에서 처리하고, 해당 계산이 정확했다는 영지식 증명을 생성하는 시스템이다.
263
264 스마트 컨트랙트는 블록체인의 합의와 보안을 유지하기 위해 모든 계산에 비용이 발생한다.
265
266 대규모 데이터 분석이나 오랜 기간의 블록체인 기록을 대상으로 한 계산을 모두 온체인에서 직접 수행하면 많은 가스비가 발생하거나 현실적으로 실행하기 어려울 수 있다.
267
268 ZK Coprocessor는 이러한 계산을 오프체인으로 이동한다.
269
270 기본 구조는 다음과 같다.
271
272 1. 블록체인 데이터를 수집한다.
273 2. 데이터를 증명에 적합한 검증 가능한 데이터베이스로 변환한다.
274 3. 필요한 계산을 오프체인에서 실행한다.
275 4. 계산 결과에 대한 ZK 증명을 생성한다.
276 5. 스마트 컨트랙트가 결과와 증명을 검증한다.
277
278 스마트 컨트랙트는 모든 복잡한 계산을 직접 반복하지 않고 작은 크기의 암호학적 증명을 검증함으로써 결과가 정확한지 확인할 수 있다.
279
280 ## Verifiable Database
281
282 라그랑주의 ZK Coprocessor는 블록체인의 상태 데이터를 검증 가능한 데이터베이스 형태로 변환한다.
283
284 일반적인 데이터베이스에서는 데이터 제공자를 신뢰해야 할 수 있다.
285
286 예를 들어 특정 서비스가 과거 블록체인 데이터를 분석해 결과를 제공한다면 사용자는 해당 서비스가 정확한 데이터를 사용했으며 계산 과정도 올바르게 처리했다고 신뢰해야 할 수 있다.
287
288 Verifiable Database는 데이터와 계산 결과를 암호학적 증명과 연결함으로써 외부 사용자가 해당 결과의 정확성을 검증할 수 있도록 하는 것을 목표로 한다.
289
290 블록체인 데이터는 다음과 같은 과정을 거칠 수 있다.
291
292 1. 블록체인 상태 데이터 수집
293 2. 스마트 컨트랙트 저장공간 분석
294 3. 증명에 적합한 데이터 구조로 변환
295 4. 검증 가능한 데이터베이스 생성
296 5. 데이터에 대한 쿼리 실행
297 6. 계산 결과와 ZK 증명 생성
298
299 ## SQL 기반 데이터 쿼리
300
301 라그랑주의 ZK Coprocessor는 개발자가 SQL과 유사한 방식으로 블록체인 데이터를 조회하고 복잡한 계산을 실행할 수 있도록 하는 것을 지향한다.
302
303 예를 들어 다음과 같은 계산을 수행할 수 있다.
304
305 - 특정 기간 동안의 평균 토큰 가격
306 - 여러 블록에 걸친 거래량
307 - 사용자의 과거 온체인 활동
308 - 여러 프로토콜의 금융 데이터
309 - 거버넌스 참여 이력
310 - 여러 체인에 존재하는 데이터의 집계
311
312 계산은 오프체인에서 실행되지만 결과에 대한 ZK 증명을 생성할 수 있기 때문에 스마트 컨트랙트는 외부 데이터 처리자를 직접 신뢰하지 않고도 결과를 검증할 수 있다.
313
314 ## ZK MapReduce
315
316 ZK MapReduce, 줄여서 ZKMR은 대규모 계산을 여러 작업으로 나누어 병렬 처리하고 각 계산 결과에 대한 증명을 결합하기 위한 기술이다.
317
318 전통적인 MapReduce는 대량의 데이터를 여러 컴퓨터에 분산해 처리하는 방식이다.
319
320 라그랑주는 이러한 개념을 영지식 증명 생성에 적용한다.
321
322 예를 들어 수십만 개의 블록에 포함된 데이터를 분석해야 하는 경우 하나의 프로버가 모든 계산을 순차적으로 수행하는 대신 다음과 같은 구조를 사용할 수 있다.
323
324 1. 전체 데이터 범위를 여러 부분으로 나눈다.
325 2. 각각의 작업을 서로 다른 프로버에 분배한다.
326 3. 각 프로버가 자신의 계산 결과와 증명을 생성한다.
327 4. 부분적인 결과와 증명을 집계한다.
328 5. 최종 계산 결과와 통합된 증명을 생성한다.
329
330 이를 통해 대규모 데이터 계산과 ZK 증명 생성의 확장성을 높이는 것을 목표로 한다.
331
332 ## 크로스체인 데이터 연산
333
334 라그랑주의 ZK Coprocessor는 여러 EVM 기반 체인의 데이터를 대상으로 계산을 수행할 수 있다.
335
336 예를 들어 이더리움 스마트 컨트랙트가 다른 레이어2 네트워크의 데이터를 이용해야 하는 상황을 생각할 수 있다.
337
338 전통적인 방식에서는 브리지, 오라클 또는 별도의 메시징 프로토콜을 이용해야 할 수 있다.
339
340 라그랑주는 특정 블록체인의 데이터를 대상으로 계산을 수행하고 결과에 대한 ZK 증명을 생성한 뒤, 다른 체인의 스마트 컨트랙트가 해당 결과를 검증할 수 있도록 하는 구조를 지향한다.
341
342 활용 가능한 사례에는 다음과 같은 영역이 있다.
343
344 - 여러 체인의 평균 자산 가격 계산
345 - 크로스체인 거래량 집계
346 - 여러 네트워크의 사용자 활동 검증
347 - 멀티체인 거버넌스
348 - 크로스체인 보상 시스템
349 - 여러 블록체인의 DeFi 데이터 분석
350
351 ## DeepProve
352
353 DeepProve는 라그랑주가 개발한 검증 가능한 AI를 위한 zkML 증명 시스템이다.
354
355 zkML은 Zero-Knowledge Machine Learning의 약자로, 머신러닝 모델의 계산 결과에 영지식 증명 기술을 적용하는 분야이다.
356
357 AI 모델이 특정 결과를 출력했다고 하더라도 외부 사용자는 다음과 같은 사실을 직접 확인하기 어려울 수 있다.
358
359 - 실제로 약속된 모델을 사용했는지
360 - 올바른 입력을 사용했는지
361 - 계산 중 결과를 임의로 변경하지 않았는지
362 - 모델의 전체 계산이 정확히 수행되었는지
363
364 DeepProve는 AI 모델의 추론 과정에 대한 암호학적 증명을 생성하는 것을 목표로 한다.
365
366 이를 통해 검증자는 경우에 따라 모델 자체나 민감한 데이터를 직접 확인하지 않고도 해당 AI 출력이 지정된 계산 과정에서 생성됐음을 검증할 수 있다.
367
368 ## DeepProve의 작동 구조
369
370 DeepProve의 기본적인 과정은 다음과 같이 설명할 수 있다.
371
372 ### 1. 모델 준비
373
374 개발자는 머신러닝 모델을 DeepProve가 처리할 수 있는 형식으로 준비한다.
375
376 ONNX 등의 모델 형식이 활용될 수 있다.
377
378 ### 2. 전처리
379
380 AI 모델의 계산 그래프를 분석하고 증명 생성에 필요한 구조를 만든다.
381
382 모델에 대한 커밋먼트와 증명 및 검증에 필요한 키가 생성될 수 있다.
383
384 ### 3. AI 추론
385
386 AI 모델이 실제 입력을 받아 결과를 계산한다.
387
388 DeepProve는 각 신경망 계층의 중간 계산 상태를 추적할 수 있다.
389
390 ### 4. 증명 생성
391
392 각 계산 과정이 올바르게 수행되었다는 암호학적 증명을 생성한다.
393
394 여러 부분적인 증명은 하나의 간결한 증명으로 집계될 수 있다.
395
396 ### 5. 검증
397
398 검증자는 생성된 증명을 이용해 결과가 올바른 모델과 입력에 따라 정확하게 계산되었는지 확인할 수 있다.
399
400 이 과정에서는 모델의 내부 정보나 데이터 전체를 반드시 공개하지 않고도 계산의 정확성을 확인할 수 있는 구조를 구현할 수 있다.
401
402 ## AI와 라그랑주
403
404 라그랑주는 초기에는 블록체인 ZK 증명 인프라와 ZK Coprocessor를 중심으로 성장했으며, 이후 DeepProve를 통해 검증 가능한 AI 분야로 영역을 확장했다.
405
406 AI 모델이 금융, 의료, 자율 시스템, 국방, 기업 인프라 및 기타 중요한 의사 결정 과정에 활용될수록 AI 결과의 검증 가능성이 중요해질 수 있다.
407
408 라그랑주는 영지식 증명을 통해 AI가 특정 결과를 생성했다는 사실을 수학적으로 검증할 수 있는 인프라를 구축하는 것을 목표로 한다.
409
410 활용 가능한 분야에는 다음과 같은 영역이 포함될 수 있다.
411
412 - AI 추론 검증
413 - AI 에이전트 행동 검증
414 - 금융 AI 의사 결정
415 - 의료 AI 결과 검증
416 - 자율 시스템
417 - 게임 내 AI
418 - 스마트 컨트랙트와 AI의 결합
419 - 개인정보를 보호하는 AI 계산
420 - 기업용 AI 감사 시스템
421
422 ## 대규모 언어 모델과 DeepProve
423
424 DeepProve는 신경망뿐 아니라 대규모 언어 모델의 전체 추론 과정에 대한 증명 생성으로 기술 범위를 확장해 왔다.
425
426 2025년에는 DeepProve-1을 통해 GPT-2의 전체 추론에 대한 ZK 증명 생성을 공개했다.
427
428 이는 단순한 개별 신경망 계층이나 작은 모델의 계산 일부가 아니라 전체 Transformer 기반 언어 모델의 추론 결과에 대한 증명을 생성하는 것을 목표로 한 기술이다.
429
430 라그랑주는 이후 다른 대규모 언어 모델과 새로운 AI 아키텍처로 지원 범위를 확대하는 방향을 추진하고 있다.
431
432 대규모 AI 모델에 대한 영지식 증명은 상당한 계산량을 필요로 할 수 있기 때문에 DeepProve는 Lagrange ZK Prover Network와 연결해 증명 생성 작업을 분산 처리하는 구조를 활용할 수 있다.
433
434 ## Halo
435
436 Halo는 라그랑주가 인공지능과 자율 시스템 분야에서 개발하는 분산형 조정 인프라이다.
437
438 라그랑주 공식 홈페이지에서는 Halo를 통신 상태가 불안정하거나 일부 노드가 작동하지 않는 상황에서도 여러 자율 시스템이 중앙 통제자 없이 서로 조정될 수 있도록 하는 기술로 설명한다.
439
440 DeepProve가 AI 계산 결과의 검증 가능성에 초점을 둔다면, Halo는 여러 자율 시스템 사이의 조정과 복원력에 초점을 둔다.
441
442 다만 LA 토큰의 핵심적인 경제 구조는 주로 Lagrange ZK Prover Network의 증명 생성, 프로버 보상, 스테이킹 및 증명 수수료와 연결되므로 Halo와 LA 토큰의 직접적인 관계는 별도로 구분할 필요가 있다.
443
444 ## LA 토큰
445
446 LA는 라그랑주 생태계의 핵심 토큰이다.
447
448 이더리움 네트워크에서 ERC-20 형태로 발행되었으며, Lagrange ZK Prover Network의 증명 생성 경제를 운영하는 데 사용된다.
449
450 LA의 핵심 역할은 증명을 필요로 하는 클라이언트와 실제 계산을 수행하는 프로버 및 토큰 보유자를 하나의 경제 구조로 연결하는 것이다.
451
452 주요 용도는 다음과 같다.
453
454 - ZK 증명 생성 수수료
455 - 프로버 보상
456 - 스테이킹
457 - 프로버 및 Supernet 위임
458 - 증명 생성 비용 보조
459 - 프로토콜 거버넌스 참여
460
461 ## 토큰 정보
462
463 - **토큰명**: Lagrange
464 - **티커**: LA
465 - **네트워크**: Ethereum
466 - **토큰 표준**: ERC-20
467 - **최초 발행일**: 2025년 4월 9일
468 - **초기 공급량**: 1,000,000,000 LA
469 - **연간 추가 발행**: 최대 4%
470 - **컨트랙트 주소**: 0x0fc2a55d5bd13033f1ee0cdd11f60f7efe66f467
471 - **주요 용도**
472 - 증명 생성 수수료
473 - 프로버 보상
474 - 스테이킹
475 - 위임
476 - 증명 비용 보조
477 - 거버넌스
478
479 ## LA 토큰의 역할
480
481 ### 1. 증명 생성 수수료
482
483 라그랑주 네트워크를 이용하는 클라이언트는 ZK 증명을 생성하기 위해 비용을 지불할 수 있다.
484
485 비용은 필요한 계산량과 증명의 복잡성 등에 따라 달라질 수 있다.
486
487 공식 토큰 경제 구조에서는 클라이언트가 다음과 같은 자산을 이용해 증명 비용을 지불할 수 있는 구조를 설명한다.
488
489 - LA
490 - ETH
491 - USDC
492 - 기타 지원 자산
493
494 프로버에게 지급되는 보상은 LA와 연결된다.
495
496 클라이언트가 ETH나 USDC 등의 다른 자산으로 증명 비용을 지불할 경우 해당 자금을 이용해 LA를 구매하고 프로버 보상에 활용하는 구조가 제시되어 있다.
497
498 이를 통해 실제 증명 생성 수요와 LA 토큰 경제를 연결하는 것을 목표로 한다.
499
500 ### 2. 프로버 보상
501
502 실제 ZK 증명을 생성하는 프로버는 계산 작업에 대한 보상을 받을 수 있다.
503
504 프로버는 전문적인 하드웨어와 컴퓨팅 자원을 제공하고 증명 생성 요청을 처리한다.
505
506 보상은 다음과 같은 요소와 연결될 수 있다.
507
508 - 실제 생성한 증명 수
509 - 처리한 작업량
510 - 계산 복잡성
511 - 프로버 성능
512 - 네트워크 기여도
513
514 라그랑주는 프로버가 LA 형태로 보상을 받을 수 있는 경제 구조를 사용한다.
515
516 ### 3. 연간 추가 발행과 증명 비용 보조
517
518 LA는 초기 10억 개 공급량 외에 연간 최대 4%의 추가 발행 구조를 가진다.
519
520 추가 발행된 LA는 실제 증명 작업을 수행하는 프로버에게 보상을 제공하고 클라이언트의 증명 생성 비용을 보조하기 위한 목적으로 활용될 수 있다.
521
522 예를 들어 실제 증명 생성에 필요한 전체 계산 비용 가운데 일부를 클라이언트가 지불하고, 나머지를 LA 추가 발행 보상으로 프로버에게 제공하는 구조가 가능하다.
523
524 이를 통해 초기 단계에서 증명 서비스 이용 비용을 낮추고 프로버의 네트워크 참여를 유도하는 것을 목표로 한다.
525
526 ### 4. 스테이킹과 위임
527
528 LA 보유자는 토큰을 특정 프로버 또는 Prover Supernet에 스테이킹하거나 위임할 수 있다.
529
530 스테이킹된 LA는 어떤 프로버와 증명 네트워크에 추가 발행 보상을 배분할지 결정하는 경제 구조와 연결될 수 있다.
531
532 증명 수요가 많은 프로버나 Supernet에 더 많은 LA가 위임되면 해당 영역에 증명 생성 자원을 집중할 수 있는 구조를 지향한다.
533
534 스테이킹은 유통 가능한 LA를 일정 기간 잠그는 역할도 한다.
535
536 ### 5. 거버넌스
537
538 LA는 라그랑주 프로토콜과 관련된 일부 거버넌스 기능에 활용될 수 있다.
539
540 토큰 보유자는 프로토콜 수준의 의사 결정에 참여할 수 있는 구조를 가질 수 있다.
541
542 다만 LA 보유 자체가 Lagrange Foundation 또는 관련 법인의 주식이나 소유권, 배당권을 제공하는 것은 아니다.
543
544 프로토콜 거버넌스 참여와 기업에 대한 법적인 소유권은 서로 구분된다.
545
546 ## 증명 수요와 토큰 경제
547
548 라그랑주의 토큰 경제는 실제 증명 생성 수요를 LA 토큰과 연결하는 것을 목표로 한다.
549
550 기본적인 구조는 다음과 같이 설명할 수 있다.
551
552 1. 롤업, AI 프로젝트 또는 애플리케이션이 ZK 증명을 요청한다.
553 2. 클라이언트가 증명 생성 비용을 지불한다.
554 3. 프로버가 계산 작업을 수행한다.
555 4. ZK 증명이 생성된다.
556 5. 프로버는 LA 보상을 받을 수 있다.
557 6. ETH나 USDC로 수수료가 지불될 경우 LA 구매와 연결될 수 있다.
558 7. LA 스테이커는 특정 프로버 또는 Supernet에 토큰을 위임할 수 있다.
559
560 따라서 라그랑주 생태계에서는 실제로 얼마나 많은 증명이 생성되는지가 네트워크의 경제 활동과 밀접하게 연결될 수 있다.
561
562 ## 토크노믹스
563
564 LA의 초기 공급량은 1,000,000,000개이다.
565
566 공식 MiCA 백서 기준 초기 토큰 배분 구조는 다음과 같다.
567
568 - **커뮤니티 및 생태계**: 34.78%
569 - **초기 기여자**: 25.39%
570 - **초기 에어드롭**: 10.00%
571 - **라그랑주 재단**: 10.00%
572 - **시리즈 A**: 9.46%
573 - **시드 라운드**: 9.08%
574 - **기타 비즈니스 파트너**: 1.30%
575
576 ### 커뮤니티 및 생태계
577
578 전체 초기 공급량의 34.78%가 커뮤니티 및 생태계에 배정되었다.
579
580 다음과 같은 목적으로 활용될 수 있다.
581
582 - 생태계 성장
583 - 개발자 지원
584 - 사용자 인센티브
585 - 파트너 통합
586 - 네트워크 확장
587 - 커뮤니티 프로그램
588
589 ### 초기 기여자
590
591 전체 공급량의 25.39%가 초기 기여자에게 배정되었다.
592
593 라그랑주의 프로토콜 구조, 암호학 기술, 소프트웨어 및 네트워크 개발 등에 참여한 핵심 팀과 개발자 및 어드바이저 등을 위한 물량이다.
594
595 ### 시드 라운드
596
597 전체 공급량의 9.08%가 초기 전략적 투자자를 위한 시드 라운드에 배정되었다.
598
599 ### 시리즈 A
600
601 전체 공급량의 9.46%가 시리즈 A 투자자에게 배정되었다.
602
603 ### 초기 에어드롭
604
605 전체 공급량의 10%가 초기 커뮤니티 에어드롭을 위해 배정되었다.
606
607 초기 이용자와 커뮤니티 참여자에게 LA를 분배하고 네트워크 참여를 확대하기 위한 목적으로 설계되었다.
608
609 ### 라그랑주 재단
610
611 전체 공급량의 10%가 Lagrange Foundation에 배정되었다.
612
613 재단은 라그랑주 네트워크와 생태계의 장기적인 발전 및 프로토콜 지원 등을 담당한다.
614
615 ### 기타 비즈니스 파트너
616
617 전체 공급량의 1.3%가 거래소 상장 및 유통시장 운영 등을 지원하는 비즈니스 파트너에게 배정되었다.
618
619 ## 토큰 언락 구조
620
621 LA의 토큰 배분 항목마다 서로 다른 락업과 베스팅 일정이 적용된다.
622
623 ### 초기 기여자와 투자자
624
625 초기 기여자와 시드 및 시리즈 A 투자자 물량에는 다음과 같은 구조가 적용된다.
626
627 1. 토큰 발행 이후 12개월 락업
628 2. 이후 24개월 동안 선형 베스팅
629
630 ### 커뮤니티 및 생태계
631
632 커뮤니티와 생태계 물량은 장기간에 걸쳐 분배되는 구조를 가진다.
633
634 초기 일부 물량이 유통된 뒤 나머지 물량은 일정한 락업 기간을 거쳐 장기간에 걸쳐 선형적으로 해제될 수 있다.
635
636 ### 초기 에어드롭
637
638 초기 에어드롭 물량 10%는 토큰 출시 과정에서 초기 커뮤니티를 대상으로 배정되었다.
639
640 ### TGE 초기 유통량
641
642 라그랑주 재단의 토큰 발표 자료에서는 TGE 시점 전체 초기 공급량 가운데 총 19.3%가 언락된다고 설명했다.
643
644 이에 따라 초기 총 공급량과 실제 시장에서 유통 가능한 수량은 서로 다를 수 있다.
645
646 ## 연간 추가 발행
647
648 LA는 초기 10억 개의 공급량과 별도로 연간 최대 4%의 추가 발행 구조를 가진다.
649
650 추가 발행의 주요 목적은 프로버의 증명 생성 활동을 보상하고 네트워크의 계산 비용을 보조하는 것이다.
651
652 프로버 보상은 실제 생성한 증명의 수와 작업량 등에 따라 배분될 수 있다.
653
654 이에 따라 LA의 장기적인 공급량은 초기 10억 개에 고정되지 않고 추가 발행에 따라 증가할 수 있다.
655
656 다만 추가 발행량과 실제 증명 서비스 이용량 사이의 균형은 라그랑주 토큰 경제의 중요한 요소이다.
657
658 ## 프로젝트 역사
659
660 ### 2023년 시드 투자
661
662 라그랑주는 2023년 2월 약 400만 달러 규모의 시드 투자를 유치했다.
663
664 해당 라운드는 1kx가 주도했으며, 초기 프로토콜 연구와 기술 개발 및 팀 구축 등에 활용되었다.
665
666 ### 2023년 시리즈 A
667
668 2023년 11월에는 약 1,320만 달러 규모의 추가 투자를 유치했다.
669
670 Founders Fund가 해당 라운드를 주도했으며, Archetype, 1kx, Maven11, Fenbushi Capital 등이 참여했다.
671
672 두 번의 주요 투자 라운드를 통해 총 약 1,720만 달러를 조달했다.
673
674 ### ZK Prover Network 구축
675
676 라그랑주는 EigenLayer를 기반으로 여러 전문 오퍼레이터가 참여하는 ZK Prover Network를 구축했다.
677
678 네트워크는 롤업, ZK Coprocessor, 애플리케이션 및 기타 영지식 증명 사용 사례를 지원하는 범용 증명 인프라를 목표로 발전했다.
679
680 ### DeepProve 공개
681
682 2025년에는 AI 모델의 추론 결과를 영지식 증명으로 검증하기 위한 DeepProve를 공개했다.
683
684 이후 대규모 언어 모델을 포함한 다양한 AI 모델의 추론 검증으로 기술 범위를 확대했다.
685
686 ### LA 토큰 출시
687
688 2025년 LA 토큰이 출시되었으며, Lagrange ZK Prover Network의 증명 수수료, 프로버 보상, 스테이킹 및 위임 등에 활용되는 경제 구조가 도입되었다.
689
690 ## 국내 거래소 상장
691
692 LA는 국내 주요 원화 거래소에 거래지원되었다.
693
694 ### 코인원
695
696 코인원은 2025년 6월 4일 LA의 원화마켓 거래지원 계획을 발표했다.
697
698 ### 빗썸
699
700 빗썸은 2025년 6월 5일 LA를 원화마켓에 추가했다.
701
702 빗썸의 입출금 지원 네트워크는 Ethereum이다.
703
704 ### 업비트
705
706 업비트는 2025년 6월 LA의 BTC 및 USDT 마켓 거래지원을 시작했으며, 이후 2025년 9월 18일 KRW 마켓에도 LA를 추가했다.
707
708 이에 따라 LA는 업비트, 빗썸, 코인원 등 국내 주요 원화 거래소에서 거래되는 가상자산이 되었다.
709
710 ## 생태계 참여자
711
712 라그랑주 생태계는 여러 종류의 참여자로 구성된다.
713
714 ### 클라이언트
715
716 ZK 증명을 필요로 하는 프로젝트나 개발자 및 기업이다.
717
718 롤업, 블록체인 애플리케이션, AI 서비스 및 기타 시스템이 증명 생성 작업을 요청할 수 있다.
719
720 ### 프로버
721
722 컴퓨팅 자원을 이용해 실제 ZK 증명을 생성한다.
723
724 작업 수행에 따라 LA 보상을 받을 수 있다.
725
726 ### 오퍼레이터
727
728 하나 이상의 프로버를 운영하고 라그랑주 증명 네트워크의 계산 인프라를 제공한다.
729
730 ### LA 스테이커
731
732 LA를 특정 프로버나 Prover Supernet에 스테이킹 또는 위임해 증명 네트워크의 경제 구조에 참여할 수 있다.
733
734 ### 개발자
735
736 ZK Coprocessor, DeepProve 및 ZK Prover Network를 이용해 검증 가능한 애플리케이션을 구축할 수 있다.
737
738 ### AI 개발자
739
740 DeepProve를 이용해 AI 모델의 추론 결과에 암호학적 증명을 적용할 수 있다.
741
742 ### 롤업과 블록체인
743
744 자체적으로 모든 증명 생성 인프라를 구축하지 않고 Lagrange ZK Prover Network를 통해 ZK 증명을 요청할 수 있다.
745
746 ## 활용 분야
747
748 ### ZK 롤업
749
750 롤업에서 발생한 대규모 거래의 상태 변화가 정확하게 계산되었음을 증명하는 ZK 증명을 생성하는 데 활용될 수 있다.
751
752 ### 검증 가능한 AI
753
754 AI 모델이 특정 입력과 모델을 이용해 올바른 출력을 생성했음을 암호학적으로 증명하는 데 활용될 수 있다.
755
756 ### AI 에이전트
757
758 AI 에이전트가 특정 모델과 규칙에 따라 행동했음을 검증하기 위한 인프라로 활용될 가능성이 있다.
759
760 ### 블록체인 데이터 분석
761
762 과거 블록체인 데이터를 대상으로 복잡한 계산을 실행하고 계산 결과에 대한 ZK 증명을 생성할 수 있다.
763
764 ### 크로스체인 애플리케이션
765
766 한 블록체인의 데이터를 다른 블록체인에서 검증 가능한 형태로 이용하는 애플리케이션을 구축할 수 있다.
767
768 ### DeFi
769
770 과거 거래 기록, 가격, 거래량, 사용자 활동 등을 기반으로 복잡한 금융 계산을 수행하고 그 결과를 스마트 컨트랙트에서 검증할 수 있다.
771
772 ### 거버넌스
773
774 과거 온체인 활동이나 토큰 보유 이력 등을 기반으로 복잡한 투표 조건과 자격 증명을 구현할 수 있다.
775
776 ### 기업용 감사
777
778 기업의 계산 결과와 데이터 처리 과정에 암호학적 검증 가능성을 추가하는 데 활용될 수 있다.
779
780 ### 개인정보 보호형 연산
781
782 원본 데이터나 AI 모델의 내부 정보를 직접 공개하지 않으면서 특정 계산 결과가 정확하다는 사실을 증명하는 데 활용될 수 있다.
783
784 ## 생태계
785
786 라그랑주 생태계는 영지식 증명의 생성, 블록체인 데이터 계산 및 검증 가능한 AI를 하나의 증명 인프라로 연결하는 것을 목표로 한다.
787
788 ZK Prover Network는 실제 증명 생성에 필요한 분산형 컴퓨팅 인프라를 제공한다.
789
790 ZK Coprocessor는 복잡한 블록체인 데이터를 오프체인에서 계산하고 해당 결과를 영지식 증명으로 검증할 수 있도록 한다.
791
792 DeepProve는 이러한 증명 기술을 AI 모델의 추론 과정에 적용한다.
793
794 이러한 기술은 서로 독립적으로 사용될 수도 있지만, ZK Prover Network를 공통적인 증명 생성 인프라로 활용할 수 있다.
795
796 LA 토큰은 증명을 요청하는 클라이언트와 실제 계산을 수행하는 프로버 및 토큰을 스테이킹하는 참여자를 경제적으로 연결하는 역할을 한다.
797
798 ## 한계 및 주요 변수
799
800 라그랑주의 장기적인 성장에는 실제 영지식 증명 생성 수요가 중요한 영향을 미칠 수 있다.
801
802 ZK Prover Network에 많은 프로버와 오퍼레이터가 참여하더라도 실제 롤업, AI 프로젝트, 블록체인 및 기업에서 충분한 증명 생성 요청이 발생하지 않는다면 네트워크의 경제적 활용성은 제한될 수 있다.
803
804 특히 LA의 토큰 경제는 증명 생성 수요를 토큰 수요와 연결하는 것을 목표로 하기 때문에, 실제 증명 작업량과 클라이언트가 지불하는 수수료 규모가 중요한 요소이다.
805
806 영지식 증명 생성에는 상당한 계산 자원이 필요할 수 있으며, 대규모 AI 모델이나 복잡한 증명 시스템에서는 높은 하드웨어 비용과 전력 및 인프라 비용이 발생할 수 있다.
807
808 라그랑주가 여러 프로버 사이의 경쟁과 수평적 확장을 통해 비용을 충분히 낮출 수 있는지가 주요 변수이다.
809
810 DeepProve와 zkML 분야에서는 AI 모델이 빠르게 대형화되고 새로운 아키텍처가 지속적으로 등장하고 있기 때문에 새로운 모델을 얼마나 빠르게 지원할 수 있는지도 중요하다.
811
812 AI 모델의 전체 추론을 증명하는 데 필요한 계산량과 증명 생성 시간 역시 실제 상용화 범위에 영향을 미칠 수 있다.
813
814 라그랑주는 EigenLayer와 이더리움의 인프라를 활용하므로 해당 외부 시스템의 기술적 변화와 네트워크 안정성 및 경제 구조에도 영향을 받을 수 있다.
815
816 초기 네트워크는 기관급 오퍼레이터를 중심으로 운영되기 때문에 실제 오퍼레이터 분산 정도와 특정 사업자에 대한 계산 능력 집중 여부도 네트워크의 탈중앙화 수준에 영향을 미칠 수 있다.
817
818 ZK 증명 시장에는 다양한 전문 프로버 네트워크와 증명 마켓플레이스 및 ZK 인프라 프로젝트가 존재하기 때문에 비용, 처리 속도, 지원 증명 시스템, 개발자 경험 및 실제 통합 규모에서 경쟁력을 유지할 수 있는지가 중요하다.
819
820 LA 토큰에는 연간 최대 4%의 추가 발행 구조가 존재하므로 실제 네트워크 성장률과 증명 수요가 토큰 공급 증가를 얼마나 뒷받침하는지도 장기적인 토큰 경제의 주요 변수이다.
821
822 또한 초기 기여자와 투자자 물량은 락업 이후 장기간에 걸쳐 시장에 유통될 수 있으므로 실제 토큰 유통량은 베스팅 일정에 따라 증가할 수 있다.
823
824 라그랑주의 장기적인 생태계 확장에는 다음과 같은 요소들이 영향을 미칠 수 있다.
825
826 - 실제 ZK 증명 생성 요청 수
827 - 증명 생성 수수료 규모
828 - DeepProve의 실제 AI 도입 사례
829 - 대규모 언어 모델 증명 성능
830 - 프로버 및 오퍼레이터 참여 규모
831 - 프로버 네트워크의 탈중앙화 정도
832 - 증명 생성 비용
833 - 롤업과 블록체인의 실제 통합 규모
834 - ZK Coprocessor 사용량
835 - EigenLayer 생태계와의 관계
836 - LA 스테이킹 규모
837 - 연간 추가 발행량
838 - 초기 투자자와 기여자 물량의 언락
839 - 다른 ZK 증명 네트워크와의 경쟁
840
841 ## 같이 보기
842
843 * [[비트코인]]
844 * [[이더리움]]
845 * [[영지식 증명]]
846 * [[ZK]]
847 * [[zkML]]
848 * [[인공지능]]
849 * [[AI 코인]]
850 * [[대규모 언어 모델]]
851 * [[EigenLayer]]
852 * [[리스테이킹]]
853 * [[ZK 롤업]]
854 * [[롤업]]
855 * [[스마트 컨트랙트]]
856 * [[크로스체인]]
857 * [[DeFi]]
858 * [[오라클]]
859 * [[블록체인]]
삭제 추가 — 줄 안에서 바뀐 글자만 색으로 표시됩니다.
r2 보기 역사 목록