IN CASE YOU MISSED IT!

Smart Contracts News Tuesday, March 6 Formal verification, Smart contract, Smart contract deployment & more…

[vc_row][vc_column][vc_column_text]

Smart Contracts News TLDR / Table of Contents

  • AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem
    • March 5, 2018 (New York) — Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for…
    • formal verification, smart contract, smart contract code, smart contracts,
  • The Correct Path for Smart Contracts Deployment – Shane McQuillan –
    • The growth in the Crypto sector has not just been strong in the past two years, it has been explosive. The vast array of block chain use cases which have come to light is not only astounding, but…
    • smart contract deployment, app store, centralized smart contract, Modex Smart Contract, smart contracts
  • HarbourProject/protocol
    • GitHub is where people build software. More than 28 million people use GitHub to discover, fork, and contribute to over 79 million projects.
    • Harbour Protocol, Harbours on-chain protocol, ethereum development environment, ethereum gas reporter, GNU General Public

[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”AxLang-Formally-Verifiable-Smart-Contracts-for-the-Ethereum-Ecosystem”][vc_column width=”1/2″][vc_separator][vc_column_text]

AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • For example, languages like Haskell or OCaml are known for their powerful functional programming capabilities, but their adoption tends to be limited to relatively small (albeit decidedly passionate) communities.
  • Enter Scala: a statically-typed language that compiles to the Java Virtual Machine (JVM) and is a blend of object-oriented and functional programming paradigms.
  • This means that developers can leverage easier, imperative and object-oriented programming features for everyday tasks, or employ the more disciplined coding practices to enable formal verification, all in the same language.
  • Furthermore, Scala (which stands for Scalable Language) was designed to grow with the demands of its users [Odersky et.al] which is why Scala is often lauded for its enablement of Domain Specific Languages (DSL).
  • In order to leverage the flexibility described above, AxLang is a Core DSL built using Scala, Domain Specific Languages (DSLs), and annotations, which can be compiled down to JVM and now cross-compiled to any Ethereum Virtual Machine (EVM) blockchain network, including Axonis AxCore.

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: formal verification, smart contract, smart contract code, smart contracts, [/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”The-Correct-Path-for-Smart-Contracts-Deployment-Shane-McQuillan-“][vc_column width=”1/2”][vc_separator][vc_column_text]

The Correct Path for Smart Contracts Deployment – Shane McQuillan –

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • The vast array of block chain use cases which have come to light is not only astounding, but affirms that the Blockchain is here to stay and stay it will.Smart contracts are an integral part of the Blockchain ecosystem and as such, in order to facilitate the expected growth, a…
  • A general lack of knowledge into the mechanisms of smart contracts andBlockchain among the broader business community.
  • As each contract is created, developers andtheir clients spread the awareness of the deployment system and as suchenhance growth on a global basis.Google play and the Apple App Store have created self-sustained deploymentmodels for applications which are to launch via their platforms.
  • They providedevelopers, both corporate and private with the tools to reach a broader market and through this concept style, a smart contract deployment vehicle can be created.There will be obvious benefits to developers deploying standardized, one model fits multiple use cases and minimal adaption for use case transgression.So, why has…
  • They bring to light a number of issues, some of which I have already outlined and unlike many ICOs, this ICO has real world implications to industry and benefit to all participants.Please take the time to check out Modex Smart Contract Marketplace at:Website: https://t.me/Modex_techSlack:

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: smart contract deployment, app store, centralized smart contract, Modex Smart Contract, smart contracts[/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]The Correct Path for Smart Contracts Deployment – Shane McQuillan – Medium[/vc_column_text][/vc_column][/vc_row][vc_row el_id=”HarbourProject-protocol”][vc_column width=”1/2″][vc_separator][vc_column_text]

HarbourProject/protocol

[/vc_column_text][vc_column_text el_class=”topfeed-summary-list”]

  • This repository contains the smart contracts for the Harbours on-chain protocol.
  • These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.
  • See deployment for notes on how to deploy the project on a live system.
  • The Harbour Protocol uses npm to manage dependencies, therefore the installation process is kept simple: – – The Harbour Protocol uses truffle for its ethereum development environment.
  • All tests can be run using truffle: – – Using the report argument will enable the ethereum gas reporter, this prints all gas used by functions: – – See also the list of contributors who participated in this project.

[/vc_column_text][vc_column_text el_class=”topfeed-tags”]Tags: Harbour Protocol, Harbours on-chain protocol, ethereum development environment, ethereum gas reporter, GNU General Public[/vc_column_text][/vc_column][vc_column width=”1/2″][vc_separator][vc_column_text el_class=”topfeed-tweet”]

[/vc_column_text][vc_column_text el_class=”topfeed-embedly”]GitHub – HarbourProject/protocol: Harbour Protocol Specification[/vc_column_text][/vc_column][/vc_row]