Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
☆26Oct 31, 2020Updated 5 years ago
Alternatives and similar repositories for evm-analyzer
Users that are interested in evm-analyzer are comparing it to the libraries listed below
Sorting:
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 8 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- A toolbox for zkSNARKS on Ethereum☆12Dec 17, 2018Updated 7 years ago
- Decentralized Domain Name System (DDNS) on the Ethereum blockchain. The project utilizes a set of Solidity smart contracts in order to pr…☆20Dec 9, 2022Updated 3 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- ☆17Mar 17, 2023Updated 2 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆33Sep 12, 2023Updated 2 years ago
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- Formal verification of the zkWasm project☆17Aug 13, 2024Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 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
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 2 months ago
- Bitcoin implementation in OCaml☆20Dec 8, 2024Updated last year
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated last year
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- The monorepo for Meson project☆11May 30, 2024Updated last year
- Internationalisation library for Web applications (server and/or client)☆13Dec 9, 2025Updated 2 months 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
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- ☆12Nov 19, 2024Updated last year
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- ☆10Oct 22, 2019Updated 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
- ☆13Feb 23, 2026Updated last week
- ☆12Jun 25, 2021Updated 4 years ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- The XCP networking daemon☆14May 18, 2022Updated 3 years ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago