What do Formal Methods actually Guarantee?

There is a lot of misunderstanding about what formal methods can do — their powers —…

Alacris: The Blockchain Operating System

Blockchain technology is the future of how we will do almost everything online. It will…

Alacris and Nervos Partner to Make Blockchain Development Practical

Alacris: The Beginning

It is commonly known that any great superhero has a well told history of what set them on their path. Origin stories…

Composing Contracts without Special Provisions — using Blockchain History

Employee Spotlight: Lucy Zhang

Meet Lucy
Name: Lucy Zhang
Position: Software Engineer Co-op (Intern)
Home: Dedham, MA; Ann Arbor, MI

ETHDenver Day 2 & 3: Amy’s Perspective

Can you be in the present and the future all at the same time? Being at a hackathon is…

Why Developing for the Blockchain is Hard — Part 1: Posting Transactions