succinctlabs의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
SP1은 RISC-V 아키텍처용으로 컴파일된 프로그램의 올바른 실행을 증명하는 영지식 가상 머신입니다.
