ghostant-1017

Cedric's repositories

leo

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

Language:RustGPL-3.0200

leo_template

Language:Shell2 10

Ai_resources

000

ARCs

Aleo Request for Comments (ARCs)

Language:JavaScriptApache-2.0000

dev-tools

Language:Shell010

draw-io

020

gevulot

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

Language:RustApache-2.0000

hdeposit

Language:Rust010

hello_world

hello world!!!!!

02 1

img

020

learn-tokio

Language:Rust000

leo_workshop

Language:Shell010

learning-zkp

articles, codes and tools all about zero-knowledge proofs

000

lock_test

Language:Rust010

logs

010

mysnarkOS

Language:RustApache-2.0000

mysnarkOS1

Language:RustApache-2.0000

rocksdb-waltest

Language:Rust010

sdk

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

Language:RustGPL-3.0000

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustApache-2.0010

snarkVM

A Virtual Machine for Zero-Knowledge Executions

Language:RustApache-2.0000

venus-cluster

sealing cluster for venus

Language:Go010

zkBank

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

Language:Go000

zkgaming_blackjack

020

zkgaming_dice

020