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.
☆12Updated 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
- ☆10Updated last year
- Frenrug on-chain AI agent smart contracts.☆13Updated last year
- ☆10Updated 3 years ago
- Turing machine ZKVM☆10Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Updated 2 years ago
- Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.☆13Updated 2 weeks ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated 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
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Updated last year
- ☆11Updated 3 years ago
- A collection of examples and prototypes around the encumber interface☆12Updated 2 years ago
- ☆11Updated last year
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Updated 10 months ago
- Placeholder proof system verifier for EVM☆10Updated 3 months ago
- This is a Node.js wrapper around ZoKrates.☆10Updated 5 years ago
- ERC4626 Router for Yearn V3 vaults.☆11Updated last year
- ☆10Updated 3 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
- Solidity Merkle Mountain Range library☆12Updated last year
- solidity compression utility☆20Updated 11 months ago
- various contracts to set off or receive cross-chain calls☆10Updated 3 years ago
- A contract that owns a Farcaster fid and delegates casting rights via Hats☆18Updated last year
- Offchain Voting with Onchain Trustless Execution https://github.com/aragonzkresearch/research/blob/main/ovote/ovote.pdf☆11Updated 2 years ago
- SealCred Ledger contract code☆10Updated 2 years ago
- Utils to publish transaction create via Foundry on Gnosis Safe☆14Updated last year
- Core smart contracts of the Conveyor protocol-v0 - DEX aggregator and trustless token swap automation.☆10Updated 2 years ago
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Updated 7 months ago
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Updated 4 years ago
- ☆10Updated 11 months ago