LigoLANG

Information Technology & Services - Paris, Île-de-France, France

LigoLANG Employees
Contact All LigoLANG Employees
LigoLANG Details

LIGO is a programming language for writing Tezos smart contracts. Smart contracts are a unique domain with extreme resource constraints and even more extreme security risks. Unlike desktop, mobile, or web application development, smart contracts cannot rely on cheap CPU time and memory. All resources used by contracts are expensive, and tracked as 'gas costs'. Smart contracts often directly control money or assets, which if stolen could rack up to a large financial loss to the contracts controllers and users. Tezos smart contracts live on the blockchain forever, if there's a bug in them they can't be patched or amended. Naturally, under these conditions, it's not possible to develop smart contracts the way we're used to developing user-facing applications.LIGO is designed with these problems in mind. The design philosophy can be described in a few bullet points:Make a clean, simple language with no unnecessary parts.Offer multiple familiar syntaxes so users can get up and running quickly.Encourage people to write simple code, so that it's easy to formally verify the compiled output using a project like Mi-Cho-Coq.Significantly reduce the risk that your smart contract will lose its balance to an avoidable exploit.LIGO is a functional language designed to include the features you need while avoiding patterns that make formal verification hard. Most useful smart contracts can express their core functionality in under a thousand lines of code. This makes them a good target for formal methods, and what can't be easily proven can at least be extensively tested. The simplicity of LIGO also keeps its compiled output unbloated. Our hope is to have a simple, strongly typed language with a low footprint.

LigoLANG logo, LigoLANG contact details
Employees: 10
HQ:
Location: Paris, Île-de-France, France
Revenue:
LigoLANG Technologies
Email Providers

Gmail

CMS

Netlify

Other

Google Apps

Hosting

Google Cloud Hosting

CSS and JavaScript Libraries

React Redux

Analytics and Tracking

Google Analytics

View All Technologies Used At LigoLANG

Contacting LigoLANG: Connect with Executives and Employees

Get in Touch with LigoLANG Executives and Employees

Connecting with LigoLANG's Executives and Workforce

Accessing Contact Information for LigoLANG Executives

Connecting with LigoLANG: Reach Out to Their Team

Discover How to Contact LigoLANG Executives and Staff

Looking to connect with LigoLANG executives or employees?

Seeking to Get in Touch with LigoLANG Executives or Staff?

Want to Reach Out to LigoLANG Executives or Team Members?

In Search of Contact Details for LigoLANG Professionals?

Connecting with LigoLANG: Contacting Executives and Staff

Browse companies
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z