Cedric (ghostant-1017)

ghostant-1017

Geek Repo

0

followers

0

following

0

stars

Location:Shanghai

Github PK Tool:Github PK Tool

Cedric's repositories

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language:RustLicense:GPL-3.0Stargazers:2Issues:0Issues:0
Language:ShellStargazers:2Issues:1Issues:0
Stargazers:0Issues:0Issues:0

ARCs

Aleo Request for Comments (ARCs)

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0

gevulot

Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

hello_world

hello world!!!!!

Stargazers:0Issues:2Issues:1
Stargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0

learning-zkp

articles, codes and tools all about zero-knowledge proofs

Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

snarkVM

A Virtual Machine for Zero-Knowledge Executions

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

venus-cluster

sealing cluster for venus

Language:GoStargazers:0Issues:1Issues:0

zkBank

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

Language:GoStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0