The underlying core library for zkPoD system
☆21Jan 21, 2020Updated 6 years ago
Alternatives and similar repositories for zkPoD-lib
Users that are interested in zkPoD-lib are comparing it to the libraries listed below
Sorting:
- Smart contracts for zkPoD Decentralized Exchange☆14Dec 10, 2022Updated 3 years ago
- zkPoD: A decentralized system for perfect fair data exchange☆213May 21, 2023Updated 2 years ago
- Zero Knowledge Proofs Toolkit for CKB☆69Nov 2, 2022Updated 3 years ago
- Visual Studio Code extension for SECBIT Solidity Static Analyzer☆11Mar 30, 2019Updated 6 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- Minimal examples to use libsnark.☆21Aug 27, 2020Updated 5 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Jan 31, 2019Updated 7 years ago
- Fix for the contracts which are not compatible with ERC20☆25Oct 15, 2019Updated 6 years ago
- ☆17Jul 14, 2018Updated 7 years ago
- [Optimism] Batches go zoom☆17Apr 11, 2021Updated 4 years ago
- PolkaWorld Workshop☆15Aug 30, 2019Updated 6 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 7 years ago
- Correctness proofs of Ethereum token contracts☆97Jun 5, 2019Updated 6 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆14Oct 20, 2019Updated 6 years ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 4 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- Emacs integration between fuz and ivy.☆12Dec 22, 2019Updated 6 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆77Dec 16, 2022Updated 3 years ago
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- 翻譯區塊鏈相關專有名詞☆11Jun 12, 2025Updated 9 months ago
- ☆45Mar 7, 2023Updated 3 years ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆29Dec 19, 2024Updated last year
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 8 months ago
- Profile Solidity gas consumption line-wise.☆23Jun 1, 2021Updated 4 years ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- DEPRECATED☆22Nov 4, 2021Updated 4 years ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- [DEPRECATED] Ethereum Verified Contracts☆12Jun 29, 2018Updated 7 years ago
- Interesting and useful CKB scripts which aren't necessarily in system scripts☆15Dec 17, 2025Updated 3 months ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆14Feb 8, 2015Updated 11 years ago
- A Tendermint PrivValidator implementation using the YubiHSM2☆16Feb 10, 2019Updated 7 years ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 11 months ago
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- ZKP Circuits code for Loopring Protocol 3.0☆52Jul 12, 2020Updated 5 years ago
- ☆10Dec 11, 2020Updated 5 years ago
- zkSNARK Groth16 prover & verifier☆38Apr 8, 2025Updated 11 months ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 6 years ago
- CLI for generating the Polkadot and Kusama chain specification from Ethereum state.☆14Jan 23, 2023Updated 3 years ago