Founder and CTO at @O1_labs - talk to me about SNARKs, actually scaling cryptocurrency, functional programming
San Francisco, CA
@_jillruth @atyreefinch We’ll be starting soon to look into a smart contract layer for Coda. The VM itself will likely be Turing complete (with a general purpose language to match), but we are also planning on offering a set of higher-level DSLs to simplify and provide better security for specific use cases.
@rasnhop There are lots of interesting ideas out there for scaling solutions, like increasing block size or somehow restricting the set of block producers, which mainly focus on increasing throughput. But by default, high throughput introduces a big risk of centralization that will make it dramatically more difficult for no..
@srinitude I’m glad you asked! Our engineering team believes that the safety and clarity statically-typed functional programming techniques are important for fast iteration while maintaining correctness. OCaml’s type system makes it easy and fun to write correct programs. About the other languages you mentioned: Python ..
@jonathanmarcus Practically speaking, making a blockchain fully succinct requires choosing the cryptographic primitives (hash function, signature scheme) in a very careful manner from the start. That’s because they need to be efficient to execute inside a zk-SNARK. And for blockchain protocols which allow explicit referen..