Sydney Uni blockchain project aims to deliver new programming language

By

Automated smart contract checker.

A dedicated blockchain research group at the University of Sydney has been established to create automatic bug-checking software for smart contracts by developing a new programming toolchain.

Sydney Uni blockchain project aims to deliver new programming language

The university has partnered with South Korean cryptocurrency payments and smart contracts platform Fantom to deliver “safe, secure and low-energy” toolchains based on open source research and software artefacts to help build the new language group.

Both Australia’s financial intelligence agency AUSTRAC and the CSIRO’s Data61 have announced blockchain-based smart contract projects this year to provide scalable and secure contracts featuring clauses that can be automatically executed.

By sponsoring scholarships and post-doctoral degrees, the university and Fantom hope to consolidate programming methodology for smart contracts, including through education of blockchain’s programming environment.

Other key focus areas include:

  • Programming language for smart contracts which aims to extend current programming language solidity so it becomes safer to use.
  • Producing a verifying compiler that translates solidity (or an extension of it) to a virtual machine.
  • A new, energy efficient, virtual machine with a compact bytecode format.

The research group will be led by associate professor of computer science Bernhard Scholz, who said it will be an opportunity to equip students with tools and skills increasingly being adopted by industry.

“Blockchain has played a dominant role in the evolution of programming, and we look forward to contributing its advancement through our work with Fantom,” Scholz added.

The exact nature and amount of the funding provided by both parties during the three-year partnership depend on the volume of research applications and the type of research that academics and students are interested in pursuing, a university spokesperson told iTnews.

Got a news tip for our journalists? Share it with us anonymously here.
Copyright © iTnews.com.au . All rights reserved.
Tags:

Most Read Articles

ADHA readies market test of Accenture's $788m My Health Record deal

ADHA readies market test of Accenture's $788m My Health Record deal

SA Water plans 'once-in-a-generation' core technology uplift

SA Water plans 'once-in-a-generation' core technology uplift

TAFE NSW, NESA land tech funding in state budget

TAFE NSW, NESA land tech funding in state budget

Anthropic wins key US ruling on AI training in authors' copyright lawsuit

Anthropic wins key US ruling on AI training in authors' copyright lawsuit

Log In

  |  Forgot your password?