blockstack
  • About Stacks
  • Developers
  • Apps
  • Community
No Result
View All Result
stacks
No Result
View All Result
Home Smart Contracts

Teaming With Algorand to Build A Safer, More Secure Smart Contract Language

Muneeb Ali by Muneeb Ali
June 10, 2020
in Partners, Smart Contracts

To get started with Clarity or collaborate on this open-source initiative, visit the Clarity website or Github.

We’re excited to announce that together with Algorand, we’ve formed an independent, open-source project to support future design and development of the Clarity Smart Contract Language. Algorand is an industry leader with deep scientific roots similar to our own.

Scientists at both Algorand and Blockstack PBC recognize the need for smart contract languages that are more safe, secure, and predictable if the industry is to mature beyond its current state. In collaborating, we hope to bring new rigor to smart contracts and welcome other individuals or entities that would like to join together to serve the needs of developers working on high-stakes transactions. Contributions from Blockstack PBC and Algorand will be lead by PhDs from MIT and Princeton, including current core developers of Clarity.

Unlike common “undecidable” languages, that by their nature make it impossible to know precisely how a contract will behave in certain situations without prior execution, Clarity is a “decidable” language, meaning developers can know, with mathematical certainty, what a program will and will not do ahead of time. This shift addresses a key obstacle currently preventing large-scale, serious use.

Algorand Founder Dr. Silvio Micali said, “Smart contracts are an integral driver of blockchain adoption, as they eliminate the need for a third-party intermediary and facilitate frictionless economic exchange. With high volumes — and values — of assets stored in smart contracts, the emergence of a next generation programming language such as Clarity has the potential to unlock blockchain-based solutions for large-scale enterprises and governments, which demand a higher level of trust and security.”

Additionally, we see this work on Clarity as a way to work toward interchain communication and invite others to join in that endeavor. Ultimately, we want to do away with walled gardens, reliance on 3rd party intermediaries, and to empower developers to initiate and execute contracts between each other seamlessly through the use of a widely adopted, decidable, open-source language.

To date, this is the first time two leading cryptocurrency projects have come together to support an alternative smart contract language and we’re excited about the possibilities that lie ahead for Clarity.

For more information or to collaborate on this open-source initiative, visit the Clarity website or Github.

 

[optin-monster-shortcode id=”uiriuvyptgnv3ptp8ekp”]

Previous Post

Evangelist Spotlight: Jason Schrader

Next Post

#FutureProof: Resilient Networks and Resilient People

Muneeb Ali

Muneeb Ali

Dr. Muneeb Ali is the founder of Stacks, a decentralized network that brings apps and smart contracts to Bitcoin. He serves as the CEO of Hiro PBC, a Public Benefit Corp that builds developer tools for the Stacks blockchain. He has raised $75 million USD in funding from investors like Union Square Ventures, Y Combinator, Lux Capital, Winklevoss Capital, and others. Hiro (formerly Blockstack PBC) was featured in the CNBC's list of 100 promising startups to watch. Muneeb received his Ph.D. and Masters in Computer Science from Princeton University. His Ph.D. thesis was nominated for the ACM SIGCOMM dissertation award by Princeton University. Muneeb gives guest lectures on cloud computing at Princeton and his research publications have over 1,300 citations. He is one of the main characters in George Gilder's book Life After Google and was a technical advisor to the HBO show Silicon Valley.

Related Posts

News

Ankr To Support Seamless Stacking on Stacks 2.0

by Mitchell Cuevas
November 24, 2020
0

Connecting consumers, developers and enterprises to the new internet, in a few easy clicks. That’s the promise you can find on the home page of Ankr.com. Today, we’re excited to call them...

Read more
Blockchain

Staked Will Support BTC Earnings via Stacking Upon Stacks 2.0 Launch

by Mitchell Cuevas
November 17, 2020
0

  The Stacks ecosystem continues to grow ahead of the Stacks 2.0 launch; today we’re happy to share that Staked will be a Stacks 2.0 launch partner as the chain...

Read more
News

Stacks is now on Blockfolio Signal

by Mitchell Cuevas
November 16, 2020
0

You can now follow Stacks on Blockfolio and receive important updates! If you're already a Blockfolio user, it's as easy as making sure you've added your STX holdings to a portfolio or...

Read more
Blockchain

The Stacks Blockchain API Now Supports Coinbase’s Rosetta Standard

by Alex Graebe
November 10, 2020
0

A few months ago, Coinbase and other industry players came together to release Rosetta - an open industry standard to make blockchain integrations more streamlined and faster. The Stacks ecosystem was one...

Read more

A better internet, built on Bitcoin

Learn About Stacks

Developers

Documentation

Github

Testnet

Papers

Community

Events

Discord

Blog

Forum

Shop

Kakao Talk (한국)

Ecosystem

Discover apps

Stacks Token

Stacks Wallet

Stacks Explorer

Chrome extension

Firefox extension

About

Blockstack PBC

Careers

Roadmap

Patent pledge

Terms & Privacy

Stay up to date

GitHub

Twitter

Discord

Newsletter

This blog will no longer receive new posts and will be available only as an archive. Hiro PBC plans to have a developer-focused blog at hiro.so. Readers looking for Stacks related news and announcements can go to the Stacks ecosystem blog at blog.stacks.co to find updates about the project from various entities and individuals across the decentralized ecosystem.

Hiro PBC (formerly Blockstack PBC) is not registered, licensed, or supervised as a broker-dealer or investment adviser by the Securities and Exchange Commission (SEC), the Financial Industry Regulatory Authority (FINRA), or any other financial regulatory authority or licensed to provide any financial advice or services.

Close
No Result
View All Result
  • Home
  • Home 2
  • Home 3
  • Home 4
  • Home 5
  • Sample Page

Get Started

---
  • Tutorials
  • Install browser
  • Live apps

Technology

---
  • Tutorials
  • Documentation
  • Github
  • White Papers

Community

---
  • Forum
  • Slack
  • Meetup
  • Blog
  • YouTube
  • Videos
  • Signature Fund
  • Telegram (English)
  • Telegram (中文群)

Blockstack

---
  • About
  • What is Blockstack
  • FAQ
  • Roadmap
  • Careers
  • Press
  • Swag
  • Branding
  • Privacy
  • Terms of Use
  • Disclaimers

© 2022 JNews - Premium WordPress news & magazine theme by Jegtheme.

This blog is now an archive. Find content from Hiro here and Stacks news and announcements here.