#TECHHUBTUESDAY DEMO NIGHT ISN'T ABOUT PITCHING FOR FUNDS, IT'S AN OPPORTUNITY TO SHOW THE COMMUNITY WHAT YOU'RE WORKING ON, GET SOME FEEDBACK, AND SEE WHAT OTHERS ARE TOILING AWAY ON. COME ALONG AND CHECK OUT SOME OF THE BEST TECH STARTUPS AROUND AT OUR JUNE DEMO NIGHT. YOU'LL NOT WANT TO MISS THE NEXT BIG THING!
This time around, we have are focusing soley on products using blockchain technology.
Making Smart Contracts Smarter with Formal Verification & AxLang
Over the past two years, more than $500m has been stolen or lost due to faulty smart contracts on the public Ethereum network, and recent research has found 34,200 smart contracts with similar existing vulnerabilities. What are the difficulties in building enterprise-grade applications with existing smart contract programming languages like Solidity, and how can we overcome these limitations?
Come learn about these issues from the Axoni team and hear about how they are using the technique of formal verification to prove the correctness of smart contract code. Axoni will give an overview of AxLang, a new Scala-based programming language they are developing which supports functional programming and enables formal verification of smart contracts for Ethereum-compatible networks.
THE CLEVOLUTION is leveraging the ethereum blockchain to curate a user experience and interface for disruptive creatives. The focus is on the evolution of our shared humanity and revolution of our quest for equity and justice.
Today, when publishing on multimedia platforms, disruptive creatives worry about intellectual property, licensing, and how to make money. THE CLEVOLUTION’s LOGOS, a decentralized, tokenized platform for disruptive creatives, functions as a ‘Facebook-like’ blockchain ecosystem with IP protections where disrupters earn crypto tokens for interactions and engagements (likes, comments, creative works). THE CLEVOLUTION’s LOGOS is the first decentralized, tokenized platform exclusively for agitators who use their mic, canvas, beats, words, code to spark mainstream movements.