chaincompare Comparisons between blockchains and contract languages. Work in progress. Ethereum vs. Libra