succinctlabs/sp1
@succinctlabsSP1은 RISC-V 아키텍처용으로 컴파일된 프로그램의 올바른 실행을 증명하는 영지식 가상 머신입니다.
스타
1,734
포크
691
언어
Rust
라이선스
Apache-2.0
마지막 푸시
1주 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.