hevm

hevm

DappHub
+
+

Related Products

  • Descartes Fleet Performance Management
    28 Ratings
    Visit Website
  • Wash-Dry-Fold POS
    125 Ratings
    Visit Website
  • Curbside Laundries
    63 Ratings
    Visit Website
  • ND Wallet
    14 Ratings
    Visit Website
  • Descartes Sellercloud
    98 Ratings
    Visit Website
  • FastBound
    24 Ratings
    Visit Website
  • Nexo
    18,395 Ratings
    Visit Website
  • QA Wolf
    269 Ratings
    Visit Website
  • Google Cloud Run
    347 Ratings
    Visit Website
  • Nexcess Managed Cloud
    210 Ratings
    Visit Website

About

Build smart contracts with mainstream software stacks. Take a productive leap from Solidity to the vast universe of software components supported by Linux. Enable million-fold computational scalability, data availability of large files and low transaction costs. All while preserving the strong security guarantees of Ethereum. From games where players conceal their data to Enterprise applications that run on sensitive data, preserve privacy on your DApps. Descartes executes massive computational tasks off-chain, on a Linux virtual machine fully specified by a smart contract. The results of the computations are fully verifiable and enforceable on-chain by honest Descartes node runners, preserving the strong security guarantees of the underlying blockchain. Defeat the scalability limits of Ethereum, with million-fold computational gains, while preserving the strong security guarantees of the blockchain.

About

The hevm project is an implementation of the Ethereum Virtual Machine (EVM) made specifically for symbolic execution, unit testing, and debugging of smart contracts. It is developed by DappHub and integrates especially well with the DappHub tool suite. The hevm command line program can symbolically execute smart contracts, run unit tests, interactively debug contracts while showing the Solidity source, or run arbitrary EVM code. Computations can be performed using a local state set up in a testing harness or fetched on demand from live networks using RPC calls. Run a symbolic execution against the given parameters, searching for assertion violations. One can also specialize specific arguments to a function signature while leaving others abstract. hevm uses an eager approach for symbolic execution, meaning that it will first attempt to explore all branches of the program.

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Platforms Supported

Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook

Audience

Organizations and individuals in need of a solution to build smart contracts with mainstream software stacks

Audience

Anyone interested in a solution to test and debug their smart contracts

Support

Phone Support
24/7 Live Support
Online

Support

Phone Support
24/7 Live Support
Online

API

Offers API

API

Offers API

Screenshots and Videos

Screenshots and Videos

Pricing

No information available.
Free Version
Free Trial

Pricing

Free
Free Version
Free Trial

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Reviews/Ratings

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Training

Documentation
Webinars
Live Online
In Person

Training

Documentation
Webinars
Live Online
In Person

Company Information

Cartesi
Founded: 2018
cartesi.io

Company Information

DappHub
github.com/dapphub/dapptools/blob/master/src/hevm/README.md

Alternatives

Starknet

Starknet

StarkWare

Alternatives

Echidna

Echidna

Crytic
Mayhem

Mayhem

ForAllSecure
Tayt

Tayt

Crytic
Etheno

Etheno

Crytic

Categories

Categories

Integrations

Ethereum
1inch Wallet
Base App
Binance Card
Bithumb
Changelly
Delta
Guarda Wallet
Kraken
Ledger
Messari
MyCrypto
NGINX
Poloniex
QuickSwap
Solidity
Syscoin
Tokocrypto
Upbit
WazirX

Integrations

Ethereum
1inch Wallet
Base App
Binance Card
Bithumb
Changelly
Delta
Guarda Wallet
Kraken
Ledger
Messari
MyCrypto
NGINX
Poloniex
QuickSwap
Solidity
Syscoin
Tokocrypto
Upbit
WazirX
Claim Cartesi and update features and information
Claim Cartesi and update features and information
Claim hevm and update features and information
Claim hevm and update features and information