Category Archives: Bitcoin

Blockchain: Links And Resources (300)

Previous Post

K Framework
http://www.kframework.org/index.php/Main_Page

K Semantics of the Ethereum Virtual Machine (EVM)
https://github.com/kframework/evm-semantics

KEVM: A Complete Semantics of the Ethereum Virtual Machine
https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr_0818.pdf

Defining the semantics of K in K
https://github.com/kframework/k-in-k

How Formal Verification of Smart Contracts Works
https://runtimeverification.com/blog/how-formal-verification-of-smart-contracts-works/

How Formal Verification Can Ensure Flawless Smart Contracts
https://media.consensys.net/how-formal-verification-can-ensure-flawless-smart-contracts-cbda8ad99bd1

What I think about what KEVM people think about EVM
https://medium.com/@pirapira/what-i-think-about-what-kevm-people-think-about-evm-78d99191b57e

El desarrollo de loyalty para Flips
https://www.youtube.com/watch?v=vkXBSU1T0Fk

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

 

Blockchain: Links And Resources (299)

Previous Post
Next Post

World’s first Bitcoin based supply chain data platform, TEMCO’s pre-sale
https://medium.com/temcolabs/worlds-first-bitcoin-based-supply-chain-data-platform-temco-s-pre-sale-af5cad09ffa1

Bitcoin secured supply chain platform TEMCO launches token sale on Nexybit
https://www.cryptoninjas.net/2018/12/12/bitcoin-secured-supply-chain-platform-temco-launches-token-sale-on-nexybit/

The State of Bitcoin
https://www.delphidigital.io/bitcoin

0/ We’re excited to release our first “State of #Bitcoin” report. Read it in full here!
https://twitter.com/Delphi_Digital/status/1072248572433915909

UNICEF’s Innovation Fund announces first cohort of blockchain investments in emerging markets
https://www.unicef.org/press-releases/unicefs-innovation-fund-announces-first-cohort-blockchain-investments-emerging

Ahora ya puedes tener contratos inteligentes sobre Bitcoin
https://blog.bitso.com/ahora-ya-puedes-tener-contratos-inteligentes-sobre-bitcoin-3b10167c9142?gi=9810ca6f2d4b

“¿Hay alguien ahí fuera?”: el bitcoin ‘amenaza’ la búsqueda de vida extraterrestre
https://mundo.sputniknews.com/espacio/201802161076323267-gpu-bitcoin-seti/

Esplora – The Code Behind Blockstream Explorer
https://blockstream.com/2018/12/06/esplora-source-announcement/

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

 

Blockchain: Links And Resources (298)

Previous Post
Next Post

WATCH: SEC Chairman Jay Clayton’s Full Consensus: Invest Interview
https://www.coindesk.com/sec-jay-clayton-consensus-invest-video

Kademlia: a Peer-to-peer Information System Based on the XOR Metric
https://pdos.csail.mit.edu/~petar/papers/maymounkov-kademlia-lncs.pdf

Generalised swap swear and swindle games
https://www.dropbox.com/s/7r3jasjho35ojc7/sw3paper.pdf

Mainframe: the web3 communications layer
https://mainframe.docsend.com/view/j39qpui

BlockBench
https://github.com/ooibc88/blockbench
A Framework for Analyzing Private Blockchains.

Coinbase COO Asiff Hirji Says Stablecoins Will Enable “Programmatic Money Applications Like We Have Not Seen Before”
https://blokt.com/news/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
https://www.forbes.com/sites/ktorpey/2017/11/30/2017-was-the-year-when-everyone-finally-learned-bitcoin-isnt-controlled-by-miners

Ethereum [ETH]’s Vitalik Buterin: Next wave of crypto adoption is not going to be built on hype
https://ambcrypto.com/ethereum-eths-vitalik-buterin-next-wave-of-crypto-adoption-is-not-going-to-be-built-on-hype/

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

 

Blockchain: Links And Resources (297)

Previous Post
Next Post

Mainframe
https://mainframe.com/developers

Confidential transactions have arrived, a dive into the AZTEC Protocol
https://medium.com/aztec-protocol/confidential-transactions-have-arrived-a-dive-into-the-aztec-protocol-a1794c00c009

Scaling Nakamoto Consensus to Thousands of Transactions per Second
https://www.conflux-chain.org/Scaling%20Nakamoto%20Consensus%20to%20Thousands%20of%20Transactions%20per%20Second.html

Native support for Ethereum, Ethereum Classic and ERC20 tokens available in Trezor Beta Wallet
https://blog.trezor.io/native-support-for-ethereum-ethereum-classic-and-erc20-tokens-available-in-trezor-beta-wallet-4f8960eb3895

Amazon Presents Its Quasi-Blockchain Solution, Platform for Ethereum and Hyperledger Fabric
https://cointelegraph.com/news/amazon-presents-its-quasi-blockchain-solution-platform-for-ethereum-and-hyperledger-fabric

SpankChain Has Paid Camgirls $70,000 Worth of Crypto in 6 Months
https://www.coindesk.com/spankchain-eth-crypto-porn-camgirl

Amazon Announces Two Blockchain-Related Products; Quantum Ledger and Managed Blockchain
https://cointelegraph.com/news/amazon-announces-two-blockchain-related-products-quantum-ledger-and-managed-blockchain

600K Bitcoin Miners Shut Down in Last 2 Weeks, F2Pool Founder Estimates
https://www.coindesk.com/600k-bitcoin-miners-shut-down-in-last-2-weeks-f2pool-founder-estimates

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

 

Blockchain: Links And Resources (296)

Previous Post
Next Post

Elixir implementation of Ethereum’s RLP (Recursive Length Prefix) encoding
https://github.com/mana-ethereum/ex_rlp

Crypto Anarchists Are Building Tools to Resist the State in Eastern Europe
https://www.coindesk.com/crypto-anarchists-are-building-tools-to-resist-the-state-in-eastern-europe

Banking Giant State Street Is Waiting on Client Demand for Crypto Custody
https://www.coindesk.com/crypto-custody-state-street-is-waiting-on-a-client-shift-exec-says

Ping An’s New Pitch for Blockchain: Shared Ledger, But Banks Keep Clients
https://www.coindesk.com/ping-ans-new-pitch-for-blockchain-shared-ledger-but-banks-keep-clients

Chain Importer
https://github.com/Ethermat/chain-importer

Mana
https://github.com/mana-ethereum/mana
Ethereum full node implementation written in Elixir

SEC’s Next Move: Social Media Influencers Who Promoted Crypto ICOs
https://www.ccn.com/secs-next-move-social-media-influencers-who-promoted-crypto-icos/

Oil-Trading Blockchain Platform VAKT Launches With Shell, BP as First Users
https://cointelegraph.com/news/oil-trading-blockchain-platform-vakt-launches-with-shell-bp-as-first-users

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

 

Blockchain: Links And Resources (295)

Previous Post
Next Post

Reddit Co-Founder: Blockchain Gaming Is Going to Be Big
https://sludgefeed.com/alexis-ohanian-says-blockchain-gaming-going-to-be-big/

Ethereum Adoption in Developing Countries Rising Exponentially: Lubin
https://www.newsbtc.com/2018/12/02/ethereum-adoption-in-developing-countries-rising-exponentially-lubin/

Explaining Bitcoin with Pokemon cards
https://blog.goodaudience.com/blockchain-explained-with-pokemon-cards-ecdd90e4297a

Week in Ethereum News: December 2018
http://www.weekinethereum.com/post/180709823708/december-1-2018

Ewasm working group proposal for Eth 1.x
https://ethereum-magicians.org/t/ewasm-working-group-proposal-for-eth-1-x/2033

The Zcash Network Upgrade Pipeline
https://z.cash/blog/the-zcash-network-upgrade-pipeline/

A Closer Look Into Ledger Security: the Secure Element
https://www.ledger.fr/2018/12/03/a-closer-look-into-ledger-security-the-secure-element/

Bitcoin Full Validation Sync Performance
https://medium.com/casa/bitcoin-full-validation-sync-performance-d842260cf353

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

 

Blockchain: Links And Resources (294)

Previous Post
Next Post

RIF OS
https://cdn.rifos.org/home_video.mp4

‘Unequivocal Yes’: NYSE Chair Says Bitcoin and Crypto Are Here To Stay
https://www.ccn.com/unequivocal-yes-nyse-chair-says-bitcoin-and-crypto-are-here-to-stay/

What is Ethereum? Beginners Video Guide
https://www.youtube.com/watch?v=IsXvoYeJxKA

Developers Rally Around Ethereum 1x, A New Roadmap for Faster Scaling
https://www.coindesk.com/developers-rally-around-ethereum-1x-a-new-roadmap-for-faster-scaling

The AZTEC Protocol
https://github.com/AZTECProtocol/AZTEC/blob/master/AZTEC.pdf

ConsenSys Leads $2.1 Million Funding Round into Ethereum Hosted Protocol AZTEC
https://coinjournal.net/consensys-leads-2-1-million-funding-round-into-ethereum-hosted-protocol-aztec/

AZTEC Protocol
https://www.aztecprotocol.com/

Is this the end of ethereum and bitcoin? (Nov 25 2018)
https://www.quora.com/Is-this-the-end-of-ethereum-and-bitcoin-Nov-25-2018

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