LIGO is a simple smart contract language designed for developing larger contracts than one would naturally write in…
Current blockchain networks offer strong guarantees of correctness and resistance to censorship. In exchange, they are slow and too expensive to run applications at scale. Marigold is a layer-2…