Alternatives and similar repositories for soltix:

Users that are interested in soltix are comparing it to the libraries listed below

• federicobond / eth-mutants
  👾 A mutation testing tool for Solidity contracts
  ☆48Updated 6 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• ledgerwatch / eth_state
  data and charts for Ethereum state analysis
  ☆46Updated 5 years ago
• gcolvin / evm-drag-race
  EVM performance tests for a range of clients
  ☆24Updated 5 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆102Updated 2 years ago
• dapphub / k-dss
  formal verification of multicollateral dai in the K framework
  ☆45Updated 3 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆40Updated 4 years ago
• Crypto-Punkers / resolver-engine
  Single API for resolving Solidity artefacts and imports
  ☆32Updated 2 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• ChainSecurity / audits
  Subset of public audit reports issued by ChainSecurity. For more, please visit:
  ☆30Updated last year
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆107Updated 2 years ago
• liquidity-network / nocust-contracts-solidity
  NOCUST single commit chain verifier implemented in solidity
  ☆16Updated 4 years ago
• mattdf / RingCrypto
  Ring signature related implementations for ethereum
  ☆28Updated 3 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• sec-bit / adelaide
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆19Updated 6 years ago
• dapphub / klab
  K framework proof explorer & smart contract specification format
  ☆124Updated 3 years ago
• AztecProtocol / aztec-v1-specification
  AZTEC protocol specification
  ☆31Updated 5 years ago
• maurelian / evm-polyglot
  Translations of standard contracts from Solidity to Vyper.
  ☆12Updated 6 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• gnosis / dex-zksnarks
  Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
  ☆46Updated 6 years ago
• barryWhiteHat / baby_jubjub_ecc
  altbn128 twisted ewards curve point addion, point multiplicaion, eddsa signature verificaion and pedersen commiments
  ☆65Updated 5 years ago
• gnosis / dx-contracts
  🇳🇱✖️DutchX core smart contracts
  ☆45Updated 5 years ago
• jbaylina / ecsol
  Elliptic Curve Implementation in Solidity
  ☆80Updated 7 years ago
• anydotcrypto / docs.any.sender
  Documentation for the any.sender transaction relaying service
  ☆57Updated 4 years ago
• mattgstevens / awesome-zero-knowledge-proofs
  A collection of videos, reading materials and tools for learning all about the ZK side of crypto.
  ☆20Updated 6 years ago
• bakaoh / solidity-rlp-encode
  RLP encoding in Solidity
  ☆27Updated last year
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆95Updated 6 years ago
• anydotcrypto / metatransactions
  A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.
  ☆45Updated last year
• matter-labs-archive / RSAAccumulator
  Initial implementation of RSA accumulator for history compaction in Plasma constructions
  ☆22Updated 6 years ago