Rampboss / DoomLedgerLinks
Port of DOOM-nano on a Ledger Nanos+
☆10Updated 4 months ago
Alternatives and similar repositories for DoomLedger
Users that are interested in DoomLedger are comparing it to the libraries listed below
Sorting:
- A document describing purity detection in EVM opcode☆16Updated 3 years ago
- Solidity verifier for Recursive Proof Composition using Plonk☆12Updated 3 years ago
- Plasma Cash, written in Vyper☆11Updated 5 years ago
- Interface files for the vault contracts☆11Updated 2 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- zkSNARK implementation in JavaScript & WASM☆15Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago
- Capture the Ether Solutions with Foundry Script☆13Updated last year
- Modifiers allowing you to have transactions occur on only one ETH fork (PoW or PoS). This is not provided with any guarantees or warranti…☆13Updated 2 years ago
- Zero Knowledge Proofs with Fiat-Shamir Heuristic in Solidity☆14Updated 6 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- Stablecoin AMM for Starknet☆14Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- ☆13Updated 4 years ago
- ☆10Updated 2 years ago
- ☆12Updated 2 years ago
- shipit☆13Updated 2 years ago
- ☆13Updated 2 years ago
- ☆12Updated 2 years ago
- ☆10Updated last month
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- ☆11Updated 3 years ago
- ☆17Updated 2 years ago
- An Ethereum transaction-parser☆15Updated last week
- Astria gRPC types, clients, and servers.☆12Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- My version of a clone factory with immutable args WIP!☆18Updated 3 years ago
- ☆13Updated last year
- GitHub action that installs huffc☆17Updated 2 years ago
- Protocol☆18Updated 2 years ago