융자 5500만 달러의 Succinct는 패러다임이 주도한 두 차례의 투자를 받은 최고의 ZK 프로젝트입니다.
이 최고의 ZK 프로젝트의 핵심 제품은 SP1로, 현재 가장 빠른 zkVM입니다.
• 성능 선도, 증명 속도가 다른 zkVM보다 최대 28배 빠르고, 비용은 1/몇 수준으로 낮습니다.
• Rust로 ZKP 작성을 지원하여 기존 코드 라이브러리를 재사용할 수 있고, 개발 효율성이 100배 향상됩니다.
• 프로덕션 수준의 사용 사례를 지원하며, 최고 수준의 감사를 받았고 폴리곤, 셀레스티아 등 대형 프로젝트와 협력하여 채택되었습니다.
일. SP1이란 무엇인가?
SP1은 개발자가 Rust(또는 LLVM 컴파일을 지원하는 모든 언어)로 일반 코드를 작성하여 프로그램의 올바른 실행을 검증하는 효율적인 제로 지식 증명을 생성할 수 있는 범용 제로 지식 가상 머신(zkVM)입니다.
간단히 말해, SP1은 개발자가 익숙한 프로그래밍 언어로 복잡한 암호학 이론을 깊이 연구하지 않고도 암호학적 보안성을 갖춘 검증 가능한 컴퓨팅 애플리케이션을 빠르게 구축할 수 있게 합니다.
SP1의 핵심 혁신은 제로 지식 증명의 개발 진입 장벽을 크게 낮추면서 최고 수준의 성능과 유연성을 유지한다는 점입니다. ZKP를 일반 소프트웨어 작성처럼 간단하게 만들어 롤업, 크로스체인 브릿지, 오라클 등 블록체인 인프라를 유지 가능한 코드로 검증 가능하게 합니다.
제로 지식 증명(ZKP)은 어떤 입력 데이터도 누설하지 않고 특정 계산의 정확성을 증명할 수 있습니다. 이러한 능력은 블록체인에서 무한한 응용 사례를 가집니다:
- 확장성: 롤업을 통해 ZKP는 대량의 거래를 하나의 증명으로 압축하여 메인 체인의 부담을 크게 줄일 수 있습니다.
- 상호운용성: ZKP는 서로 다른 체인의 상태를 검증하여 크로스체인 통신을 촉진할 수 있습니다.
- 프라이버시: ZKP는 거래 또는 상태의 프라이버시를 보장하여 사용자 데이터를 보호합니다.
- 브릿지 및 오라클: ZKP는 체인 외부 데이터 또는 계산을 체인 상에서 신뢰 없이 검증할 수 있게 합니다. 그러나 전통적인 ZKP 개발의 복잡성은 "악몽"에 가깝습니다. 전문 암호학 팀, 수년의 개발 주기, 높은 유지 관리 비용이 필요합니다.
SP1의 등장으로 이러한 상황이 완전히 바뀌었습니다.
(번역은 계속됩니다. 전체 텍스트를 번역하겠습니다.)
