Clarity Language for Smart Contracts

Brought to my attention as a part of a continuing look at smart contracts for supply chain and related analytic systems.

Clarity Language for Smart Contracts

Clarity Language
Clarity is a new language for smart contracts. Clarity is a decidable language, meaning you can know, with certainty, from the code itself what the program will do. Clarity is interpreted (not compiled) and the source code is published on the blockchain. Clarity gives developers a safe way to build complex smart contracts. The Clarity open-source project is supported by Blockstack and Algorand. .... 

The future of Smart Contracts
Clarity recognizes the need for smart contract languages that are more safe, secure, and predictable. Our goal is to help the smart contract industry mature beyond its current state. Clarity is designed by scientists from Princeton and MIT, and the open-source project is initially supported by Blockstack and Algorand. We welcome other projects and developers to join this effort and help contribute! .... '

In Github: https://github.com/clarity-lang  .... 

Algorand and Blockstack join to adopt Clarity blockchain smart contract language  By Kyt Dotson in SIliconAngle

Two blockchain industry leaders, Algorand Inc. and Blockstack PBC, today announced an independent open-source project to support Clarity, the blockchain distributed ledger smart contract language.

A smart contract is a programmable agreement that automates actions based on the completion of agreed-upon terms between multiple parties that have been encoded. The code of the smart contract and the agreements made exist within a blockchain, which acts as a tamperproof record of the contract, as well as assets under contract, which could be money, property, shares or anything else of value that can be represented digitally.   .... '

Blockstack for Digital Rights

Blockstack    Brought to my attention, has been around for some time.

 .... Decentralized computing network and app ecosystem

Blockstack apps protect your digital rights and are powered by the Stacks blockchain.

Secure your data with Blockstack and get a universal login

We provide private data lockers and a universal login with blockchain-based security and encryption — protecting your data from big internet companies. .... 

FAQ of uses.

Seeking Digital Identities

Who are we?   In Quartz:

".... Microsoft thinks blockchain tech could solve one of the internet’s toughest problems: digital identities

Elitzer isn’t alone in his thinking. His firm is part of a group, including Microsoft, Accenture, and several startups, that launched the Decentralized Identity Foundation at the Consensus blockchain tech conference in New York May 30, with the goal of developing a system to reliably identify things on the internet. They think they’ll succeed because they’ll use blockchain technology, that same system catching the imagination of banks, corporations, and libertarians.

Blockstack, one of the foundation’s startup members, has released a set of programming tools and a handful of pre-made apps that would create a decentralized internet. Greater decentralization of the internet would place more control in the hands of the user—or more specifically, the user’s devices, instead of relying on clouds operated by the likes of Google or Amazon. “Every character you type is literally going to Google,” says Muneeb Ali, Blockstack’s co-founder. “But your device is almost like a supercomputer. We just need to upgrade the internet infrastructure to be more user-friendly.” .... "