arithm3tica / arithmeticaLinks
Arithmetica is a reusable platform to democratize the computation and data availability of computational math problems.
☆17Updated 7 years ago
Alternatives and similar repositories for arithmetica
Users that are interested in arithmetica are comparing it to the libraries listed below
Sorting:
- [DEPRECATED] Common tests for all Eth2.0 implementations☆19Updated 6 years ago
- A CryptoKitties powered Brainfuck interpreter on Ethereum☆32Updated 6 years ago
- Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption☆27Updated 6 years ago
- Random research and simulations☆16Updated 6 years ago
- Design, test and validate complex systems through simulation in Python☆68Updated 4 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- A library for interacting with Ethereum: https://medium.com/buyethdomains/introducing-browseth-a-new-library-for-interacting-with-ethereu…☆25Updated 2 months ago
- An independent reimplementation of (vn)TinyRAM☆38Updated 8 years ago
- Simulation of reward tokens in a DAO ⚡️Employs multi-agent simulations and discrete-time Markov random fields.☆97Updated 2 years ago
- auth_os beta platform build☆19Updated 7 years ago
- Elliptic Curve Implementation in Solidity☆81Updated 7 years ago
- Off-chain poker in Ethereum☆22Updated 8 years ago
- 🐹☆18Updated 2 years ago
- An Order Statistic Tree in the Ethereum Solidity Language☆50Updated 7 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- Confidential Transactions with Reusable Commitments on Ethereum☆17Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆39Updated 3 years ago
- Benchmarking data for EVM ops and precompiles☆21Updated 2 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 9 years ago
- A repository for the ETHPrize website.☆35Updated 2 years ago
- Merkle tree optimized for lists of sequentially appended data and its proofs☆40Updated 2 years ago
- Classic source for Truebit documentation☆59Updated 4 years ago
- ☆64Updated 3 years ago
- Smart Contract Security Guidelines☆13Updated 6 years ago
- Execution environment for managing shard ether☆25Updated 5 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- ☆81Updated 5 years ago