Ethereum smart contracts for Codex
0
0
Other
This repository contains experimental Ethereum smart contracts for the Codex storage network, focusing on the bidding process, storage contracts, storage proofs, and host collateral mechanisms. It's designed for developers and researchers interested in decentralized storage systems, allowing them to test, fuzz, and formally verify the contract logic through tools like Echidna and Certora.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of wshino/codex-contracts-eth
Hardhat plugin for ethers
Hardhat plugin to test smart contracts with Waffle
Secure Smart Contract library for Solidity
Exact test for the success probability in a Bernoulli experiment.
BDD/TDD assertion library for node.js and the browser. Test framework agnostic.
Sweeter, faster and simpler than truffle.
A complete and compact Ethereum library, for dapps, wallets and any other tools.
Hardhat is an extensible developer tool that helps smart contract developers increase productivity by reliably bringing together the tools they want.
Hardhat plugin for replicable smart contract deployments and easy testing across multiple EVM chains, with support for proxies, diamonds, named accounts, and deployment fixtures
Hardhat TypeScript plugin boilerplate
A Prettier Plugin for automatically formatting your Solidity code.
Solidity Code Linter
Top contributors
markspanbroek
309 contributions
0x-r4bbit
24 contributions
AuHau
16 contributions
veaceslavdoina
16 contributions
emizzle
11 contributions
benbierens
10 contributions
gravityblast
4 contributions
gmega
1 contributions
elcritch
1 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet