UPD 12/15/2018

Opens fresh off a world trip, recapping Plutus Fest in Edinburgh with the Plutus and Marlowe team and finally shaving off the long beard.

Introduces the year end update by explaining specification driven engineering, where formal mathematical specifications are used to extract and verify code, backed by over 40 research papers.

Announces the December 18th 1.0 release as the first Cardano release built directly from a formal specification, after seven release candidates.

Reviews 2018 lessons learned in QA and support, with the helpdesk handling over 10,000 tickets and test coverage improving across four major releases.

Details the systematic decoupling of the wallet backend from the Haskell client, expected to finish in January and enable much faster feature development.

Lists upcoming wallet backend features for early 2019 including multi sig, manual UTXO collection, offline transaction creation, a command line interface, and porting the wallet scripting idea from cardano rust.

Calls Ouroboros and Plutus/Marlowe the two crown jewels of Cardano's portfolio, alongside the Scala based K and Yella work.

Highlights conference milestones for the Ouroboros family in 2018, from Ouroboros Praos and Ouroboros Genesis in Israel to Ouroboros BFT at CCS in Canada, now with five separate implementations for different use cases.

Praises the Haskell Ouroboros implementation as elegant enough to reparameterize the same codebase across BFT, Praos, and Genesis modes with different network stacks.

Describes finalizing the ledger and delegation specifications, with a Berlin workshop planned for early January, and explains the ledger spec now works like a domain specific language describing both Byron and Shelley rules.

Simplifying the codebase by eschewing unnecessary complexity around update validation, backed by property based and end to end testing that should make it the highest quality codebase of any cryptocurrency.

Reflects on the difficulty of onboarding exchanges in 2018 due to language and cultural barriers alongside a still maturing product.

Recounts authorizing the Icarus program in March as one of the fastest engineering efforts yet, building a new wallet from scratch with a rust and JavaScript component in about three months.

Credits Emurgo with turning the Icarus reference codebase into the Yoroi wallet, which now serves about 11 percent of the Cardano population and has attracted third party interest from Vacuum Labs.

The first factor delaying Ledger hardware wallet support: a non standard Ed25519 based HD wallet scheme that off the shelf tooling couldn't easily accommodate.

Blames a second factor in the Ledger delay on a tripartite arrangement between IOHK, a third party developer called Meta Legend, and the Cardano Foundation.

The fix requires moving to deterministic Icarus style addresses and the new wallet backend, expected to land with Cardano 1.5.

Announces Vacuum Labs is being brought in to accelerate Ledger support alongside Emurgo, estimating roughly 30 to 50 engineer days remain to finish and secure it.

Reveals a quieter fourth factor in the delay: it wasn't clear until the second half of the year how to design cold staking for a hardware wallet inside Daedalus.

Ongoing UI and UX mockups for the delegation center and staking registration flow ahead of Shelley.

The two sides of cold staking: letting a paper wallet delegate without exposing its spending keys, and building equivalent support for Ledger and Trezor devices.

Reports steadily improving engineering metrics month over month, including faster development time, better testing, and higher code quality.

A friendly race between the Rust and Haskell teams to independently finish a full Shelley client first and reach a testnet.

Admits the Cardano Foundation failed to fund community management programs in 2018, including a proposed Ambassador Program and regional Cardano Hub concept, both blocked by the previous chairman and now unblocked under new leadership.

Points to existing grassroots meetup groups already thriving in places like Iran, Colombia, Eastern Europe, Ukraine, South Korea, and Japan.

Recalls an April pilot that drew over a thousand expressions of interest in running a stake pool, with plans to reopen registration within 60 days and convert the list into testnet participants.

Addresses recurring FUD and misunderstandings from 2018, including baseless claims meant to worry the community.

Corrects the claim that a delayed Shelley means everything is delayed, clarifying the smart contract work followed an entirely separate research track.

Credits the Plutus and Marlowe language team, led by Phil Wadler and Manuel Chakravarty at the University of Edinburgh, with wrapping up a two year research track and moving into implementation.

The K and Yella work forked the Mantis client and has run two testnets since summer, teaching the team about runtime verification.

Confirms smart contracts remain on schedule for late first half or early second half of 2019 even as Shelley's own release date slips to whenever it's ready.

Lists remaining smart contract groundwork: extended UTXO, integrating Plutus, and running side chains on the Mantis network.

Rebuts a claim circulating in the EOS community that Japanese ADA buyers remain locked out of their tokens, pointing to Genesis block data and repeated redemptions as proof of full liquidity.

Calls the locked ADA claim bizarre and criticizes the EOS community for repeating provably false statements even after being shown on chain evidence.

Argues the crypto industry should hold claims to the same evidentiary standard as peer reviewed science and specification driven engineering.

Reflects on a year of travel to 30 countries and roughly 60 events, meeting fans who got Cardano tattoos, planted trees, and named children after the project.

Sees no evidence the community is slowing down, citing rising wallet downloads and engagement heading into 2019.

Looks ahead to the pan African strategy bearing fruit in 2019 as the enterprise framework rolls out across Africa.

Cardano as a self healing, decentralized ecosystem where independent community members like the Guardians of Cardano hold the Foundation accountable, comparing the community's energy to early Bitcoin.

Revisits the origin of Ethereum Classic as an unplanned protest chain born from the DAO hard fork and the code is law philosophy.

Recalls personally funding and building the Mantis client from scratch to give the Ethereum Classic minority chain a real chance to survive.

Mantis has grown into a production system supporting both Ethereum and Ethereum Classic, with Ethereum Foundation members asking IOHK to relicense it to Apache for Hyperledger.

The synergy of Mantis letting IOHK quickly plug in K EVM and Yella to test running Solidity smart contracts on the Cardano system.

Credits building Mantis from scratch in Scala with training developers deeply in the Ethereum ecosystem, but flags that IOHK has spent its own money on it with no revenue from Digital Asset, DCG, or ETC Labs to date.

Recalls lobbying Ethereum Classic for a treasury system to sustainably fund development, warning that donation only funding would fail for projects without pre existing wealth.

ETC Dev, which opposed the treasury proposal, is now reportedly shutting down for lack of funds, just as predicted.

Lists unreleased contributions for Ethereum Classic including NIPoPoWs, the Parallel Chains proof of work protocol, and EVM improvements that won't ship without a funding arrangement.

Without a funding arrangement from the Ethereum Classic community, the Mantis team will be retired and moved to other projects, though the Hyperledger version continues.

Points to nearly a hundred consecutive weekly Mantis livestreams on the IOHK YouTube channel as proof of the project's transparency.

Announces the Cardano Foundation has appointed three new interim board members, Nathan Kaiser, Donna Berkey, and Manmeet Singh, tasked with cleaning up its systems and appointing a new, larger, diverse board.

Calls 2017 crypto's hype driven kids year and 2018 the adult year that separated real projects from copycats amid collapsing teams and dried up funding.

Contrasts Cardano's continued hiring and funding with competitors laying staff off, crediting the specification driven approach with giving engineers, scientists, and lawyers a shared language and organizational clarity that competitors lack.

Closes by thanking the Cardano community and reaffirming the vision of Cardano becoming the financial operating system of the developing world.