Tezos Betanet Logistics

The Tezos community, its developers, and the Foundation are all preparing for the Tezos beta network (“betanet”) launch. Fundraiser contributors who haven’t already checked their contributions or completed the Tezos Foundation’s identity verification process should do so now. This verification process can be completed either before or after the betanet launch.

Contributors can access and manage their recommended allocations on the Tezos blockchain using the command line client or a graphical wallet. This will require entering the activation code of a given public key hash obtained after completing the verification process, and the private key information (a fifteen-word mnemonic, and the email address and password used during the donation period). Contributors should make sure to exercise extreme care and take all available safety precautions when entering private key information anywhere.

The launch of the betanet will involve the community running “nodes” that execute the Tezos software and connect to each other in a peer-to-peer network. Since it takes seven “cycles” (or 28,672 blocks, around three weeks depending on the block time) for baking rights to be assigned to network participants, no block rewards will be issued by the protocol during this period. Check out the Developer Resources website for more information on cycles and baking rights in Tezos.

Thank you, and stay tuned for more information.

-Tezos Foundation

Press release: Tezos Betanet Logistics

KYC/AML FAQ

Where can a contributor complete the KYC/AML process?
Fundraiser contributors can complete the KYC/AML process at verification.tezos.com.

Who is conducting KYC/AML?
The Tezos Foundation has partnered with a third-party enterprise-grade solution to provide KYC/AML services for fundraiser contributors.

How will the KYC/AML process work?
Fundraiser contributors must provide the specified personal identification documents as well as the public key hashes they wish to access in order to complete the KYC/AML process. The provided information will be used to verify contributors’ identities, and contributors will be notified after successful completion of the process.

Must KYC/AML be completed immediately?
No. If there are any difficulties in completing KYC/AML before launch, please be aware that this service will be available post-launch.

What is a public key hash?
A public key hash is a Tezos address that was created during the fundraiser. It is a string of numbers and letters starting with “tz1”.

Is KYC/AML required for contributors who donated through Bitcoin Suisse?
No. If a donation was made through Bitcoin Suisse, a KYC/AML check was already performed and the process does not need to be repeated on the Foundation’s KYC/AML platform.

What if a contributor does not have its public key hash?
A public key hash can be recovered from a private key. If a contributor is certain that it does not have its public key hash, it can contact [email protected].

Can the Foundation recover a seed phrase, password, or other information from the fundraiser?
A seed phrase and password were generated privately by contributors, on their own computers. For obvious reasons, the Foundation has no records of this information and thus cannot help contributors recover them.

What steps should be taken if the KYC/AML process cannot be completed?
Please take every appropriate measure to properly complete the KYC/AML process. A contributor must complete KYC/AML in order to receive an activation code corresponding to a given public key hash. If a contributor is currently unable to complete the KYC/AML process, please be aware that this service will be available post-launch.

What are the next steps after completing KYC/AML?
Fundraiser contributors who successfully complete KYC/AML will receive an activation code corresponding to a given public key hash. This code, along with the associated public key hash, seed phrase, and email and password chosen by the contributor during the donation period, will allow contributors to access and manage their recommended allocations. Further information about next steps will be provided on tezos.com.

What steps should be taken if an identity is wrongly flagged (“false positive”)?
The Tezos Foundation is using a leading global provider to check verified records against a number of global watch lists. Throughout the KYC/AML process, it is possible that some contributors may be incorrectly flagged as being included in one or more of these lists. If this happens, the contributor’s progress will be put on pause while its information undergoes further review to ensure correctness. There will be instructions on how to resolve a false positive on the platform should a contributor consider itself to have been wrongly flagged. Similar to the donation period, all instructions will be available in English only. The Tezos Foundation will only be able to provide support to contributors who are wrongly flagged.

Can an activation code be received without going through KYC/AML?
To conform to ecosystem and industry best practices we must obtain, verify, and record information that identifies each contributor who will be accessing its recommended allocation. Therefore, we regretfully cannot allow a fundraiser contributor to access its recommended allocation until it has properly completed the KYC/AML process and agreed to all terms and conditions.

When will activation codes be available?
Contributors who successfully complete the KYC/AML process prior to the betanet launch will not be provided their activation codes immediately. Rather, these contributors will be notified via email to sign-in to the KYC/AML platform to view their activation codes. It is anticipated that activation codes will be made available several days before launch.

Can KYC/AML be completed if a contributor lacks identification information?
In order to go through the KYC/AML process, fundraiser contributors must provide valid documentation as specified on the KYC/AML platform. Please be aware that this service will be available post-launch.

What should a contributor do if an activation code corresponding to a public key hash does not give it access to its recommended allocation?
If a contributor is unable to access its recommended allocation after successful completion of the KYC/AML process, it should re-enter the KYC/AML platform to confirm that it is using the correct activation code. Additionally, contributors should make sure that other information such as the public key hash and seed phrase are also entered correctly when attempting to access their recommended allocations.

KYC/AML FAQ

Tezos Foundation announces KYC/AML for contributors

As the operational details for the Tezos betanet launch continue to be finalized, the Tezos Foundation would like to announce the implementation, at this time, of Know Your Customer / Anti-Money Laundering (“KYC/AML”) checks for contributors.

The Foundation values and respects the privacy of its contributors, and along with countless others around the world, it opposes the unnecessary collection of personal information that has become pervasive on the Internet. However, it is important to comply with a rapidly evolving regulatory landscape. To that end, performing KYC/AML checks – as has become the norm for blockchain projects – is the best way forward.

To facilitate this process, the Tezos Foundation has partnered with a third-party vendor to conduct all KYC/AML checks. Contributors that successfully complete this process will receive activation codes corresponding to their public key hashes from the donation period; these codes will be required for contributors to access their recommended allocations. Contributors should know that KYC/AML will be available post-launch. There is no need for contributors to complete the process before the betanet launch unless they wish to access their recommended allocations immediately after the betanet goes live.

What is KYC/AML?
KYC/AML is a due diligence process that allows for the identities of individuals to be verified. It has become a best practice in the blockchain ecosystem and industry for KYC/AML checks to be conducted.

Why do KYC/AML?
During the Tezos Foundation’s donation period in July 2017, there was no blockchain ecosystem or industry consensus on this subject. As the blockchain ecosystem and industry has matured over the past ten months, it has become a best practice to verify that contributors meet basic KYC/AML criteria.

The Foundation takes the right to personal privacy seriously, and the implementation of KYC/AML checks is the product of careful deliberation.

The Tezos Foundation intends to use its resources to support activities that will advance the Tezos protocol, its community, and open-source technologies; the implementation of KYC/AML checks of all contributors will allow the Foundation to support these objectives.

Before beginning the KYC/AML process, contributors can check their recommended allocations by using the “Check Your Contribution” tool here. Visit this page to begin the Tezos Foundation’s KYC/AML process. For more information on the KYC/AML checks, visit the Foundation’s website here to view some FAQs.

Press release: Tezos Foundation announces KYC/AML for contributors

Tezos Foundation is issuing a grant to Cryptonomic project for wallet

The Tezos Foundation is pleased to announce that it is issuing a grant to Cryptonomic for a project for a wallet that can be used to interact with the Tezos blockchain. Cryptonomic is a New York City-based startup committed to decentralization and digital sovereignty. The Cryptonomic team has been an active member of the Tezos community and a supporter of the Tezos protocol. The development of Cryptonomic’s wallet is well underway.

In addition to the existing command line client, the Cryptonomic wallet will be an option available to contributors to access their recommended allocations in the genesis block to be proposed by the Tezos Foundation. Cryptonomic is targeting the launch of the betanet for the release of its wallet, and it intends to continue developing its wallet going forward.

Tezos Foundation announces preparations for Betanet launch

After reaching fundamental milestones in recent months, the Tezos Foundation is excited to announce that final preparations for the Tezos beta network («betanet») are underway. As launch approaches, the Foundation will make further announcements with additional details on this website.

The Tezos community has been running the alphanet, a test network, successfully for well over a year. Although this provided valuable engineering insight, there is no substitute for real-world experience. To that end, the Tezos Foundation looks forward to the launch of a betanet. Tezos contributors who opt to interact with this network must understand that it will undergo unscheduled downtime and require maintenance and adjustments. The Foundation anticipates a broader main network («mainnet») launch to follow with transactions from the betanet persisting into the mainnet.

A genesis block will be proposed by the Tezos Foundation at betanet launch. To prepare for this, it is imperative that all contributors verify their donation—regardless of size—to confirm that it was received by the Foundation. The Foundation intends to recommend allocations in this proposed genesis block for donations of any size that were received during the fundraiser, but they must appear in the «Check Your Contribution» tool.

All fundraiser contributors should click on the «Check Your Contribution» link below to access the tool and enter the Tezos public key hash that was included on the PDF document they created during the fundraiser. Only use this link and do not enter any other information besides the public key hash. If the donation does not appear when a public key hash is entered, then it will not be included as a recommended allocation in the genesis block proposed by the Foundation unless additional steps are taken to make sure it is included. Further information is given on the linked page.

CHECK YOUR CONTRIBUTION

The Tezos Foundation hopes that all community members are as excited about the betanet launch as it is!

Press release: Tezos Foundation announces preparations for Betanet launch

Tezos Foundation to support Inria and Tarides

Inria, the French National Institute for computer science and applied mathematics, is a world-class research institution and a main developer of core technologies used in the Tezos protocol, such as OCaml and Coq. Its researchers have been developing OCaml, the functional programming language used to implement Tezos, for several decades. It also created Coq, a proof assistant, to help ensure the correctness of programs, which may be used to formally verify key parts of the Tezos protocol as well as smart contracts.

With the Foundation’s support, Inria will focus on research and other efforts that include: cryptography and cybersecurity, distributed systems, research and development of the OCaml language, formal verification and proofs, and other related technologies. The additional resources provided by the Foundation will allow Inria to establish several internal labs, staff full-time research teams, and generally strengthen their involvement in applications that relate to blockchain technology.

Furthermore, the Tezos Foundation is excited to support Tarides, a Paris-based company led by Thomas Gazagnaire (formerly Citrix, Unikernel Systems, and Docker). Tarides’ research will focus on packaging Tezos as a MirageOS unikernel, which will help participants establish nodes on the Tezos network in a more efficient and secure manner. Lastly, the Tarides team includes authors of the MirageOS unikernel project and has a strong background in both academia and industry.

The Tezos Foundation is committed to funding relevant research and projects that will support and benefit the Tezos protocol, and is pleased to support these exceptional groups. It has previously announced its support of IMDEA Software Institute, OCaml Labs, Obsidian Systems, and the Learn OCaml project.

Tezos Foundation to support OCaml Labs and IMDEA Software Institute

The Tezos Foundation is committed to funding world-class research that will contribute to the Tezos protocol and ecosystem. To that end, the Foundation is proud to announce its support of two additional projects that will greatly contribute to the research, development, and long-term success of Tezos.

In February of this year, the Tezos Foundation announced its support of the «Learn OCaml» project at Inria, the French National Institute for computer science and applied mathematics. To further its continuing goal of promoting the usage and knowledge of OCaml, the functional programming language used to implement Tezos, the Foundation is now partnering with OCaml Labs. OCaml Labs is primarily based at the University of Cambridge Computer Laboratory, with a core staff, graduate students, academic visitors, and industrial collaborators. With the resources provided by the Foundation, OCaml Labs will improve the «Lwt» programming library. Lwt is frequently used by the OCaml community, particularly when it comes to portable threading.

In addition to its support of OCaml, the Tezos Foundation is also establishing a multi-year research, training, and dissemination program with IMDEA Software Institute to address Tezos-related technologies. A non-profit research foundation based in Madrid, Spain, IMDEA Software houses talented researchers in relevant fields including cryptography, computer security, formal verification, distributed systems, and programming languages.

IMDEA’s program will focus on the technology surrounding the Tezos cryptographic ledger and smart contracts, which will help advance developments in privacy, correctness, robustness, and scalability. The Foundation will also offer support to IMDEA’s successful Master’s/PhD program with the Technical University of Madrid to provide additional focus and research on topics related to Tezos.
The Tezos Foundation is excited to be able to support OCaml Labs and IMDEA Software Institute. Exploration of further opportunities with premier research institutions is ongoing and will continue to be announced in upcoming months.

Press Release: Tezos Foundation to support OCaml Labs and IMDEA Software Institute

Preparing for the Launch of the Tezos Network

We’d like to begin by thanking the Tezos community for its incredible support over the past year. We have a number of updates to share today about the Tezos Foundation, development milestones and the planned launch of the Tezos betanet in Q2 and mainnet in Q3 of 2018.

The Tezos community has been running the alphanet, a test network, successfully for well over a year. While this provided valuable engineering insight, there is no substitute for real-world experience. To that end, the Tezos Foundation looks forward to helping to support the launch of a betanet. Tezos contributors who opt to use this network should understand that it will undergo unscheduled downtime and may need fixes and adjustments.

Later when the code review and audits have been completed and the network has sufficiently proved itself, we expect that a broader mainnet launch will follow, with transactions from the betanet persisting in the main network.

Here are some additional updates for our supporters:

As many of you know, the Tezos Foundation now has a capable and competent new board comprised of seven experts from a variety of fields including academia, business, computer science, and investment. We continue to make significant progress towards the launch of the Tezos network and building a robust operational structure and framework for software development, communications, marketing and business development worldwide.

Over the past few months, we have focused on allocating resources where they have been needed most and determining how best to structure our organization for long-term success. As we previously announced, the development team in Paris is already receiving support and resources for expansion. Subsidiaries of Tezos are being set up in Switzerland and France, as well as in other areas to expand our operational structure and enable us to hire the best talent across many geographies. We are also funding the creation of a new website, which, among other things, will provide additional details on participation in the betanet.

Currently, a code review is being conducted by experienced researchers at Inria as well as a separate effort by Least Authority to do a Security Audit of the Tezos codebase.

Lastly, the Tezos Foundation is readying itself to participate in “baking.” In the Tezos network, token holders — not miners — participate in securing the network. This process is called baking. As a token holder, the Tezos Foundation intends to participate in that process with its own tokens. Thus, we are preparing baking nodes for the Foundation, as well as planning for the secure storage of the Foundation’s XTZ holdings.

In regards to the Tezos codebase development, we’d like to call out some major points of progress we have seen as well as milestones to complete before the launch of the Tezos betanet.

Recent Milestones Achieved:

  • Completion of proof-of-stake
    • Tuning of parameters
    • Roll aggregation at delegate level
    • Stake activity monitoring
  • Preparation for external review (being done by Inria)
    • Internal review of the code
    • Documentation
    • Refactoring of the code base
  • Integrating context hashes in block headers (important for checkpointing and light client)
  • Peer blacklisting & whitelisting
  • Unit testing and integration testing (doubled amount of test)
  • Improve CLI wallet:
    • Key encryption
    • Javascript port of the base library
    • Modularization of signature
    • Support for HD wallets
  • Profiling and optimization:
    • Roll snapshot optimization
    • Bench with LMDB
    • Improved locator selection
  • Support for the secp256k1 curve

Milestones to Complete for betanet:

  • Complete multipass validation for single blocks
  • Data accounting
    • Gas cost for (de)serialization and typing
    • storage cost
  • Fix Michelson calling convention to issue operations instead of calls
  • Allow manual override of protocol hashes
  • Finish checkpointing (for validation, not synchronization)
  • Test hardware signatures
  • Improve baking daemon

As we move closer to the Tezos network launch, we are exploring structures for how to effectively provide capital investment into projects to be built on top of Tezos and its ecosystem. More information on this will be coming. We also continue to explore opportunities to fund research topics related to Tezos.

Thank you again for your support as we move toward the launch of the Tezos network. For further reading on recent updates please see the Tezos Foundation Blog, follow us on Twitter @TezosFoundation, and stay tuned for more updates on our new website.

Sincerely,
The Tezos Foundation

Tezos Foundation partners with Obsidian Systems

A key part of the Tezos protocol is its liquid proof-of-stake consensus algorithm through which token holders contribute to the security of the network. This process of securing the Tezos network is called «baking». It can be undertaken directly or delegated to a «baker».

«It is important that individual token holders as well as delegation services have access to appropriate tools and documentation to perform this function. Obsidian will focus on making baking more accessible to everyone and safer through integration with secure hardware components», says Ryan Jesperson, president of the Tezos Foundation. «They will also provide support for those seeking to build delegation services.»

Obsidian Systems LLC designs and develops high quality software solutions to pressing business problems. Their experienced team has delivered mission-critical solutions to a variety of high-profile clients, including several Fortune 500 companies.

Press release: Tezos Foundation partners with Obsidian Systems

Tezos Foundation strengthens support of developers

Following the expansion of the Board, the Tezos Foundation is strengthening its cooperation with the core development team and is providing additional resources and help to support and expand the team. Furthermore, the Foundation has formed a partnership with the OCaml Software Foundation to fund the «Learn OCaml» project at Inria.

The Tezos Foundation is intensifying its efforts to advance its primary objective, the promotion and development of the Tezos protocol. To do so, the Foundation is providing increased resources and support to expand the core development team of Tezos in Paris. This will further expand this world-class team to approximately 35-40 individuals. Recruitment is already underway.

Funds for «Learn OCaml» at Inria
The further development and a long-term success of Tezos requires a solid education of future developers. The Tezos Foundation is therefore committed to advance training of OCaml – the language on which the Tezos Protocol is based. For this purpose, the Foundation supports the project «Learn OCaml» at Inria, the French National Institute for computer science and applied mathematics. This is the first phase of a multi-year project and collaborative relationship.

«Learn-OCaml» aims to promote the usage and knowledge of OCaml in higher-education, with the objective of establishing OCaml as a mainstream programming language. The program will strengthen the implementation of the Tezos protocol and its ecosystem by helping to train talented OCaml programmers. It will include regular updates and executions of an OCaml Open Online Course (MOOC), animations of the OCaml teaching communities, foster the creation and sharing of educational content and design and implement a software infrastructure that is used for providing free self-training in OCaml for students and engineers. «Learn-OCaml» has been designed as a 5-year program.

The Tezos Foundation is also committed to the funding of world-class research that will support the Tezos protocol and ecosystem. Exploration of these opportunities is ongoing with premier research institutions and more information will be announced soon.

Press Release: Tezos Foundation strengthens support of developers