Friday March 05, 2021
Bitcoin (BTC) $47,293.00   Ether (ETH) $1,470.33
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
No Result
View All Result
Home Blockchain Technology

University of Sydney and Fantom to build programming toolchain for smart contracts

Published by CryptoNinjas.net
11/28/2018
University of Sydney and Fantom to build programming toolchain for smart contracts

Fantom (fantom.foundation), a secure DAG-based smart contract platform for real-time cryptocurrency payments, has announced a research partnership with The University of Sydney (USYD), including a donation to the University’s Faculty of Engineering and Information Technologies.

Led by University of Sydney Associate Professor of Computer Science, Bernhard Scholz, the initial funding will support a dedicated research group in building a new programming toolchain for the community and Fantom through open source research and software artifacts. The aim is to create automatic bug-checking software for safer smart contract development.

Commenting on the partnership, Prof. Scholz said: “With the incredible research grant and support that we’ve received from Fantom, this project will help the University of Sydney deliver research papers and software artifacts, and provide unique blockchain-related research opportunities in higher education

“As educators, it’s our job to provide students with as much experience and as many tools as possible to succeed in the industries of today. Blockchain has played a dominant role in the evolution of programming, and we look forward to contributing its advancement through our work with Fantom,” he concluded.

“With a market capitalization of over $200 billion, the need for increased security in cryptocurrencies and distributed ledgers is paramount. From multi-million dollar hacks to wallet freezes, we have seen that poorly-written smart contracts have disastrous consequences for the entire industry. This partnership will enable safer smart contract programming while also providing the hands-on experience necessary to drive blockchain innovation and development.”

Michael Kong, Chief Innovation Officer at Fantom

Fantom’s research partnership will focus on four areas:

  • Programming methodology for smart contracts: This requires education for programmers, including tutorials, and is an area that will grow in importance as the programming environment for blockchains is developed.
  • Programming language for smart contracts: The current smart contract programming language, Solidity, is unsuitable as it has no strong type system. The research question, therefore, is how to extend Solidity so that it becomes safer to use.
  • Verifying compiler: A verifying compiler is needed that translates Solidity (or an extension of it) to a virtual machine.
  • Virtual machine: A new virtual machine is required that is energy efficient and has a compact bytecode format. Ultimately, the virtual machine should be verifiable.

To achieve these aims, the funds will sponsor PhDs, postdocs, and professors, and will address the current lack of blockchain-focused research and initiatives in higher education, providing developers with the hands-on research experience necessary to develop programming language techniques and formal methods.

“As we look to accelerate the mainstream adoption of blockchain technology, several key technical challenges need to be addressed, including issues with security, scalability, and high-energy consumption. To kickstart this process, the industry needs to start placing a heavier emphasis on blockchain-focused research and academia, which it desperately lacks. Fantom is very excited to partner with the University of Sydney, as we believe the experienced faculty and talented students are uniquely qualified to improve smart contract functionality and create a new programming language that can help advance the entire ecosystem.”

Dr. Byung Ik Ahn, CEO of Fantom

The partnership follows Fantom’s recent expansion into Australia — the first destination in its global expansion outside of South Korea in the Asia-Pacific region. With a strong developer community, innovative culture, and supportive government, Fantom has committed to building and deploying its technology in Australia working alongside local communities, enterprises, and regulatory bodies.

The collaboration also follows the recent publication of a co-authored research paper in OOPSLA Core A* by Assoc. Professor Scholz and former student, Michael Kong, who is the Chief Information Officer (CIO) of Fantom. The publication was titled “MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts” and was given a distinguished paper award, a rare honor that few papers receive.

FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Fantom launches new staking protocol with Band Protocol oracles
Networks & Protocols

Fantom launches new staking protocol with Band Protocol oracles

12/10/2020
DCRM Alliance organizes to advance decentralized crypto custody and interoperability
Featured

DCRM Alliance organizes to advance decentralized crypto custody and interoperability

03/10/2020
Fantom introduces features of new DeFi platform set for launch in Q2 2020
Networks & Protocols

Fantom introduces features of new DeFi platform set for launch in Q2 2020

03/09/2020
Ethereum Classic Labs teams with Fantom and Xar Network to bring DeFi to ETC
Networks & Protocols

Ethereum Classic Labs teams with Fantom and Xar Network to bring DeFi to ETC

02/10/2020
Open Market makes non-fungible-tokens on XAR and Fantom tradeable over IBC
Networks & Protocols

OpenMarket makes non-fungible-tokens on XAR and Fantom tradeable over IBC

12/02/2019
Load More
Leave Comment

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit
  • Trending
  • Latest
Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

03/04/2021
DEX aggregator 1inch integrates Bitquery's API-powered crypto trading data

DEX aggregator 1inch integrates Bitquery’s API-powered crypto trading data

03/02/2021
Creators of crypto wallet Exodus files with SEC to allow purchase of its stock with bitcoin

Creators of crypto wallet Exodus file with SEC for $75M public offering

03/03/2021
CasinoCoin to migrate to XRP Ledger amidst rebranding

CasinoCoin to migrate to XRP Ledger amidst rebranding

03/01/2021
SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

03/02/2021
iGaming platform Royale to integrate API3 to verify on-chain crypto-to-fiat price exchange

iGaming platform Royale to integrate API3 to verify on-chain crypto-to-fiat price exchange

03/04/2021
Crypto exchange KuCoin opens beta test on new 3x leveraged BTC and ETH tokens

Crypto exchange KuCoin opens beta test on new 3x leveraged BTC and ETH tokens

03/04/2021
Decentralized cloud Akash Network integrates with Equinix Metal

Decentralized cloud Akash Network integrates with Equinix Metal

03/04/2021
Crypto fund KR1 makes investment in blockchain data protocol LazyLedger

Crypto fund KR1 makes investment in blockchain data protocol LazyLedger

03/04/2021
DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

03/04/2021
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version