Trace runtime failures for solidity
☆30May 8, 2019Updated 6 years ago
Alternatives and similar repositories for sol-trace
Users that are interested in sol-trace are comparing it to the libraries listed below
Sorting:
- ☆15Apr 9, 2019Updated 6 years ago
- Implementation of KYC smart contract☆10Sep 5, 2018Updated 7 years ago
- Tokenized proof-of-stake☆11Jan 30, 2019Updated 7 years ago
- run truffle tests with jest☆10Sep 1, 2018Updated 7 years ago
- Popularizer of Blockchain Technology☆17Nov 5, 2018Updated 7 years ago
- ☆12Jan 7, 2023Updated 3 years ago
- プラズマ日本語訳+継続的改善インフラ / Ethereum Plasma whitepaper Japanese Edition + CI infra☆65Aug 3, 2018Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- Ethereum plasma implementation☆49Mar 21, 2018Updated 8 years ago
- Solidity implementation of a delegate proxy☆90Mar 12, 2022Updated 4 years ago
- ☆18Sep 8, 2023Updated 2 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Elastify the Ethereum blockchain☆25Aug 29, 2018Updated 7 years ago
- Implementation of Minimal Viable Plasma in Vyper☆52Aug 12, 2020Updated 5 years ago
- Simple library to connect with dagger server and manage subscriptions for Ethereum Blockchain.☆222May 13, 2023Updated 2 years ago
- OrientDB Database Interface for Erlang☆11Mar 7, 2014Updated 12 years ago
- A template Ethereum Dapp project based on ReactJS and Redux☆68Apr 14, 2017Updated 8 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆30Dec 21, 2018Updated 7 years ago
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Mar 14, 2026Updated last week
- ☆10Apr 15, 2024Updated last year
- ☆14Jul 30, 2025Updated 7 months ago
- ☆20Jan 9, 2019Updated 7 years ago
- Fast and lightweight build tool for Solidity.☆22Jan 3, 2023Updated 3 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆22Mar 25, 2024Updated last year
- Decentralized exchange implementation for the 0xcert protocol on the Ethereum blockchain.☆17Aug 23, 2018Updated 7 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- Learn all about Plasma with LearnPlasma!☆180Mar 3, 2023Updated 3 years ago
- All token icons on Polygon☆18Updated this week
- Ethereum smart contracts to support the on-chain activity of the Jibrel☆13Jul 11, 2023Updated 2 years ago
- Remix Vyper Plugin☆19Sep 4, 2020Updated 5 years ago
- FVyper: A collection of useful Vyper contracts developed with formal methods☆57Apr 19, 2021Updated 4 years ago
- Solidity implementation of ACTUS Contract Types [MOVED]☆12Mar 9, 2020Updated 6 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Jul 8, 2018Updated 7 years ago
- An on-chain, permission-based state machine builder.☆24Feb 12, 2025Updated last year
- Plasma bridge plugin for maticjs. It provides PlasmaClient to interact with plasma bridge.☆14Aug 6, 2024Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Dec 8, 2018Updated 7 years ago
- zk-STARK for fibonacci sequence in Rust☆36Sep 17, 2019Updated 6 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Mock STDIN file descriptor in Node.js☆68Jun 14, 2020Updated 5 years ago