iamalwaysuncomfortable
Follow
-
snarkVM Public
Forked from ProvableHQ/snarkVMA Virtual Machine for Zero-Knowledge Executions
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
python-sdk Public
Forked from ProvableHQ/python-sdkPython GNU General Public License v3.0 UpdatedJan 11, 2025 -
notus-react Public
Forked from creativetimofficial/notus-reactNotus React: Free Tailwind CSS UI Kit and Admin
JavaScript MIT License UpdatedDec 12, 2024 -
zk-decision-framework Public
A framework for interpreting and building decision logic on Zk Proof results
Rust UpdatedDec 12, 2024 -
sdk Public
Forked from ProvableHQ/sdkA Software Development Kit (SDK) for Zero-Knowledge Transactions
JavaScript GNU General Public License v3.0 UpdatedNov 11, 2024 -
varuna-sage-impl Public
Forked from ProvableHQ/varuna-sage-implA SageMath implementation of the Varuna zkSNARK.
Sage UpdatedNov 8, 2024 -
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
Rust Apache License 2.0 UpdatedMay 15, 2024 -
snarkOS Public
Forked from ProvableHQ/snarkOSA Decentralized Operating System for ZK Applications
Rust Apache License 2.0 UpdatedApr 19, 2024 -
-
blockusign Public
Document fingerprinting and verification on Ethereum
JavaScript UpdatedJan 19, 2024 -
-
-
-
-
zk-counterparty Public
Zero knowledge authentication and information proving sandbox
-
Nova Public
Forked from microsoft/NovaNova: Recursive SNARKs without trusted setup
Rust MIT License UpdatedApr 20, 2023 -
cryptofuzz Public
Forked from malekremy/cryptofuzzFuzzing cryptographic libraries. Magic bug printer go brrrr.
C++ GNU General Public License v3.0 UpdatedApr 14, 2023 -
-
zk-gaming-toolkit Public
Forked from Kryha/zk-gaming-toolkitZero-knowledge gaming toolkit using Leo-lang
TypeScript Apache License 2.0 UpdatedApr 12, 2023 -
-
telepathy-circuits Public
Forked from succinctlabs/telepathy-circuitszkSNARK circuits for the Telepathy protocol
TypeScript UpdatedMar 16, 2023 -
Leo-Language-Utilities Public
Helpful LEO Language and ALEO instruction programs for managing life on the Aleo Network
UpdatedMar 10, 2023 -
mobilecoin Public
Forked from mobilecoinfoundation/mobilecoinPrivate payments for mobile devices.
Rust Other UpdatedMar 10, 2023 -
cryptography-in-wasm-optimizations Public
Forked from z-prize/2022-entriesZPrize 2022 - All qualified entries
Rust UpdatedMar 2, 2023 -
ant-design Public
Forked from ant-design/ant-designAn enterprise-class UI design language and React UI library
TypeScript MIT License UpdatedFeb 21, 2023 -
myaleo Public
Useful command line utilities for managing Aleo accounts and resources
Rust UpdatedJan 13, 2023 -
cargo-generate Public
Forked from cargo-generate/cargo-generatecargo, make me a project
Rust Apache License 2.0 UpdatedJan 10, 2023 -
-
welcome Public
Forked from ProvableHQ/leo-docs-sourceWelcome to Aleo. Where Applications Become Zero-Knowledge
Rust UpdatedDec 14, 2022 -
r1cs-std Public
Forked from arkworks-rs/r1cs-stdR1CS constraints for bits, fields, and elliptic curves
Rust Apache License 2.0 UpdatedDec 9, 2022