ORA: opML을 통한 검증가능한 ML 플랫폼 (previous HyperOracle)

1. verifiable AI: Decentralized AI에서의 핵심 아이디어 중 하나는 추론 과정에서 사용자가 의도하지 않은 모델이 사용되거나, 잘못된 추론 결과를 반환할 때 이를 검증할 수 있어야한다는 점. 이러한 검증 모델이 없다면 추론 결과를 반환하는 노드는 코스트가 적은 모델을 사용할 수 있고 결과의 신뢰성에 문제가 생김

2. zkML -> opML: zkSync, stakrware 같은 zk롤업들이 영지식 증명을 통해 L2 state 변화를 검증하는 것처럼, zkp는 머신러닝의 추론 과정을 증명하는데 사용될 수 있음. 그러나 zkp의 증명 생성 시간, 하드웨어 코스트 등은 실제 상용화에 큰 장벽이되며, 특히 모델 사이즈가 커질수록 이러한 코스트는 급격히 높아짐. 이러한 문제를 해결하기 위해 ORA팀은 optimistic rollup에서 착안하여 `opML`이라는 새로운 방식을 제안함. opML은 옵티미스틱 롤업과 비슷하게 '결과'에 문제가 생겼을 때, 즉 veirifer들이 결과에 동의하지 않을 때에만 분쟁 프로세스를 진행함. 분쟁에서 지는 측은 금전적인 손실을 입게되고, 이긴 측은 반대로 금전적인 인센티브를 얻음으로써 항상 정상적인 추론 과정을 수행하도록 경제적으로 강제함.

3. 분쟁 프로세스 (Challenge): 에를 들어, 사용자가 X라는 input을 model에게 추론해달라고 요청했을 때 특정 노드가 이에 대한 추론을 시작하여 Y라는 답변을 내놓을 수 있음. 만약, 다른 veifier들이 해당 model과 input을 사용하여 Y라는 답변이 아닌 다른 G라는 답변이 나왔다면 이에 대한 분쟁을 신청함. 분쟁은 컨트랙트에서 진행되며, 컨트랙트에서 실제 모델을 실행시켜 input에 대한 ouput이 Y인지 G인지를 검증함. 하지만 ML 모델을 컨트랙트에서 전부 실행시키는건 비효율적이고 높은 코스트를 유발하기 때문에 온체인에서 수행하는 계산부분을 최소화 시켜야함. 이를 위해 추론 과정의 중간 결과 [y1, y4, y6, ..., yn] 중에 서로 동의하지 않는 부분을 선택하고, 여기서 또 서로 동의하지 않는 부분을 계속해서 선택함으로써 최종적으로 가장 작은 계산 단위에서 서로 동의하지 않는 포인트를 찾아냄 (bisect 과정). 따라서 해당 부분에서만 on-chain 검증을 수행함으로써 온체인 계산에 필요한 코스트를 줄임 (이 부분은 현재의 optimistic rollup의 방식이기도 합니다)

4. PoC: 현재 https://www.ora.io/app/opml/sd 에서 text-to-image 모델인 Stable Diffusion과 LLM 모델인 llama 2에 대해서 테스트를 진행해 볼 수 있습니다. Promt에 원하는 input값을 넣고 generate 요청 TX을 생성할 수 있으며, Finalize 버튼을 통해 결과 값에 대한 검증이 가능합니다.

5. 투자: 세콰이어 중국, 다오5, Foresight Ventures로부터 $3M (pre-seed, news) + 이더리움 그랜츠

*현재 분쟁 프로세스는 Opstack의 cannon library를 사용하고 있으며, 구체적인 모델 별 분쟁 코드는 (opML.sol) 오픈소스화 되지 않은 상태이며 곧 공개한다고 합니다. 나머지 오픈소스는 아래 github에서 찾아 볼 수 있습니다.

site: https://twitter.com/OraProtocol
paper: https://arxiv.org/pdf/2401.17555.pdf
mirror: https://mirror.xyz/orablog.eth/qLBIR_yxmpFJ4dg5p5Sn8Wz46aQDTG1jCW8myeE7zZ8
github: https://github.com/ora-io/opml
eth forum: https://ethresear.ch/t/opml-optimistic-machine-learning-on-blockchain/16234

리서치 저자: @minebuu

#Ora #opML

트래져다오의 스몰 게임 SmolBound 사이트 공개

https://x.com/smolbound/status/1767319282080170070?s=20

가입: https://smolbound.com/

#Smol #SmolBound #TreasureDAO

SMOL

아비트럼 게이밍 프로포절이 포럼에 게시

https://forum.arbitrum.foundation/t/catalyze-gaming-ecosystem-growth-on-arbitrum/22368

- 최대 200M ARB (약 5천억) 규모의 게이밍 그랜츠 프로포절
- 게임체인/퍼블리셔/게임 빌더 및 스튜디오/인프라 등이 그랜츠 대상

#Arbitrum #GCP

이것이 전통금융...?
비트코인 ETF 유입 1B 달성
그 중 블랙록이 848.98M

Trading idea: 레딧 3월 ipo 예정 -> 샘알트먼 3대주주 (지분9퍼) -> 레딧 코인 Moon & Brick 수혜?

https://qz.com/reddit-ipo-openai-sam-altman-1851327595

매수/매도 추천이 아닙니다!

아비트럼의 수수료 인하 업데이트

https://x.com/BFreshHB/status/1767921299379126369?s=20

아비트럼의 수수료 인하 업데이트는 2단계에 나눠서 진행됩니다.

- 30분뒤면 아비트럼도 Blob에 L2 데이터를 제출하도록 변경되며 수수료가 인하됩니다 (수수료가 실제 감소되기까지는 추가적인 1-2시간 필요)

- 또한 다음주 화요일 L2의 기본요금을 낮추는 업데이트가 진행됨으로써 추가적인 가스비 인하가 진행됩니다

#Arbitrum

아비트럼 게이밍 프로포절 스냅샷 투표 시작

https://snapshot.org/#/arbitrumfoundation.eth/proposal/0x1a9f2097b0b5a0021628e9edb0e7c9bffae4fdbb104f9996463e40a3129c7718

- 1시간전 투표가 시작되었으며 투표는 한국시간 23일 12:52 AM에 종료됩니다
- 4천억 규모의 최대 그랜츠가 승인될 시 아비트럼의 게이밍 프로젝트들이 큰 수혜를 받게 됩니다

#Arbitrum

현재 절차는 Phase1. Temp Check 단계로 스냅샷이 통과되고 난 후 정식 AIP 제안 및 투표 절차를 거치게되네요

참고: https://xangle.io/research/detail/1099

스냅샷이 통과될 경우 그동안의 피드백을 반영하여 4월 Tally에서 최종 투표가 수행됩니다

#Arbtirum

2024.03.15~2024.03.16 daily summary - 국문

📣 AI Project Updates & Research
AI Arena
- 4월 TGE

Netmind AI
- ETH 크로스체인 / https://twitter.com/NetmindAi/status/1768672079866445933
- 팀에 의하면 폭락은 해킹이나 익스플로잇이 아님
- $2.8M을 덤핑한 초기 고래 때문임
- 토크노믹스를 수정하여 앞으로 이와 같은 사건을 막을 것
- 관련 트윗: https://twitter.com/NetmindAi/status/1768819532544491680

DEAI
- LBP / 3월 17일 12pm UTC / https://twitter.com/zero1_labs/status/1768301628808208731?t=dVqdXunR04h7dJFiNNUmfw&s=19

🟩 Degen Shitter
Sol AI 프로젝트에 집중해보면 좋을 것

Abble
- bag og들에게 에어드랍됐었음 / https://x.com/BagsApp/status/1768053859434516679?s=20
- chart: https://dexscreener.com/solana/hqqrpztmt7kcgmf5e7rygbdmz5izrxthfcu9szk6xanq?__cf_chl_rt_tk=H1khfgpy48DJhsPTi7.sF5YKResuTfJz4lEPvwsVYyY-1710592005-0.0.1.1-1749

Base meme coins
- 다시 핫해지고 있는 모습
- https://twitter.com/jessepollak 가 거의 king maker, 언급하는 토큰 위주로 상승중

🖥 Node Running/Mining
Ionet
- Ionet 노드를 다른 노드와 같이 돌리면, 팀이 블록할 위험이 있음

Heurist AI
- 다음 주는 LLM 채굴자에게 NFT를 에어드랍 할 예정
- LLM 채굴자를 위한 0.0.1 버전이 릴리즈됨
- 관련 트윗 / https://twitter.com/heurist_ai/status/1768829510051418280?t=Y9jov8PzdToRiiHJxBnopg&s=19

To the Moon

트래져체인의 테스트넷은 예정대로라면 이번달말에 출시를 목표로하고있습니다.

트래져체인 관련 파트너들을 찾는중인것으로 보이며, 예전 디스코드에선 Eigen layer과 같은 DA솔루션들이 논의된바있습니다

https://x.com/karelvuong/status/1770241332486774948?s=20

#TreasureDAO

Ritual : 모든 블록체인을 위한 AI 코프로세서(Coprocessor)

1. Concept : AI 모델에 전문화된 네트워크를 개발중이며, L1, L2, EVM, nonEVM 등 다양한 체인에 연결되어 AI 작업을 처리할 수 있는 인프라를 제공한다. 이를 통해 체인의 유저들은 각 체인의 AI 어플리케이션에 접근할 수 있다. 기존 AI 인프라 서비스의 중앙화된 API에 대한 의존, 연산 비용 상승, 제한된 하드웨어 접근성 등의 문제를 해결하고자 한다.

2. Superchain : Ritual은 유저들이 AI 모델을 호스팅하고 이를 오픈 API를 통해 접근할 수 있도록 함으로써 AI 리소스의 접근성과 활용성을 증가시키며, 모든 블록체인의 AI 어플리케이션을 지원하는 플랫폼이 되는 것을 목표로 하는 Superchain 비전을 갖고 있다. 실행되는 모델은 데이터를 학습하고, 결과를 예측하며, 실시간으로 상호작용 하는 등 기존의 스마트 컨트랙트가 수행하기 어려웠던 복잡한 작업을 수행할 수 있다.

3. Node : 네트워크는 노드 세트(Node sets)와 상호작용하는데, 증명(Proof), 모델 캐싱(Model caching), 프라이버시, 밸리데이터 등 각 노드들의 특화된 기능에 맞게 최적화된 작업을 실행하도록 한다. 특히 증명에선 zk, 옵티미스틱, 확률 증명 등의 옵션에서 선택할 수 있으며 프라이버시 측면에선 FHE(Fully Homomorphic Encryption), MPC등을 제공한다.

3. Interoperability : Ritual의 연산과 통신은 각각 SPC(Stateful Precompiles)와 GMP(General Message Passing)를 사용한다. SPC는 상태를 기억하는 기능을 갖고 있으며, 이전 단계의 결과가 다음 단계에 영향을 미치는 모델 트레이닝에선 상태 정보의 유지가 필수적이다. SPC를 통해 AI 모델의 연속적인 트레이닝 과정을 효율적으로 수행할 수 있다. GMP는 다양한 체인들과 구성 요소들이 일관된 프로토콜을 사용하여 Ritual과 원활하게 통신할 수 있도록 하는 시스템으로, 트랜잭션 형태로 전송된다.

예를 들어, 한 유저가 AI 모델을 통해 이미지를 분석하고자 할 때, 유저의 요청을 받은 체인은 GMP를 통해 Ritual 노드와 통신하며, 노드는 요청에 적합한 모델을 불러와 작업을 수행하고, 결과를 다시 유저에게 전달하는 것이다. 이때 요청을 최적화하는 Portal과 입출력을 제어하는 Guardians가 네트워크의 효율과 자율성에 기여한다.

Ritual은 현재 Superchain의 중간단계인 Infernet 단계로 노드 참여가 가능하다.

4. Restaking : 데이터 프라이버시와 IP 보호와 더불어, 네트워크 참여자들이 안전하게 모델을 실행하고 관리할 수 있게 하기 위해서 보안이 매우 중요하다. Ritual은 슈퍼체인 보안을 부트스트랩하기 위해 EigenLayer의 보안을 활용할 예정이며, 모델 실행과 증명, 모델 라우팅 등에 기여할 예정이다.

5. Investors & Advisor
- Series A, $25M raised : Archetype, Dao5, Accomplices, Robotventures 등
- Arthur Hayes, Illia(Near Co-Founder), Sreeram Kannan(EigenLayer Founder), Divya Gupta(ex-Sequoia partner) 등

6. Partnership
- EigenLayer x Ritual
- IO x Ritual
- Myshell x Ritual
- Story x Ritual

리서치 저자: @tony12450

아비트럼 게이밍 그랜츠 스냅샷이 오늘 종료됩니다

- 스냅샷 투표가 종료되고 나면 정식 AIP로 채택되며 Tally에서 메인 투표가 진행됩니다 (4월 예상)
- Temp check 투표인 스냅샷에서만 126M를 받았기 때문에 메인투표도 무난하게 통과할것으로 예상됩니다
- 아비트럼 장기 인센티브 프로그램의 경우 메인 투표에서 140M 표를 얻으며 통과한 전적이 있습니다 (https://www.tally.xyz/gov/arbitrum)

*아마 게이밍 그랜츠 제안이 올라오기전부터 물밑으로 미리 주요 유권자들에게 동의표를 구하지 않았나 싶습니다

#Arbitrum

<더비콘, 토큰 발표>
뉴 프론티어 퀘스트 기간 동안 이벤트 참여를 통해 획득 가능
https://wop.thebeacon.gg/

아비트럼 밈코인 지원 프로포절

https://forum.arbitrum.foundation/t/arbitrums-memecoin-fund/22743/4

#Arbitrum #Meme

Espresso, $28M 투자 유치

https://x.com/EspressoSys/status/1770842664021192771?s=20

- 공유형 시퀀서 프로젝트인 에스프레소가 A16Z 주도로 $28M 투자를 유치
- 현재의 L2들 (아비트럼, 옵티미즘)은 단일 시퀀서로만 동작하는데, 이러한 중앙화 문제를 해결해주는 프로젝트로 L2에 꼭 필요한 프로젝트입니다
- 투자자 목록들이 VC 보다는 L2 프로젝트들과 Dapp들 위주로 구성되어 있는 점도 눈여겨 볼만한 것 같습니다
- 4일전 뉴스긴 하지만 평소에 많은 관심을 갖던 프로젝트라 올립니다

#Espresso