-
-
halo2-solidity-verifier Public
Forked from alexander-camuto/halo2-solidity-verifierA set of tooling related to halo2 circuits verification inside Solidity contracts
-
report-template Public template
Forked from spearbit-audits/report-templateA markdown based template for writing spearbit reports
TeX MIT License UpdatedFeb 20, 2024 -
-
-
snark-verifier Public
Forked from zkonduit/snark-verifierRust Apache License 2.0 UpdatedSep 30, 2023 -
wasm-tutorial-web Public
Forked from zkonduit/wasm-tutorial-webThis is a tutorial for using ezkl's WASM bindings as a prover and verifier.
JavaScript UpdatedAug 4, 2023 -
ts-proof-parser Public
Helper function for parsing ezkl proof files into pubInputs and proof types for your contracts to easily digest
-
-
melon Public
Forked from retrieval-markets-lab/melonmelon 🍉🍈: A POC for a DAS node using KZG. Complements poptart 🍭.
Rust UpdatedJan 10, 2023 -
zordle Public
Forked from nalinbhardwaj/zordleWordle, but with ZK proofs!
Rust MIT License UpdatedDec 29, 2022 -
-
-
-
dex-aggregator-tutorial Public
A simple full stack application with smart contract that compares exchange rates for the weth/usdc trading pair across Uniswap and Sushiswap and then routes users swap to the dex with the best price.
-
-
A decentralized "all or nothing" crowdfunding application named "Make it Happen". It is powered by IPFS and Ethereum smart contracts. It interacts with the DAI stable coin to accept payments and Un…
-
-
Bubble-Plugin-Tagger Public
Forked from airdev-co/Bubble-Plugin-TaggerThis is a repository based on the Bubble plugin 'Tagger' (https://bubble.io).
JavaScript MIT License UpdatedFeb 11, 2021