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


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] 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:

[/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]


[/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]

Top Smart Contract Courses

Getting Started with Ethereum Solidity Development (6,530 students enrolled)

By Sebastien Arbogast
  • Understand the basic philosophy behind the blockchain and distributed/decentralized applications
  • The basics of how a blockchain generally works, just enough to be able to use it as a development platform
  • Develop a distributed application, from creating a blank project to deploying it in production all the way through writing smart contracts, unit testing them, and creating a user interface for them
  • How to combine the right tools to put together a consistent development environment
  • The fundamentals of the Solidity smart contract language
  • How to use the Truffle build and testing framework
  • How to deploy a decentralized app to various Ethereum instances (testrpc, private chain, test chain, main net)

Learn more.

Ethereum Blockchain Developer: Build Projects Using Solidity (10,937 students enrolled)

By Ravinder Deol
  • Be Proficient In Solidity Programming By Building Projects In This Course.
  • Understand Blockchain Technology At A Theoretical And Practical Level.
  • Be Aware On A Practical Level Of How Smart Contracts Operate.
  • Be Able To Work With The Ethereum’s Major Core Development Tools.
  • Understand The Core Development Functions Of Ethereum.
  • Understand What Decentralisation Is As We’re Working With This Technology.
  • Be Able To Explain The Structure Of A Solidity Clearly Through Practical Examples.
  • Understand How To Use Web3 In Conjunction With The Project We’re Creating.
  • Be Proficient In Advanced Development With Truffle And Ethereum Studio.
  • Complete A Final Assignment Which Consists Of An Ethereum Blockchain Based Curriculum Vitae.

Learn more.

Ethereum : Decentralized Application Design & Development (9,794 students enrolled)

By Rajeev Sakhuja
  • Leverage the Ethereum tools/software such as Wallet, Geth, MetaMask, Remix, TruffleV4, Ganache....
  • Create an ERC20 Compliant token to launch an Initial Coin Offering (ICO)
  • Setup Private Blockchain Network
  • Develop Smart contracts in Solidity using multiple tools such as Web3/Ganache/TruffleV4/Mocha framework
  • Comfortably describe how Ethereum Blockchain works | Ethers, Gas, POW, POS, Nodes ...
  • Describe how the Blockchain technologies work | Distributed Ledgers, Consensus, Mining ....
  • Develop UI/front end for Decentralized Application in HTML/CSS/Javascript using web3 libraries
  • Develop end to end Decentralized Applications (DAPP) on Ethereum platform
  • Setup private Ethereum networks for development & experimentation
  • Identify and use the right design patterns for developing smart contracts
  • Architect, Design & Build real use cases on Ethereum platform

Learn more.

The Complete Ethereum Course: Get .001 Ether In Your Wallet (4,273 students enrolled)

By Ravinder Deol
  • Understand how Ethereum, the emerging cryptocurrency works, and get involved with it practically as well as learning the theoretical side of the cryptocurrency.
  • Realise how becoming an early adopter of Ethereum gives you the best chance to capitalize on its rise, as many would have missed the meteoric rise of Bitcoin.
  • Undertake your first ever Ethereum transaction by receiving .001 Ether from me for completing this course, I will of course walk you through how to setup your wallet.

Learn more.

Compile Your First Ethereum Smart Contract With Solidity (245 students enrolled)

By Will Bunker
  • Compile a basic smart contract
  • Set a private blockchain for testing
  • Deploy smart contract to blockchain
  • Call the functions on smart contract.

Learn more.

Learn Solidity: Programming Language for Smart Contracts (3,153 students enrolled)

By Toshendra Sharma
  • Develop Ethereum Smart Contracts using Solidity
  • Understand the basics & advance features of Solidity & Ethereum Virtual Machine
  • Develop their own decentralized blockchain applications

Learn more.