スマート コントレーックト リブラリエス

Name	Description
Zeppelin	Contains tested reusable smart contracts like SafeMath and OpenZeppelin SDK library for smart contract upgradeability
cryptofin-solidity	A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.
Modular Libraries	A group of packages built for use on blockchains utilising the Ethereum Virtual Machine
DateTime Library	A gas-efficient Solidity date and time library
Aragon	DAO protocol. Contains aragonOS smart contract framework with focus on upgradeability and governance
ARC	an operating system for DAOs and the base layer of the DAO stack.
0x	DEX protocol
Token Libraries with Proofs	Contains correctness proofs of token contracts wrt. given specifications and high-level properties
Provable API	Provides contracts for using the Provable service, allowing for off-chain actions, data-fetching, and computation