Layperson questions about OSLF: Operational Semantics in Logical Form / ecovillages and RChain

98: ecovillages and RChain – OSLF (Operational Semantics in Logical Form) and RChain [Climate and Coordination] Aug 7 2020

RChain is a complete, concurrent blockchain platform designed for maximum efficiency at minimal computational and environmental costs by utilizing proof of stake. Beyond our platform, our investment partners fund organizations that are working within our core mission statement to create a better world by enabling social coordination in robust, secure, and scalable ways. Each week you'll hear from the founders of RChain's portfolio companies, co-op members, staff, and other figures in the RChain ecosystem, about the most pressing issues in blockchain today.

Share 98: ecovillages and RChain – OSLF (Operational Semantics in Logical Form) and RChain [Climate and Coordination] Aug 7 2020

Sign up to save your podcasts

98: ecovillages and RChain – OSLF (Operational Semantics in Logical Form) and RChain [Climate and Coordination] Aug 7 2020

98: ecovillages and RChain – OSLF (Operational Semantics in Logical Form) and RChain [Climate and Coordination] Aug 7 2020