dapphub / ds-group

Related projects: ⓘ

• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 5 years ago
• SpankChain / old-sc_auction
  A state channels ICO auction contract.
  ☆23Updated 6 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• solidblu1992 / ethereum
  ☆18Updated 11 months ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated last year
• ensdomains / solsha1
  Pure-solidity implementation of the SHA1 hash function.
  ☆39Updated last year
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• commitground / solidity-partial-tree
  Solidity implementation of partial merkle tree for a light weight side chain execution verification
  ☆13Updated 5 years ago
• ledgerlabs / toy-state-channels
  An educational "toy" implementation of fully abstracted state channels
  ☆49Updated 8 years ago
• zdai-io / zDai-mixer
  zDai.io - confidential Dai transactions on Burner wallet
  ☆28Updated 5 years ago
• barryWhiteHat / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆16Updated 6 years ago
• makerdao / plunger
  Tool for overriding Ethereum transactions stuck in the pool
  ☆16Updated 2 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆24Updated 7 months ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 4 years ago
• LogvinovLeon / ETH-Denver
  0x protocol TypeScript monorepo
  ☆23Updated 2 years ago
• vishakh / blockinstruments
  Financial instruments on the Ethereum blockchain
  ☆19Updated 8 years ago
• melonproject / ipfs-frontend
  ☆19Updated this week
• smartcontracts / contract-drafts
  Misc repo for draft Solidity contracts.
  ☆11Updated 6 years ago
• makerdao / simplecoin1
  Something to play with while we wait
  ☆20Updated 5 years ago
• Consensys / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆25Updated 5 years ago
• plasma-group / plasma-client
  ☆25Updated this week
• makerdao / token-auction
  Continuous Splitting Token Auction
  ☆21Updated 2 years ago
• dapp-studies / game-theory-study-group
  Notes and stuff related to the study group
  ☆15Updated 7 years ago
• gelatodigital / gelato-alpha
  ☆16Updated this week
• lEthDev / Perun
  ☆25Updated 5 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆90Updated 2 years ago
• kyokan / drawbridge
  [Readme and Documentation WIP] - Prototype lightning implementation on Ethereum, with lnd interop. Supports BOLT#1 and BOLT#2.
  ☆12Updated 2 years ago
• XLNT / scry-one
  A really resilient Ethereum log awaiter in typescript
  ☆14Updated 6 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 5 years ago