Pinned Repositories
Ai_resources
ARCs
Aleo Request for Comments (ARCs)
cuda-training-series
Training materials associated with NVIDIA's CUDA Training Series (www.olcf.ornl.gov/cuda-training-series/)
dev-tools
devrel_cedric_testtoken
draw-io
FILLiquid
framed_test
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo_template
ghostant-1017's Repositories
ghostant-1017/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ghostant-1017/leo_template
ghostant-1017/Ai_resources
ghostant-1017/ARCs
Aleo Request for Comments (ARCs)
ghostant-1017/cuda-training-series
Training materials associated with NVIDIA's CUDA Training Series (www.olcf.ornl.gov/cuda-training-series/)
ghostant-1017/dev-tools
ghostant-1017/devrel_cedric_testtoken
ghostant-1017/draw-io
ghostant-1017/FILLiquid
ghostant-1017/framed_test
ghostant-1017/gevulot
Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
ghostant-1017/hdeposit
ghostant-1017/hello_world
hello world!!!!!
ghostant-1017/img
ghostant-1017/learn-tokio
ghostant-1017/leo_workshop
ghostant-1017/learning-zkp
articles, codes and tools all about zero-knowledge proofs
ghostant-1017/lock_test
ghostant-1017/logs
ghostant-1017/mysnarkOS
ghostant-1017/mysnarkOS1
ghostant-1017/poc-forged-block
ghostant-1017/poc-report2610084
ghostant-1017/rocksdb-waltest
ghostant-1017/sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
ghostant-1017/snarkOS
A Decentralized Operating System for ZK Applications
ghostant-1017/snarkVM
A Virtual Machine for Zero-Knowledge Executions
ghostant-1017/test-vmp
ghostant-1017/test_validators
ghostant-1017/zkBank
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!