OraKle 7th Conference
KAIST 유일 블록체인 동아리이자, 한국의 가장 잠재력 높은 Web3 Builder가 모인 OraKle에서 7기 최종 발표를 진행합니다.
About OraKle
KAIST 블록체인 학회 OraKle은 '블록체인의 대중화를 완성시키다' 라는 비전 아래 모인 Web3 Builder 중심의 커뮤니티입니다. 이번 최종 발표는 OraKle의 현재 활동 기수가 6개월간 몰입하고 연구하여 도출해낸 최종 연구 결과물을 선보이는 자리입니다.
Research Sessions
이번 발표는 OraKle 내 3개의 팀이 각자의 전문 분야에서 수행한 심층 연구 발표로 구성됩니다.
1. Ethereum Research Team
Topic 1: Formal Verification in Ethereum
Speaker: 유제인
Sub Topics:
영지식 증명(Zero-knowledge proof)과 정형 검증(Formal verification)의 기본 개념 정리
이더리움 재단의 zkEVM Formal Verification 프로젝트 분석
SNARK의 수학적 기반을 검증하는 ArkLib 기여 내용 소개
Topic 2: 이더리움의 현재와 미래
Speaker: 명재위 & 김성수
Sub Topics:
Fusaka: EIP 스펙부터 Geth 클라이언트 구현까지의 코드 레벨 분석
Glamsterdam: Validator와 MEV Builder의 구조적 변화 분석
2. ODA Team (Orakle DEX Aggregating Team)
Topic: Stablecoin Peg Dynamics & DEX Aggregator Routing Research
Speaker: Kyle (박정호)
Sub Topics:
체인별 스테이블코인 생태계 및 DEX 어그리게이터 실효성 분석
Deep-Dive Jupiter: 솔라나(Solana) 기반 Jupiter 아키텍처 심층 해부
어그리게이터, 패스파인딩(Pathfinding) 알고리즘 연구를 통한 라우팅 성능 개선 방안
3. Insurance Infrastructure Team
Topic: Solana 기반 파라메트릭 보험 인프라 프로토콜
Speaker: 김우년
Sub Topics:
Programmable Insurance: Designing a Multi-Party Financial State Machine on Solana
Why This Architecture Requires Solana: Oracle-Verified, Atomic, Parallel Settlement
Schedule
14:00 - 14:10 | 입장 및 개회 인사 (Opening)
14:10 - 14:30 | 🧑🎓 Session 1: Formal Verification in Ethereum - 유제인
14:30 - 14:50 | 🧑🎓 Session 2: 이더리움의 현재와 미래 - 명재위 & 김성수
14:50 - 15:10 | Break 1
15:10 - 15:50 | 🧑🎓 Session 3: Stablecoin Peg Dynamics & DEX Aggregator Routing Research - Kyle (박정호)
15:50 - 16:10 | Break 2
16:10 - 16:50 | 🧑🎓 Session 4: Solana 기반 파라메트릭 보험 인프라 프로토콜 - 김우년
16:50 - 18:00 | 🤝 자유 네트워킹 (Networking)
KAIST’s premier blockchain society, OraKle, a community of South Korea’s most promising Web3 builders, is proud to present the final research results of our 7th cohort.
About OraKle
OraKle is a Web3 builder-centric community at KAIST, driven by the vision of "Completing the Mass Adoption of Blockchain." This final presentation showcases the culmination of six months of intensive research and development by our current active members.
Research Sessions
The showcase features in-depth technical presentations from three specialized units within OraKle.
1. Ethereum Research Team
Topic 1: Formal Verification in Ethereum
Speaker: Jein Ryu
Sub-topics:
Fundamental concepts of Zero-Knowledge Proofs (ZKP) and Formal Verification (FV)
Analysis of the Ethereum Foundation’s zkEVM Formal Verification project
Introduction to ArkLib contributions for verifying the mathematical foundations of SNARKs
Topic 2: The Present and Future of Ethereum
Speakers: Jaewi Myung & Sungsoo Kim
Sub-topics:
Fusaka: Code-level analysis ranging from EIP specifications to Geth client implementation
Glamsterdam: Analysis of structural changes in Validators and MEV Builders
2. ODA Team (OraKle DEX Aggregating Team)
Topic: Stablecoin Peg Dynamics & DEX Aggregator Routing Research
Speaker: Kyle (Jungho Park)
Sub-topics:
Analysis of stablecoin ecosystems and the efficacy of DEX aggregators across different chains
Deep-Dive Jupiter: In-depth architectural breakdown of the Solana-based Jupiter aggregator
Proposing routing performance improvements through Pathfinding algorithm research
3. Insurance Infrastructure Team
Topic: Solana-based Parametric Insurance Infrastructure Protocol
Speaker: Woonyun Kim
Sub-topics:
Programmable Insurance: Designing a Multi-Party Financial State Machine on Solana
Why This Architecture Requires Solana: Exploring Oracle-Verified, Atomic, and Parallel Settlement mechanisms
Schedule
14:00 - 14:10 | Opening Remarks
14:10 - 14:30 | 🧑🎓 Session 1: Formal Verification in Ethereum – Jaein Yoo
14:30 - 14:50 | 🧑🎓 Session 2: The Present and Future of Ethereum – Jaewi Myung & Sungsoo Kim
14:50 - 15:10 | Break 1
15:10 - 15:50 | 🧑🎓 Session 3: Stablecoin Peg Dynamics & DEX Aggregator Routing Research – Kyle (Jungho Park)
15:50 - 16:10 | Break 2
16:10 - 16:50 | 🧑🎓 Session 4: Solana-based Parametric Insurance Infrastructure Protocol – Woonyun Kim
16:50 - 18:00 | Networking Session