• ethr

  • Referenced in 1 article [sw34724]
  • package is an interface for accessing Ethereum blockchain data in R, querying the Ethereum Blockchain...
  • Morpheo

  • Referenced in 1 article [sw19661]
  • Computations in Morpheo are orchestrated by a blockchain infrastructure, thus offering total traceability of operations...
  • BlockchainDB

  • Referenced in 0 articles [sw31590]
  • such as Bitcoin and Ether, the underlying blockchain technology has received more and more attention ... blockchain is known as the characteristics of decentralization and immutability. Ethereum utilizes the blockchain technology ... next generation decentralized application platform. BigchainDB combines blockchain technology with traditional distributed databases, and uses ... scalability and throughput. However, the existing blockchain system mostly stores transaction information with a fixed...
  • Goshawk

  • Referenced in 0 articles [sw34781]
  • Goshawk: a novel efficient, robust and flexible blockchain protocol. Proof of Work (PoW), a fundamental ... blockchain protocol, has been widely applied and thoroughly testified in various decentralized cryptocurrencies ... openness to any participant. Meanwhile, PoW-powered blockchains still suffer from poor efficiency, potential selfish ... great interest to design new PoW-driven blockchain protocol to address or relieve the above...
  • EtherTrust

  • Referenced in 0 articles [sw37689]
  • thousands of contracts stored on the blockchain and covering a variety of application scenarios, such ... which contracts are uploaded on the blockchain, which exposes very little static information ... real-world contracts from the Ethereum blockchain, comparing it with Oyente, the state...
  • Mythril

  • Referenced in 0 articles [sw37686]
  • Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving...
  • SmartAnvil

  • Referenced in 0 articles [sw37687]
  • smart contract binary analysis through inspection, and blockchain navigation and querying. SmartAnvil is open-source...
  • SmartCheck

  • Referenced in 0 articles [sw37692]
  • ethereum smart contracts. Ethereum is a major blockchain-based platform for smart contracts - Turing complete...
  • LKH

  • Referenced in 129 articles [sw04735]
  • LKH is an effective implementation of the Lin...
  • DLMF

  • Referenced in 2352 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • ProVerif

  • Referenced in 41 articles [sw06558]
  • ProVerif is an automatic cryptographic protocol verifier, in...
  • JavaScript

  • Referenced in 161 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Cilk

  • Referenced in 66 articles [sw08400]
  • Intel® Cilk™ Plus is the easiest, quickest way...
  • ScalaSTM

  • Referenced in 2 articles [sw08552]
  • Composable transactional objects: a position paper. Memory transactions...
  • Charm

  • Referenced in 10 articles [sw10192]
  • Charm: a framework for rapidly prototyping cryptosystems. We...
  • Pinocchio

  • Referenced in 34 articles [sw10193]
  • Pinocchio: Nearly practical verifiable computation. To instill greater...
  • TensorFlow

  • Referenced in 363 articles [sw15170]
  • TensorFlow™ is an open source software library for...