Provable란?

Provable은 개발자들이 Aleo 블록체인 상에서 개인정보 보호를 우선시하는 안전한 셀프 커스터디 애플리케이션을 구축할 수 있도록 제로 지식 증명을 사용하는 회사입니다. 이 회사는 다음과 같은 도구들을 통해 제로 지식 기술을 간소화합니다:

• 검증 가능한 스마트 계약을 위한 프로그래밍 언어인 Leo;

• 12백만 이상의 거래와 2백만 주소를 포함한 Aleo 네트워크 활동을 모니터링하는 Explorer;

• Leo 코드를 테스트할 수 있는 Playground; 개인정보 중심 앱 개발을 위한 SDK;

• 상호운용성 표준을 위한 ARCs;

• 개인 블록체인을 운영하는 snarkOS;

• 증명을 실행하는 snarkVM.

이 시스템은 제로 지식 검증을 통해 오프체인에서 연산을 처리하며, 데이터를 노출 없이 비공개로 처리하고 상세한 문서 및 커뮤니티 리소스를 통해 확장 가능한 dApps를 지원합니다.