-
nexus-zkvm Public
Forked from nexus-xyz/nexus-zkvmThe Nexus zkVM: The zero-knowledge virtual machine
Rust Apache License 2.0 UpdatedJun 11, 2024 -
starknet-rs Public
Forked from xJonathanLEI/starknet-rsComplete Starknet library in Rust™
Rust Apache License 2.0 UpdatedApr 5, 2024 -
-
-
-
awesome-folding Public
Forked from lurk-lab/awesome-foldingA curated list of zero-knowledge folding schemes
Creative Commons Zero v1.0 Universal UpdatedSep 8, 2023 -
-
Nova-Scotia-learning Public
Forked from nalinbhardwaj/Nova-ScotiaMiddleware to compile Circom circuits to Nova prover
JavaScript MIT License UpdatedSep 8, 2023 -
chiquito Public
Forked from privacy-ethereum/chiquitoDSL for Halo2 circuits
Rust UpdatedSep 1, 2023 -
-
PSE-Nova-memo Public
Forked from privacy-ethereum/NovaNova: Recursive SNARKs without trusted setup
Rust MIT License UpdatedAug 21, 2023 -
-
-
-
ccs-hack-memo Public
Forked from thor314/ccs-hacka hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
Rust MIT License UpdatedJul 5, 2023 -
aleo_workshop_practice Public
Forked from ProvableHQ/workshop📜 A Starter Guide to Build ZK Applications 📜
Shell UpdatedJun 16, 2023 -
-
motoko_httpoutcall_sample Public
Practiced HTTP outcall of Internet Computer in Motoko language
JavaScript UpdatedMay 1, 2023 -
arkworks_dapp_icp Public
arkworks' ark_groth16 to generate a Proof on the front end and verify it on the Canister
-
-
-
arkworks_groth16_webapp Public
Calling from the front end by making the arkworks_groth16 into a wasm
-
-
nova-bench Public
Forked from privacy-ethereum/nova-benchA collection of comparison-benchmarks for Nova & related Proving systems
Rust UpdatedApr 6, 2023 -
-
-
-
-
-
{{ message }}