DEX Digest by Angtiger

2026-02-17 21:20 KST Β· by Angtiger Β· 맀일 09:00 KST μ—…λ°μ΄νŠΈ
5 sources
1 new posts
πŸ” 검색 Β· πŸ“’ TelegramAI DigestDEX Digest Β· 🌐 DigestAI DigestDEX Digest Β· πŸ“§ λ¬΄λ£Œκ΅¬λ…
πŸ“§ λ¬΄λ£Œκ΅¬λ…ν•˜κΈ°
← 전체 보기 πŸ“… 2026-01-24
총 1건
26.01.24 arXiv πŸ“„ Research Lean 4λ₯Ό ν™œμš©ν•œ AMM 수수료 λ©”μ»€λ‹ˆμ¦˜ ν˜•μ‹ 검증
β–² 0
DeFiμ—μ„œ AMM의 수수료 λ©”μ»€λ‹ˆμ¦˜μ„ Lean 4 증λͺ… 보쑰기λ₯Ό ν™œμš©ν•˜μ—¬ ν˜•μ‹ κ²€μ¦ν•œ 연ꡬ. μ‹ λ’°ν•  수 μžˆλŠ” μ€‘κ°œμž 없이 μžμ‚° κ΅ν™˜ ν”„λ‘œν† μ½œμ˜ 정확성을 μˆ˜ν•™μ μœΌλ‘œ 증λͺ…ν•œλ‹€.