Category Archives: Bitcoin

Blockchain: Links And Resources (300)

Previous Post

K Framework

K Semantics of the Ethereum Virtual Machine (EVM)

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Defining the semantics of K in K

How Formal Verification of Smart Contracts Works

How Formal Verification Can Ensure Flawless Smart Contracts

What I think about what KEVM people think about EVM

El desarrollo de loyalty para Flips

Angel “Java” Lopez


Blockchain: Links And Resources (299)

Previous Post
Next Post

World’s first Bitcoin based supply chain data platform, TEMCO’s pre-sale

Bitcoin secured supply chain platform TEMCO launches token sale on Nexybit

The State of Bitcoin

0/ We’re excited to release our first “State of #Bitcoin” report. Read it in full here!

UNICEF’s Innovation Fund announces first cohort of blockchain investments in emerging markets

Ahora ya puedes tener contratos inteligentes sobre Bitcoin

“¿Hay alguien ahí fuera?”: el bitcoin ‘amenaza’ la búsqueda de vida extraterrestre

Esplora – The Code Behind Blockstream Explorer

Angel “Java” Lopez


Blockchain: Links And Resources (298)

Previous Post
Next Post

WATCH: SEC Chairman Jay Clayton’s Full Consensus: Invest Interview

Kademlia: a Peer-to-peer Information System Based on the XOR Metric

Generalised swap swear and swindle games

Mainframe: the web3 communications layer

A Framework for Analyzing Private Blockchains.

Coinbase COO Asiff Hirji Says Stablecoins Will Enable “Programmatic Money Applications Like We Have Not Seen Before”

2017 Was The Year When Everyone (Finally) Learned Bitcoin Isn’t Controlled By Miners

Ethereum [ETH]’s Vitalik Buterin: Next wave of crypto adoption is not going to be built on hype

Angel “Java” Lopez


Blockchain: Links And Resources (297)

Previous Post
Next Post


Confidential transactions have arrived, a dive into the AZTEC Protocol

Scaling Nakamoto Consensus to Thousands of Transactions per Second

Native support for Ethereum, Ethereum Classic and ERC20 tokens available in Trezor Beta Wallet

Amazon Presents Its Quasi-Blockchain Solution, Platform for Ethereum and Hyperledger Fabric

SpankChain Has Paid Camgirls $70,000 Worth of Crypto in 6 Months

Amazon Announces Two Blockchain-Related Products; Quantum Ledger and Managed Blockchain

600K Bitcoin Miners Shut Down in Last 2 Weeks, F2Pool Founder Estimates

Angel “Java” Lopez


Blockchain: Links And Resources (296)

Previous Post
Next Post

Elixir implementation of Ethereum’s RLP (Recursive Length Prefix) encoding

Crypto Anarchists Are Building Tools to Resist the State in Eastern Europe

Banking Giant State Street Is Waiting on Client Demand for Crypto Custody

Ping An’s New Pitch for Blockchain: Shared Ledger, But Banks Keep Clients

Chain Importer

Ethereum full node implementation written in Elixir

SEC’s Next Move: Social Media Influencers Who Promoted Crypto ICOs

Oil-Trading Blockchain Platform VAKT Launches With Shell, BP as First Users

Angel “Java” Lopez


Blockchain: Links And Resources (295)

Previous Post
Next Post

Reddit Co-Founder: Blockchain Gaming Is Going to Be Big

Ethereum Adoption in Developing Countries Rising Exponentially: Lubin

Explaining Bitcoin with Pokemon cards

Week in Ethereum News: December 2018

Ewasm working group proposal for Eth 1.x

The Zcash Network Upgrade Pipeline

A Closer Look Into Ledger Security: the Secure Element

Bitcoin Full Validation Sync Performance

Angel “Java” Lopez


Blockchain: Links And Resources (294)

Previous Post
Next Post


‘Unequivocal Yes’: NYSE Chair Says Bitcoin and Crypto Are Here To Stay

What is Ethereum? Beginners Video Guide

Developers Rally Around Ethereum 1x, A New Roadmap for Faster Scaling

The AZTEC Protocol

ConsenSys Leads $2.1 Million Funding Round into Ethereum Hosted Protocol AZTEC

AZTEC Protocol

Is this the end of ethereum and bitcoin? (Nov 25 2018)

Angel “Java” Lopez