Daily Archives: April 7, 2019

Blockchain: Links And Resources (358)

Previous Post
Next Post

What is Tezos? Must Read Ultimate Guide
https://blockgeeks.com/guides/what-is-tezos/

On Collusion
https://vitalik.ca/general/2019/04/03/collusion.html

Coinbase, Paradigm Invest $15 Million in Startup Behind Disappearing Blockchain
https://www.coindesk.com/coinbase-paradigm-invest-15-million-in-startup-behind-disappearing-blockchain

Formal Verification for n00bs -Part 4: Understanding K language
https://medium.com/ethworks/formal-verification-for-n00bs-part-4-understanding-k-language-6069c20cfd47

K framework and WebAssembly ⇒ KWasm
https://www.youtube.com/watch?v=V6tOYuneMqo

April 5, 2019 – Week in Ethereum News
https://weekinethereum.substack.com/p/april-5-2019-week-in-ethereum-news

O(1) Labs Raises $15 Million to Expand its Coda Project
https://btcmanager.com/o1-labs-raises-15-million-expand-coda-project/

Rust library for decentralized private computation
https://github.com/scipr-lab/zexe

Angel “Java” Lopez
https://github.com/ajlopez
http://www.ajlopez.com
http://twitter.com/ajlopez