Cairo에서 S-two까지
Starknet이 구축하는 검증 가능한 연산과 스마트 컨트랙트 생태계
@Starknet
🧠 개발자가 작성한 코드가 수많은 거래를 실행했다면, 우리는 그 결과가 정확하다는 사실을 어떻게 확인할 수 있을까요?
이 질문을 이해하면 Starknet이 왜 Cairo와 S-two에 집중하는지도 자연스럽게 알 수 있습니다.
먼저 Cairo는 Starknet에서 스마트 컨트랙트를 개발하는 프로그래밍 언어입니다. 디파이와 게임, 다양한 온체인 서비스를 만들 수 있으며 계산 결과를 암호학적으로 증명하기에 적합하도록 설계됐습니다.
그런데 프로그램을 실행하는 것과 실행 결과의 정확성을 증명하는 것은 다른 문제입니다.
여기서 등장하는 기술이 S-two입니다.
S-two는 Cairo 프로그램의 실행 결과에 대한 STARK 증명을 효율적으로 생성하는 시스템으로, Circle STARKs 기술을 활용합니다.
Starknet의 증명 인프라인 SHARP에서는 여러 계산의 증명을 결합해 이더리움에서 효율적으로 검증할 수 있도록 처리합니다.
⚙️ 흥미로운 부분은 S-two가 이미 실사용 단계에 들어섰다는 점입니다.
2026년 1월 공개된 S-two 2.0은 완전한 오픈소스로 제공되며 개발자들은 이를 활용해 자체 증명 시스템이나 애플리케이션을 구축할 수 있습니다.
이 변화는 단순히 거래 처리 속도를 높이는 것 이상의 의미가 있습니다.
앞으로 개발자가 실행 결과를 검증할 수 있는 게임과 금융 서비스, 개인정보 보호 애플리케이션을 구현할 때도 이런 증명 기술을 활용할 수 있기 때문입니다.
물론 증명 생성 속도와 비용, 개발 편의성은 계속 개선해야 합니다.
개인적으로는 Starknet이 거래를 실행하는 블록체인에서 나아가 복잡한 계산의 정확성까지 확인할 수 있는 개발 환경을 넓혀간다는 점이 흥미롭습니다.
코드를 작성하는 Cairo와 결과를 증명하는 S-two.
두 기술이 함께 발전하면서 어떤 새로운 서비스가 등장할지 기대됩니다. 🧬
#Starknet #Cairo #Stwo #STARK #VerifiableComputing
