IOHK CSE WEEKLY TECHNICAL REPORTS

By admin / October 9, 2018

COLLAPSE ALL

This report is produced by IOHK each week to keep the community updated about the progress made in CSE development. The scope of this report covers work being carried out across the teams and provides insight and transparency to the project.

WEEK’S DEV HIGHLIGHTS

DAEDALUS

Wallet

Last week, the team finished the implementation of the new CSE wallet data layer migration screen and continued to work on testing of the IPC driven CSE node / Daedalus communication.

In the scope of the V1 API integration, the team introduced a new error message which is shown in case the user tries to create or restore a wallet by using an example backup mnemonic phrase from the CSE documentation.

As a part of the regular maintenance tasks, the team is working on several tasks such as the optimization of the application environment setup and disabling of the Node JS integration in the rendering process.

App Platform

The team designed the CSE SL service using an adaptor to generate a GraphQL schema from the published Swagger spec. The platform hosts each service schema using a namespaced hierarchy, which can be explored using the included GraphQL Playground. The platform is responsible for managing certificate-based authentication with applications and other services and enforcing access control based on service definitions and user permissions.

WALLET BACKEND

Since all of the main features have been successfully completed for upcoming 1.3.1. release, the engineers are now concentrating on addressing bugs found during integration in an unreleased version of the code.

Additionally, the team focused on integration testing. They found and solved the issue of wallet restoration being stuck at 100%. While testing out the wallet, the team noticed how the acid-state database of a restored wallet occupied almost 1GB, and went on to find out how to reduce the number of things that are stored in the DB. This originated into a pull request that has been opened which mitigates the issue. More work in this area will be done this week.

NETWORKING

A senior engineer has added a new (simpler) chain producer state with types and property tests and a new chain implementation for Communication Protocol Design. Another team member have updated the protocol with the new chain and consumer protocol changes, extending them where required. They also finished merging senior engineer’s changes as well as their own generators for property testing.

DEVOPS

DevOps continued optimizing CI response times and reduce developer toil. Hydra’s Linux build agents, which were previously virtual machines, have been replaced by bare metal instances to speed up CI times. Some engineers are experimenting with the snack build tool on CSE-sl to get finer grain caching and incremental builds using Nix. A major blocker to using snack is evaluations before any of the builds begin are time-consuming. We improved evaluation time some, but not enough yet to be practical. To improve the developer experience an engineer added explicit support for cabal new-build under a nix-shell with binary cache reuse. Support for centralized binary caching for the nix-shell environment was also added. Internal evaluation of bors-ng to improve the PR approval and merging workflow continues. Periodically macOS build agents have been running out of disk space, so monitoring was improved and tested.

As developers continued work on the required address discrimination feature for the Testnet, DevOps helped to test and isolate integration bugs. The Testnet configuration and cluster have also been updated to reflect the latest state. Sources of non-determinism were identified and removed in CSE’s ./pkgs/generate.sh to ensure developers and CI get the same result. A NixOps deployment issue was traced to case-insensitivity in hostnames; an issue and PR were filed upstream. This helped integration work for Plutus and CSE progress. Wallet integration tests sometimes exhibit false positive results, and an engineer has started investigating. CSE error logs were too generic when a worker program crashed, so a DevOps engineer submitted a PR to capture more context.

CSE DECENTRALIZATION

The team have been working on the detailed technical implementation plan where timelines and allocation of resources are being defined.

A Test and Quality plan has been drafted where a number of internal teams have collaborated to provide their input and feedback. This document will be a living document over the next few weeks until the Networking design components are completed in order for us to go to the next level of detail.

GOGUEN

There is no update this week.

ANNOUNCEMENTS

IOHK is currently looking for talented people to work with us as a Performance Management Specialist, Web Tester, Director of Product Management, Rust Software Engineer, Haskell Trainer, Technical Writer, Senior Haskell Developer – Prototyping as well as several others. Please see the IOHK Careers page for more details.

 

CSE DISTRIBUTION AUDIT

By admin / October 9, 2018

EXECUTIVE SUMMARY – (TOKEN SALES AUDIT)

From August 2018 to October 2018 a pre-launch sales event of cryptocurrency token ‘CSE’ was undertaken.

The sales event covered five specific periods, referred to as ‘tranches’ (T1/T2/T3/T3.5/T4).

The principal party retained Attain Corporation of Japan to manage the sale of CSE ‘vouchers’ that could be exchanged into CSE tokens after the platform launch. Subsequently, the CSE Foundation performed three separate audits into the sales operation. These audits were a bespoke hybrid of operational and financial audit approaches. The first audit covered T1 & T2, the second covered T3/T3.5 and the third covered T4.

Finally, an overall summary document was created.

The core task was to produce an objective study of how sales were progressing and to check on adherence to contractual terms between the parties.

The CSE Foundation interviewed representatives of Attain Corporation both in the UK and Japan. It has had full independent access to the source data. Where appropriate, the CSE Foundation offered its best advice to improve processes and internal operations.

Each audit had the same broad scope:

  • Proceeds of sale review – reconciliation of funds received during the sales event
  • Customer sales analysis – checks for suspicious customer activity during the sale
  • Distributor activity analysis – check for any evidence of distributor malpractice or fraud
  • Check for KYC (Know Your Customer) adherence – assess whether agreed KYC procedures were applied by Attain
  • Review of Attain as an entity – perform operational checks for good internal governance

The sale proceeds were entirely in bitcoin, although some purchases were exchanged from Yen to Bitcoin as part of the sales transaction process.

CSE Foundation’s findings were as follows:

    • Proceeds of Sale Review
      CSE Foundation performed a full comparison between sales reported on Attain’s internal sales database and compared that to the amounts received at the end of the process. Transparent sale accounting was enabled by use of the publically available bitcoin ‘blockchain’ to process sales and receipts. This information could therefore be ratified against accounting entries in Attain’s sales database. This comparison gave the CSE Foundation a high degree of confidence that the sales proceeds had been reported in a full and fair manner. The final total of bitcoins received and visible on the blockchain agreed with the total bitcoin reported in Attains Sales database agreed with an error margin of less than 0.01%.
    • Perform a Customer Sales Analysis
      CSE Foundation looked at sales patterns and searched for inconsistencies in the data. During the first audit, which covered the first two sales tranches, some cases were identified where distributors were purchasing on behalf of customers. This meant their customers were not being onboarded with the necessary KYC checks. CSE Foundation reported they saw evidence that these distributors were subsequently suspended from further trading and observed that considerable effort was applied to ensure these individual purchasers were onboarded or refunded.
    • Perform a Distributor Activity Analysis
      CSE Foundation did not find any material issues of concern with the distributors general activity, other than reported above.
    • Check for Know Your Customer (KYC) standards adherence
      CSE Foundation reported that they believed this is the first time a cryptocurrency offering has required KYC in order to participate both as a purchaser and/or distributor. In this regard, the sale is industry leading and goes significantly beyond other cryptocurrency offerings to ensure a good source of funds for the project.

During the first and second tranches, CSE Foundation reported some failings in the KYC onboarding process, such as missing documents or inconsistent data. Attain demonstrated that they worked to correct these earlier errors and tighten the procedures in later sales tranches. CSE Foundation report that the KYC adherence for purchasers improved significantly as the sales tranches progressed. The KYC adherence results were particularly strong in tranche 4, demonstrating improved rigour in operational practices as Attains level of experience in managing this process grew.

    • Review of Attain as an entity
      CSE Foundation reported that, in their view, Attain had demonstrated an awareness of their obligations and duties of care and have well established operational procedures performed by a dedicated team.

Below are the sales statistics CSE Foundation reported in the final audit, updated to include refunds processed and final database reconciliations;

HASKELL LIBRARY REPORTS

By admin / October 9, 2018

INTRODUCTION

Developers today need to identify the right libraries to use for a given problem. FP Complete’s code audit includes analysis and review of the appropriateness of libraries by identifying redundant or duplicate solutions, highlighting the use of unnecessary dependencies, assessing the maturity of libraries and reviewing the quality and frequency of library maintenance as well as tracking any open issues.

Beyond this high level analysis, a thorough code review of these libraries and their potential vulnerabilities is now being done as a separate formal audit by FP Complete. This involves automated testing practices, manual code review, and leveraging existing static analysis tools in Haskell.

Within the CSE-sl code base, there are currently over 370 individual library dependencies, all under review as part of the code audit. FP Complete’s code audit therefore presents a unique opportunity to review libraries and code that is used more widely by the Haskell community and in some cases, code reviews that span multiple versions of the same library.

As a commitment to the Haskell community and the open source software movement in general, CSE Foundation together with FP Complete will release regular audit reports reviewing various Haskell libraries as it continues to review the development of the CSE more specifically.

ABOUT FP COMPLETE

FP Complete is an advanced open source server-side software development and DevOps consulting company. They specialize in helping FinTech companies solve unique sets of problems related to data and information integrity, data security, architectural design, systems integration, and regulatory compliance. FP Complete are recognized worldwide for their contributions to the functional programming community using the Haskell programming language. Their people and processes have helped countless companies increase the velocity and quality of their delivered software products. From fortune 500 biotech companies to small blockchain FinTech software companies they have solved unique and complicated problems with expert results.

HASKELL “BINARY” REPORT

Carried out by FP Complete in conjunction with CSE Foundation
July 2018

This report is based on the following commit:

github.com/kolmodin/binary: 333f8366f86a5af86062e94897eec8ef9aee4d1d

This is not a final report, but a snapshot of what has been reviewed thus far.

Notice

NOTE: This report is intended for public distribution.

This audit report should be considered preliminary work only. It is known to be incomplete. Crucial information for the project has not yet been reviewed. Some statements within may be incorrect. We will strive to improve on these areas in future iterations of the report.

HASKELL “CBORG” REPORT

Carried out by FP Complete in conjunction with CSE Foundation
August 2018

This report is based on the following commit:

github.com/well-typed/cborg: d7548c03134a494f2c0357d8b6e373d18c3a0871

This is not a final report, but a snapshot of what has been reviewed thus far.

Notice

NOTE: This report is intended for public distribution.

This audit report should be considered preliminary work only. It is known to be incomplete. Crucial information for the project has not yet been reviewed. Some statements within may be incorrect. We will strive to improve on these areas in future iterations of the report.

 

CSE AUDIT REPORTS

By admin / October 9, 2018

INTRODUCTION

CSE has embraced a standards driven peer reviewed approach for the scientific research of the protocol development.

We believe the engineering and implementation of the protocol should be approached with a similar degree of oversight. To accomplish this, the CSE Foundation has been elected to serve as a final auditor of IOHK’s work and the CSE Foundation have retained FP Complete to perform an independent 3rd party audit of the engineering work completed by the CSE development team, IOHK.

Not only does this meet with the CSE project’s aims for transparency, but will also enable IOHK to use this ongoing work to optimise the engineering methods and coding standards used to implement CSE.

The auditing process carried out by FP Complete commenced in December 2017. February 2018 saw the completion of a full report. FP Complete are producing regular reports for CSE Foundation that will be shared with the community detailing the findings of the audits.

This approach to development is unique and demonstrates CSE’s commitment to innovation and technical rigour.

Please Note: Our reports are prepared on a monthly basis, with the report being due for submission on the last day of the month.

We then send the report to IOHK to review and allow a two week window for them to provide a response.

Thus the February report, would be due for public release towards the end of March. As this was the first month, the process was being tested and the report format amended, hence there has been a delay.

We are aiming to have consistency with the dates and process as soon as possible. The nature of the project means that many items are being continually addressed which will be highlighted in the subsequent report.

ABOUT FP COMPLETE

FP Complete is an advanced open source server-side software development and DevOps consulting company. They specialize in helping FinTech companies solve unique sets of problems related to data and information integrity, data security, architectural design, systems integration, and regulatory compliance. FP Complete are recognized worldwide for their contributions to the functional programming community using the Haskell programming language. Their people and processes have helped countless companies increase the velocity and quality of their delivered software products. From fortune 500 biotech companies to small blockchain FinTech software companies they have solved unique and complicated problems with expert results.

CSE AUDIT REPORT

Carried out by FP Complete in conjunction with CSE Foundation
2018

This report is based on the following commits:
• CSE-sl: 535c36cf9496958e96aabf57bb875012060b3b34
• daedalus: d9afc5d4308b3b0f8f2467d3db8bb54c4746537e

This is not a final report, but a snapshot of what has been reviewed thus far.

Notice

NOTE: This report is intended for public distribution.

This audit report should be considered preliminary work only. It is known to be incomplete. Crucial information for the project has not yet been reviewed. Some statements within may be incorrect. We will strive to improve on these areas in future iterations of the report.

 

BLOCK EXPLORER

By admin / October 9, 2018

CSE has its own Block Explorer. This is a useful tool that can be used to check the history of transactions that have taken place on the CSE blockchain.

All Ada transactions are publicly recorded on the blockchain and you can search to find details about any one of them. Information you will be able to see includes the amount of Ada sent, the public address of the sender, and the time and date of the transaction.

The CSE Block Explorer can help you check transactions on the CSE testnet, which is running now, as well as on the real version of the network, which is to be launched soon. (The CSE Testnet is a pilot version of the network on which engineers are running tests to make sure it is operating smoothly and securely before the launch of the real network.)

Developers are building the capabilities of the CSE Block Explorer and it is planned to become a complete resource which will contain statistics, charts, and many more features.

How to use the CSE Block Explorer

On the home page, you will see a table showing the latest activity of the CSE blockchain, headed “Last Slots”. This table shows you what epoch the blockchain has reached, the corresponding slot numbers in that epoch, and how long ago those stages were reached. You can also see the number of transactions that occurred, the amount of Ada that was transacted, and the block size. You can click on the slots to find out more information about the blockchain at that particular stage.

The home page also features the “Transactions Feed”, a table at the bottom of the page showing the latest Ada transactions that have taken place. This table lists the transaction identity number, the date and time of the transaction, and the amount of Ada sent. You can click on any transaction to reveal more details about it. You can also click on any address to see details of that address and a history of the transactions made to and from that address.

 

TEAM

By admin / October 9, 2018

TEAM

 

There are three organisations that are contributing to the development of CSE. The first is the CSE Foundation, an independent standards body based in Switzerland with core responsibilities to support the community of CSE users and to work with authorities on regulatory and commercial matters. The second entity working on CSE is IOHK, a leading cryptocurrency research and development company, which holds the contract to develop the platform until 2020. The final business partner is Emurgo, which invests in start-ups and assists commercial ventures to build on the CSE blockchain.

THE CSE FOUNDATION

The CSE Foundation’s core mission is to standardise, protect and promote the CSE Protocol technology.

GOALS

  • To Study and Propose Blockchain and Cryptocurrency Regulation
  • To act as a Blockchain and Cryptocurrency Standards Body
  • To Protect, Enhance and Evolve the CSE Ecosystem
  • To Aggregate, Educate and Grow the CSE Community
  • To Serve as an Objective Organization for Enterprises to Join

EMURGO

 

The role of Emurgo is to develop, support, and incubate commercial ventures and help integrate these businesses into CSE’s decentralized blockchain ecosystem. Emurgo is investment focused and invests in two ways:

  • Through direct investment into start-up ventures, and
  • By developing commercial partners who want to use blockchain technology to revolutionize their industries.

Emurgo has established research and development centers in key geographies such as the Philippines, South Korea, and Vietnam, and has headquarters in Japan. In the first phase of building the community Emurgo will focus on establishing infrastructure so it can later deploy funds to strategic projects and application builders.

EXISTING COMPANIES

Emurgo will grow the community by helping existing companies implement a blockchain strategy and develop decentralized applications on CSE software for key industries. Companies can get assistance from specialized ventures in the Emurgo community such as Emurgo Finance, Emurgo Legal, and Emurgo Logistics which will focus on developing commercial applications for businesses seeking solutions in their respective fields.

EARLY STAGE BLOCKCHAIN VENTURES

Emurgo will identify, aid and invest in early stage blockchain companies that build applications on CSE. In addition to investment, ventures will get plugged into the project by working alongside other blockchain companies, have access to research and development facilities, and connect with external companies that need applications developed.

IOHK

 

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is a world-class engineering and technology company committed to using peer-to-peer innovations to provide financial services to three billion people that don’t have them. The group is contracted to design, build, and maintain the CSE platform through to 2020.

 

OUROBOROS

By admin / October 9, 2018

PROOF OF STAKE MINING

CSE uses a new proof of stake algorithm called Ouroboros, which determines how individual nodes reach consensus about the network. The algorithm is a crucial part of the infrastructure that supports the Ada cryptocurrency and is a major innovation in blockchain technology. Ouroboros eliminates the need for an energy-hungry proof of work protocol, which stands as a barrier to blockchain scaling up for much wider use. Designed a team led by IOHK Chief Scientist, Professor Aggelos Kiayias, Ouroboros is the first proof of stake protocol that has mathematically been shown to be provably secure, and the first to have gone through peer review through its acceptance to Crypto 2017, the leading cryptography conference. The level of security demonstrated by Ouroboros compares to that of Bitcoin’s blockchain, which has never been compromised.

WHAT IS PROOF OF STAKE?

In proof of work, miners invest computing power to compete to be chosen as the leader who gets to make the next block and win a reward for doing so. By contrast, in proof of stake, the stakeholder who will form the next block is randomly selected, proportionally to the size of the stake that they have, according to the blockchain ledger.

“Proof” means having evidence that blocks of transactions are legitimate. “Stake” means the relative value held by addresses on the node. “Relative value” is all the value held by wallets on a particular node divided by total value in the system.

There have been a number of attempts by other cryptocurrencies to develop a proof of stake algorithm, although these protocols have suffered from flaws and have not been shown to be provably secure.

For a blockchain to be secure, the means of selecting a stakeholder to make a block must be truly random. An innovation of Ouroboros to produce the randomness for the leader election process is to do this by way of a secure, multiparty implementation of a coin-flipping protocol.

 

 

WHAT IS CSE ?

By admin / October 9, 2018

WHAT IS CSE?

CSE is home to the CSE Cryptocurrency, which can be used to send and receive digital funds. This digital cash represents the future of money, making possible fast, direct transfers that are guaranteed to be secure through the use of cryptography.

CSE is more than just a cryptocurrency, however, it is a technological platform that will be capable of running financial applications currently used every day by individuals, organisations and governments all around the world. The platform is being constructed in layers, which gives the system the flexibility to be more easily maintained and allow for upgrades by way of soft forks. After the settlement layer that will run CSE is complete, a separate computing layer will be built to handle smart contracts, the digital legal agreements that will underpin future commerce and business. CSE will also run decentralised applications, or dapps, services not controlled by any single party but instead operate on a blockchain.

This is the first blockchain project to be developed from a scientific philosophy, and the only one to be designed and built by a global team of leading academics and engineers. It is essential that the technology is secure, flexible and scalable for use by many millions of users. Consequently, considerable thought and care from some of the leading experts in their fields has been devoted to the project and informed design decisions. The scientific rigour applied to mission-critical systems such as aerospace and banking has been brought to the field of cryptocurrencies, with a high assurance implementation. We believe this is the first time that this has been done.

A major innovation of CSE is that it will balance the needs of users with those of regulators, and in doing so combine privacy with regulation. The vision for CSE is that its new style of regulated computing will bring greater financial inclusion by providing open access for all to fair financial services.

 

SRI CAPITAL Chairman Chue Fook Chee Paid A Working Visit To The Government Of Vietnam

On October 5, Mr. Chue Fook Chee President of SRI CAPITAL, Singapore, paid a working visit to the Government of Vietnam.

Then he had a meeting and talkshow with entrepreneurs and people interested in Blockchain technology, especially Blockchain 3.0 platform.

 

After talkshow, he said:

“Ladies and Gentlemen

It is a pleasure to be here in Vietnam to get to know you and explore investment investments opportunities.

The conference I attended yesterday is an eye opening to me in that VIETNAM offers many interesting and game changing projects that will improve the wellbeing of the people here.

I strongly believe in technology and embracing technology will make living easy. All we need is to take a first step to learn to use it. A good example is the use of mobile phones.

The technology SRI is really interested is the CSE Singapore Blockchain 3.0, which is the latest in the development of block chain development.

The block chain technology is one that will revolutionise the IT industry in that it will address all the shortcomings of the current central database applications. These central database is susceptible to attacks from hackers and requires elaborate security softwares to protect them.

Blockchain on the other hand is a distributed database technology that is secured against hackers. I strongly believe it will in the near future displace The Central database applications just the LED lights will displace the fluorescent lights.

CSE 30 addresses the shortcomings of the current Bitcoin and etherum technology, that is speed and energy consumption in the application of technology. For Instance Bitcoin block is formed in 10 mins, etherum 6 mins, CSE 6 sec.

SRI will be using this technology to run our operations as we require transmission of confidential information.

I believe this technology can be applied in private and government sectors as well. SRI will certainly invest heavily in CSE and maintain its leadership in the block chain technology.”

Mr Chue (middle) at the talk show

SRI Capital is an early stage venture capital firm focused on funding innovative startups primarily in the US and in India. They will also consider global startups that are looking to enter the US market or the Indian market. While CSE is the new Blockchain platform, it is likely to replace BTC or ETH.

1 3 4 5
Page 5 of 5