Agoric - JavaScript based secure smart contract programming



Coindesk launch article:

Announced Monday, computer scientists Mark Miller, Dean Tribble, Brian Warner and Bill Tulloh have launched a new startup, Agoric, to develop a secure, blockchain-agnostic programming language based on javascript. The launch comes with a seed investment from a notable group of backers including Naval Ravikant, Polychain Capital and Zcash Company, the for-profit institution that manages the development of privacy-oriented cryptocurrency zcash.

According to the team, the language will allow programmers to code in a more intuitive and secure manner, while allowing for the kind of formal verification processes that can be a struggle in smart contract testing today.