starkware-libs/cairo-vm
@starkware-libscairo-vm은 Cairo VM의 Rust 구현체입니다. Cairo는 증명 가능한 프로그램을 작성하기 위한 프로그래밍 언어로, 한쪽이 다른 쪽에 특정 연산이 올바르게 실행되었음을 재실행 없이 증명할 수 있게 합니다.
스타
586
포크
226
언어
Rust
라이선스
Apache-2.0
마지막 푸시
5일 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.