이더리움은 5조 털렸는데,
왜 카르다노는 0원도 안 털렸을까?

1. ✏️ 연필과 지우개 vs 돌에 새긴 글씨

우리가 쓰는 일반적인 프로그래밍 언어(파이썬, 자바 등)와 하스켈(Haskell)의 가장 결정적인 차이는 딱 하나입니다. 바로 "지우개가 있느냐, 없느냐"입니다.

일반적인 언어는 칠판에 적힌 글씨와 같습니다. 선생님이 사과 = 5개라고 적어두었는데, 지나가던 학생이 지우개로 슥 지우고 사과 = 0개로 바꿀 수 있습니다. 그러면 처음 사과를 5개로 알고 있던 다른 친구들은 큰 혼란에 빠집니다. "어? 아까 5개였는데 왜 갑자기 0개야?"

이것이 컴퓨터 프로그램에서 일어나는 '버그(오류)'와 금융 시스템 '해킹'의 90% 원인입니다.

2. 🥤 정직한 붕어빵 자판기 (순수 함수)

하스켈의 함수는 '정직한 붕어빵 자판기'입니다. 팥 반죽을 넣으면 오늘 넣든, 내일 넣든, 비가 오든 상관없이 언제나 똑같은 팥 붕어빵이 나옵니다.

그리고 붕어빵을 구우면서 갑자기 주방 벽지를 찢거나 불을 끄는 엉뚱한 짓(부작용, Side-Effect)을 절대 하지 않습니다. 이것을 순수 함수(Pure Function)라고 부르며, 1원의 오차도 용납하지 않는 금융과 블록체인의 절대 안전을 보장합니다.

3. 🌐 글로벌 실전 개발 사례 (Case Study)

• 카르다노(Cardano) eUTxO 원장: 이더리움은 잔고를 메모리에서 직접 지우개로 덮어쓰다 매년 수조 원의 재진입성 해킹을 당합니다. 반면 카르다노는 하스켈의 불변성 박스(eUTxO) 모델로 온체인 해킹 $0를 기록 중입니다.
• 메타(페이스북) Haxl 엔진: 30억 사용자의 스팸과 공격을 실시간 방어하기 위해 수천 명의 엔지니어 규칙이 충돌하지 않는 하스켈 순수 함수형 엔진을 구축했습니다.

4. 💡 진화의 다리: Haskell ➔ Rust ➔ Aiken ➔ Cardano