Tezos: Mainframe partnership, Tezos Commons Offers Co-Working Space In California, Hardware wallets integration, new tutorials

Paradigm
Paradigm
Published in
9 min readJan 15, 2019

--

Monthly update 18th December — 15th January

Development

Gitlab metrics
Developer activity (from Coinlib.io)
Source: Tezos Foundation twitter

Major changes made since version 1.0 are:

  1. A number of new additions have been made — these are shown in red text. Some of these are new developments, some were missed the first time around;
  2. Two new categories have been added — languages and resources, both at the request of the community;
  3. Where information is available wallets that are Ledger or Trezor compatible are designated with an (L) or (T) respectively.
  • Galleon update to 0.6.0b.
  • New Dashboard of the Tezos network.
  • Baking Bad service is being developed to helps delegators calculate rewards from Tezos Delegation and match theirs with received payouts.
  • Tezbox Wallet Common Issues and How to Solve Them — frequently asked questions on medium.
  • According to weekly Tezos roundup, Tezos Lead Architects Launch New Development Shop.
    Three of the top OCaml developers who spent multiple years working on the Tezos protocol have founded a new company called Nomadic Labs. The company has grown to 30 full-time developers focused on expanding and researching the Tezos protocol.
    In addition to working on the core protocol for new upgrades and protocol amendments, the team is also working on a Tezos mobile wallet.
  • SimpleStaking Tezos wallet is officially supported and listed on Trezor website.
    In addition to that SimpleStaking added multiple account support. Follow the link for details.
  • Tezsure State of Work #3 (Product Demo). Full explanation here.
  • Basic introduction of Formal verification — Tezos’ language supports formal verification.
  • New Michelson Tutorial! Part 3 — Contract Origination and Interaction.
  • A formalization of Michelson in Coq here.
    A useful starting point for proving properties about tezos smart contracts. The structure of Michelson lends itself well to this type of analysis.
  • Now @coingecko adds support for Tezos Gitlab.
  • New update of TezosNotifierBot:

- added display of the amount in USD and BTC for the actual balance of the baker;

- added notification about delegate changing (leaving);

- modified Free delegation space calculation formula: [Free delegation space] = [Actual Balance] / 0.126 — [Staking Balance].

  • Baking Bad got started. Baking-bad.org is an independent service to calculate rewards for Tezos delegation and matching them with the actual payments received.
  • New Kiln release! v0.3.0 introduces Baker Monitoring and Tezos Release Monitoring.

Social encounters

  • Awa Sun Yin published How to Store Your Tezos XTZ in Your Trezor Model T and Delegate with TezBox.
  • Tezsure video explaining Alpha version 0.1. Tezsure.com is a decentralized insurance marketplace. Powered by AI and the Tezos blockchain.
  • Tezos Commons Offers Co-Working Space. Starting February 1st, 2019, the Commons is opening up a pilot program with Hero City in San Mateo, California to provide some office space for those building with or on the Tezos protocol.
  • Explanatory YouTube video on “How to find a good Tezos baker using @mytezosbaker.
  • Meeting with Tezos community members at the @thecryptovalley event in Zurich. Professor Luis Felipe of PUC-Rio joined them all the way from Brazil.
Source: Tezos twitter
  • A Q&A session with Mike Reinhart, Tezos Project Manager for Obsidian llc, talking about Tezos baking and ongoing efforts to make the process easier and more accessible, and his experience working with LedgerHQ. More info here.
  • Learn more about how ClauseHQ is building on Tezos in the latest episode of the Grantee Spotlight series. Check out the video.
  • Breaker Magazine: Kathleen Breitman is unapologetic and living her best life by Brian Patrick Eha.
  • Blockchain Camp Interview : Prof. Kwangkeun Yi (Dept. of Computer Science and Engineering, Seoul National University).
  • The launch of the Tezos network. Thank you to the entire community for all the support — onward to 2019! Video via link.
  • Blockchain Camp in Seoul. More on twiiter.
Source: Tezos twitter
  • Interview: Tezos Insider speaks with Arthur Breitman about Tezos development, zk-SNARKs, baking, smart contract tools, and more.
  • Dr. Debajyoti Ray, PhD (“Dray”) explains his journey to find the best coding language for blockchain, how he landed on OCaml, and how that led him to Tezos.
  • There are at least four important characteristics that set Tezos apart in the blockchain universe making it a solid platform for decades to come. So why Tezos matters in a sea of blockchains?
  • Here is an article that includes section on Kathleen Breitman for her work on Tezos.
  • Arthur Breitman joins The Crypto Lark to discuss Tezos and what makes it so powerful.
  • Slides of the presentation Cătălin Hriţcu from @Inria did at LabosNomades. He talked about F*, a language designed for Formal Verification that is used by Tezos to verify the Michelson interpreter and in the HACL* cryptography library.
  • In our latest interview, Tezos Insider’s Ken Garofalo was joined by Jovan Smith from @iBakeTezos to discuss baking, the economics of running a delegation service, and many other great topics.
  • Read why Tezsure is built on Tezos.
  • Tezos is beefing up its management. The ambitious cryptocurrency is taking on a legal counsel who spent ten years at derivatives boutique Leonteq.
  • Pos Bakerz did a tutorial explaining how to configure Tezos on your @LedgerHQ Nano S using @TezBox_Wallet . Check it out if you want to know more.
  • Diego was at University of Beira Interior in Covilhã, Portugal to give a presentation about technical challenges in blockchain and meet with researchers working on projects built on Tezos.
    Among other projects, the cool robot logs its data into a private Tezos blockchain. Watch video with robot here.
  • Dr Philippe spoke on 13 Jan 2019, 9.30am, at KMUTNB, Thailand (Rm 617, Faculty of Applied Science). Meetup at Bangkok.

Upcoming events

  • The first Tezos meetup in Belgium on 21 February 2019.

The first areas of interest will be:

1. The overall architecture of tezos

2. Its consensus and why is it more liquid than a DPOS like in EOS

3. What is baking and how I can delegate my tezzies

4. The tools (block explorer, baker services and wallets)

  • Ryan Jespersen — President of the Tezos Foundation, joined us for a chat on Tezos Riot at 3 pm CET 10th January.
  • Tezos Boston Meetup #4 Video.
  • 26 January 2019 — Tezos Blockchain Talk is a casual conference in Seoul by Tezos Korea Foundation. AirGap is looking forward to talking about AirGap in general and their vision of securely handling XTZ at the Tezos Blockchain.
Source: Tezos twitter

Roadmap

Partnerships and team members

  • Benjamin “klakplok”, Grégoire “hnrgrgr” and Pierre “chambart” of OCamlPro, with the help of the Tezos Foundation, have formed a new company called Nomadic Labs to continue development and research on the Tezos protocol. More details here. And they have published first post.
  • Gemma Gordon is Operations Director for the OCaml Labs group based in the University of Cambridge Computer Laboratory, and the CEO of OCaml Labs Consultancy. Anil Madhavapeddy is a University Lecturer at the University of Cambridge, based in the Systems Research Group. He founded the OCaml Labs group at Cambridge, and leads the MirageOS unikernel Linux Foundation project.
  • Mainframe and Tezos Work Together to Support Developer Growth — medium thread.

“Blockchains are, by their very nature, products of communities,” said Sam Harrison, director of operations for Tezos Commons. “Over the past several months Mainframe has built a great community. We look forward to connecting our community with Mainframe’s in the goal of accelerating outreach and improving what we can build together.”

  • A Tutorial Introduction to Michelson & Tezos. Michelson is the smart contract language of the Tezos blockchain. Roughly speaking, Michelson is to Tezos as the Ethereum Virtual Machine is to Ethereum. Both languages are stack-based, which means that computation is performed by mutating a sequence of data elements (the stack) according to some sequence of instructions (the program). Another Tutorial for this collaboration.
  • One of Tezos’ most unique features is its decentralised nature, and the many local groups that have emerged to share news, information and education either virtually through twitter and other social media or in real life through meetups and other events. Tezos community map:
Source: Tezos twitter
  • Tezos is a new member in the @CV_Labs. CV Labs is a unique place in Crypto Valley where great minds and new ideas come together, to discuss and to innovate. There are many ways to be part of the vibrant crypto community and connect to the blockchain world.
  • Tezos repository which is hosted on Gitlab is now available and tracked on CoinGecko.
  • Tezos welcomes Ulrich Sauter, Eelco Fiole, and Lily Liu. They joined their team. Accomplished backgrounds of these people will bring invaluable insights to the Tezos Foundation and larger Tezos ecosystem.

Rumors

  • Tezos Korea community plans researches: TRUE’s research topics have been selected like as below, each teams will research expertly regarding sorted topics and look for the ways to develop Tezos ecosystem.

Team of lead by Leo

– On-Chain Governance Comparison of Blockchain

– Blockchain and Zero Knowledge Proof

Team of lead by Aiden

– Searching for a possibility of KYC in Tezos

– Comparative analysis of other identification blockchain projects

– Problem awareness and difficulty of KYC

Team of lead by John

– Tezos node monitoring

– Research on the impact of securities token and stable coin

– Tezos Applicability Research

  • Tezos Korea Foundation(TKF) will have a Tezos Blockchain Camp for 7 days from January 7th to 15th. Tezos Blockchain Camp is an introductory course on functional programming and speaches by professors who are experts in Blockchain from Seoul National Uni, Korea Uni and Hanyang Uni as well. Education is all free course for everyone, and only need your passion. (around 50 people on first come first served).
  • Tezos 2018 reflections & 2019 excitement. Watch here.
Source: Tezos reddit
  • Awesome retro tezos shirts and stickers to friends. Check out this page if you’re interested in snagging some.

Finance

Source: htzscan.io
Source: twitter
  • $XTZ is now live on Changelly. It is a company that provides crypto-to-crypto swaps.
  • «At the end of 2018 Magnum Wallet released a built-in exchange that allows users to change coins directly in Magnum Wallet. It brings a new, more natural way to participate in the baking process of Tezos. There is no more need to use custodial exchanges where users don’t have control over their funds. To be on the safe side buy and delegate XTZ in Magnum Wallet.»

Social media metrics

Social media activity
Social media dynamics
Social media dynamics

The graph above shows the dynamics of changes in the number of Tezos Facebook likes, Reddit subscribers and Twitter followers. The information is taken from Coingecko.com.

This is not financial advice.

Subscribe to detailed companies’ updates by Paradigm!

Medium. Twitter. Telegram.

--

--