Agoric - JavaScript based secure smart contract programming

javascript
smartcontract

#1

Coindesk launch article:

https://www.coindesk.com/new-startup-zooko-naval-betting-better-crypto-contracts/

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.