☆54Apr 19, 2019Updated 6 years ago
Alternatives and similar repositories for Uniswap-audit-report-2018-12
Users that are interested in Uniswap-audit-report-2018-12 are comparing it to the libraries listed below
Sorting:
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Feb 3, 2021Updated 5 years ago
- MixEth: efficient, trustless coin mixing service for Ethereum☆53Dec 9, 2022Updated 3 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- A toolbox for zkSNARKS on Ethereum☆12Dec 17, 2018Updated 7 years ago
- A standard point from which crypto projects may derive their responsible disclosure policy.☆18Apr 27, 2022Updated 3 years ago
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆19Oct 24, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Understandable notes on blockchain papers.☆21Feb 19, 2019Updated 7 years ago
- Simple gas tray app for macOS☆20Apr 13, 2021Updated 4 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Matter Labs' ZK Rollup☆107Jan 5, 2021Updated 5 years ago
- ☆42Apr 28, 2020Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 6 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- The Curve Stableswap smart contract implementation in Zinc v0.2.2.☆40Apr 12, 2021Updated 4 years ago
- altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments☆69Sep 23, 2019Updated 6 years ago
- Website!☆22Sep 20, 2022Updated 3 years ago
- [Optimism] Layer 2 Verifier☆28Jan 21, 2021Updated 5 years ago
- TLA+ specification for Succinct Atomic Swap smart contract☆23Jul 3, 2020Updated 5 years ago
- ☆13Jan 21, 2019Updated 7 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- Lightweight python module for getting ethereum and erc20 token balances☆11Feb 18, 2019Updated 7 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Tool to fetch and analyze blockchain transactions☆10Mar 9, 2021Updated 5 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Nov 1, 2019Updated 6 years ago
- ☆11Nov 19, 2019Updated 6 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- ☆13Feb 23, 2026Updated 2 weeks ago
- A proof-of-concept for the Eth1-Eth2 quick merge proposal☆12Apr 22, 2021Updated 4 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago