ProvableHQ의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
🦁 Leo 프로그래밍 언어. 형식 검증된 영지식(Zero-Knowledge) 애플리케이션을 위한 프로그래밍 언어
ZK 애플리케이션을 위한 탈중앙화 운영 체제
탈중앙화 프라이버시 연산(DPC)을 위한 zkVM
영지식(Zero-Knowledge) 애플리케이션 개발을 위한 Javascript 및 Typescript SDK
