Vitalik Buterin, Ethereum의 천재가 큰 충격을 주었습니다. 그는 Circle STARKs라는 새로운 암호화 프로토콜을 도입했습니다. 이는 블록체인 보안과 효율성을 혁신할 예정입니다.
Buterin은 최신 블로그 글에서 모든 것을 설명했습니다. 이 프로토콜은 Mersenne31과 같은 작은 필드를 사용합니다. 이것은 증명 속도를 급격히 높입니다. 보안도 타협하지 않습니다.
"지난 2년간 STARK 프로토콜 설계의 가장 중요한 트렌드는 작은 필드를 사용하는 것으로 바뀌었습니다,"라고 Buterin은 썼습니다.
전통적인 STARKs는 256비트 필드를 사용합니다. 그것들은 안전하지만 둔탁합니다. Circle STARKs는 게임을 바꿉니다. 계산 비용을 줄입니다. 증명 속도가 급상승합니다.
성과는 인상적입니다. M3 노트북은 초당 620,000개의 Poseidon2 해시를 검증할 수 있습니다. 이는 큰 성과입니다.
그러나 문제도 있습니다. 작은 필드는 무차별 대입 공격에 취약합니다. Buterin은 이에 대한 해결책을 가지고 있습니다. Circle STARKs는 여러 번의 랜덤 체크를 수행합니다. 확장 필드도 사용합니다.
이것은 공격자에게 큰 골칫거리를 만듭니다. 계산 장벽이 매우 높습니다. 프로토콜을 안전하게 유지합니다.
Buterin은 문제를 설명합니다: "작은 필드 상의 STARKs와 함께 우리는 문제를 가지고 있습니다. x의 가능한 값이 약 20억 개 밖에 없어서, 가짜 증명을 만들고자 하는 공격자는 20억 번만 시도하면 됩니다. 많은 일 같지만, 결정적인 공격자에게는 충분히 가능합니다!"
Circle STARKs는 Circle FRI라는 새로운 접근 방식을 도입합니다. 이는 암호화 무결성을 유지하는 데 중요합니다. 비다항식 입력은 증명에 실패합니다. 이것은 영리한 해결책입니다.
결론은? Circle STARKs는 더 높은 가치를 제공합니다. 유연하고 다재다능합니다. 이는 블록체인 세계의 계산 성능에 있어서 큰 도약입니다.