OraKle 7기 Final Research Presentation

KAIST 유일의 블록체인 학회 OraKle이 7기 활동의 마무리를 알리는 Final Research Presentation을 개최합니다.

OraKle은 “블록체인의 대중화를 완성시키다”라는 비전 아래 모인 Web3 Builder 중심의 커뮤니티로, 블록체인 기술에 대한 깊이 있는 연구와 실제 빌딩 경험을 함께 추구하고 있습니다.

이번 발표에서는 6개월 동안 진행된 연구 프로젝트의 최종 결과물을 공개합니다.
Ethereum 프로토콜 연구부터 DEX Aggregator 구조 분석, Solana 기반 보험 인프라 설계까지 각 팀이 수행한 심층 연구를 직접 발표합니다.

블록체인 기술을 깊이 있게 이해하고 싶은 분들, Web3 Builder들과 교류하고 싶은 분들에게 의미 있는 시간이 될 것입니다.

Research Sessions

이번 Final Presentation은 OraKle 내부 3개 연구 팀이 진행한 프로젝트 발표로 구성됩니다.

1. Ethereum Research Team

Formal Verification in Ethereum

Speaker: 유제인

이 세션에서는 Ethereum 생태계에서 중요한 연구 주제인 정형 검증(Formal Verification)과 영지식 증명(Zero-Knowledge Proof)을 중심으로 기술적 접근을 소개합니다.

주요 내용

• 영지식 증명(ZKP)과 정형 검증의 기본 개념 정리

• Ethereum Foundation의 zkEVM Formal Verification 프로젝트 분석

• SNARK 수학적 기반을 검증하기 위한 ArkLib 기여 사례 소개

이더리움의 현재와 미래

Speaker: 명재위 & 김성수

Ethereum 프로토콜의 최신 변화와 향후 방향을 EIP 스펙부터 클라이언트 구현 수준까지 분석합니다.

주요 내용

• Fusaka: EIP 스펙부터 Geth 클라이언트 구현까지 코드 레벨 분석

• Glamsterdam: Validator와 MEV Builder 구조 변화 분석

2. ODA Team (Orakle DEX Aggregating Team)

Stablecoin Peg Dynamics & DEX Aggregator Routing Research

Speaker: Kyle (박정호)

DEX Aggregator 구조와 스테이블코인의 페그 유지 메커니즘을 중심으로 DeFi 인프라의 실제 작동 방식을 심층 분석합니다.

주요 내용

• 체인별 스테이블코인 생태계 및 DEX Aggregator 실효성 분석

• Jupiter (Solana) 아키텍처 Deep Dive

• Pathfinding 알고리즘 연구를 통한 Aggregator Routing 성능 개선 방안

3. Insurance Infrastructure Team

Solana 기반 파라메트릭 보험 인프라 프로토콜

Speaker: 김우년

Solana의 기술적 특성을 활용한 Programmable Insurance Infrastructure 설계를 제안합니다.

주요 내용

• Solana 기반 Multi-Party Financial State Machine 설계

• Oracle 기반 검증과 자동 실행 구조

• Solana의 Atomic & Parallel Settlement 구조가 필요한 이유

Schedule

14:00 - 14:10
입장 및 개회 인사 (Opening)

14:10 - 14:30
Session 1: Formal Verification in Ethereum
Speaker: 유제인

14:30 - 14:50
Session 2: 이더리움의 현재와 미래
Speaker: 명재위 & 김성수

14:50 - 15:10
Break

15:10 - 15:50
Session 3: Stablecoin Peg Dynamics & DEX Aggregator Routing Research
Speaker: Kyle (박정호)

15:50 - 16:10
Break

16:10 - 16:50
Session 4: Solana 기반 파라메트릭 보험 인프라 프로토콜
Speaker: 김우년

16:50 - 18:00
자유 네트워킹 (Networking)

블록체인 기술의 최전선에서 연구하고 빌딩하는 OraKle 멤버들의 결과물을 직접 만나보고, Web3 Builder들과 자유롭게 교류할 수 있는 시간을 기대해 주세요.