metagov / SAFEforDAOsLinks
This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an economic sense. We use compositional game theory to model the contract, then build out the smart contracts from the model.
☆11Updated 2 years ago
Alternatives and similar repositories for SAFEforDAOs
Users that are interested in SAFEforDAOs are comparing it to the libraries listed below
Sorting:
- ☆10Updated last year
- Placeholder proof system verifier for EVM☆10Updated 2 months ago
- Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.☆12Updated 2 weeks ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated last year
- ☆10Updated 3 years ago
- Turing machine ZKVM☆10Updated last year
- A collection of examples and prototypes around the encumber interface☆12Updated 2 years ago
- A contract that owns a Farcaster fid and delegates casting rights via Hats☆18Updated last year
- ☆11Updated last year
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- ☆10Updated last year
- bonfire monorepo☆11Updated 2 years ago
- Frenrug on-chain AI agent smart contracts.☆14Updated last year
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Updated 2 years ago
- Simple Lens Protocol module to create polls. At the moment the module is completely experimental in order to test the feasibility.☆10Updated 2 years ago
- Boostrap energy on the Internet☆15Updated 3 months ago
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- ERC1155 extension for approvals and ERC20 conversions☆12Updated last year
- Solidity Merkle Mountain Range library☆12Updated last year
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Updated 8 months ago
- ☆11Updated 3 years ago
- Solidity library for implementing Rain compatible interpreters.☆13Updated 2 weeks ago
- A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0☆10Updated 3 years ago
- ERC4626 Router for Yearn V3 vaults.☆10Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated 2 years ago
- ☆10Updated 3 years ago
- ☆12Updated last year
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated last year
- CLAMM V1 & V2☆11Updated 5 months ago
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Updated 6 months ago