State-of-the-art about program verification on Ethereum DApps
☆22Dec 6, 2023Updated 2 years ago
Alternatives and similar repositories for ethereum-dapps-verification
Users that are interested in ethereum-dapps-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Jan 31, 2019Updated 7 years ago
- ☆17Jul 14, 2018Updated 8 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Jan 24, 2023Updated 3 years ago
- Website and teaching materials for the book "Architecture for Blockchain Applications", Springer 2019☆17Jan 7, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- PeaceRelay: Connecting the Ethereum blockchains☆38Oct 23, 2018Updated 8 years ago
- geth metrics exporter for Prometheus☆13Jan 21, 2026Updated 9 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- Profile Solidity gas consumption line-wise.☆24Jun 1, 2021Updated 5 years ago
- DCTRL meat-space issues and wiki☆13Jun 14, 2019Updated 7 years ago
- Atlantis is an un-opinionated modular DAO framework geared towards cascading sub-DAOs and cross-DAO composability.☆18Dec 23, 2021Updated 4 years ago
- Ethereum TxPool Statistics☆25Jun 24, 2020Updated 6 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆16Apr 28, 2022Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- ☆28Jan 12, 2026Updated 9 months ago
- ☆11Feb 6, 2023Updated 3 years ago
- Simple RSA VDF in Rust☆21Apr 13, 2021Updated 5 years ago
- ☆17Aug 15, 2023Updated 3 years ago
- BTCRelay re-implementation in Solidity☆27Apr 13, 2026Updated 6 months ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 7 years ago
- 🤫 🔑 Harpocrates, the god of silence and secrets. 🔐🗝️☆17Oct 9, 2022Updated 4 years ago
- dalek-compatible implementation of the merlin transcript protocol☆28Feb 11, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The "DIstributed Analytical BLOckchain" Benchmark Framework. (Diablo). Measures blockchains with a focus on real-world applications and w…☆13Jan 12, 2024Updated 2 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 8 years ago
- ☆26Dec 10, 2017Updated 8 years ago
- An elliptic curve verifiable random function☆20May 8, 2023Updated 3 years ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- ERC-721 token that wraps a portion of ERC-20☆11Feb 21, 2019Updated 7 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Apr 13, 2026Updated 6 months ago
- Frontend interface for the across bridge protocol.☆10Dec 26, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Deploy your own rollup on Ethereum with op-stack-deployer.☆19Feb 10, 2025Updated last year
- Example code for the `Rust for Node.js developers` series☆19Jul 24, 2016Updated 10 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- Ethereum Token Implementing RingCT☆24Jul 18, 2018Updated 8 years ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆103Mar 7, 2023Updated 3 years ago
- ☆29Apr 7, 2021Updated 5 years ago
- Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom☆43Apr 19, 2024Updated 2 years ago