Home
Videos uploaded by user “IOHK”
Charles Hoskinson, CEO, IOHK - What is Cardano?
 
02:48
Charles Hoskinson is a Colorado based technology entrepreneur and mathematician. He attended Metropolitan State University of Denver and University of Colorado at Boulder to study Analytic Number Theory prior to moving into cryptography via industry exposure. His professional experience includes founding three Cryptocurrency related start-ups- Invictus Innovations, Ethereum and IOHK- and a variety of colorful positions in the public and private sector. He was the founding chairman of the Bitcoin Foundation’s education committee and established the Cryptocurrency Research Group in September of 2013. His current projects focus on education of cryptocurrency topics, evangelism of decentralization and making cryptographic tools easier to use for the mainstream.
Views: 24628 IOHK
IOHK | A vision for blockchain in Africa
 
09:26
IOHK's first visit to Africa, in May 2018, began in Ethiopia. Blockchain technology is infrastructure that universally brings benefit. One of the use cases being discussed in Addis Ababa was applying the technology to the supply chain, and IOHK has signed an MOU with Ethiopia’s Ministry of Science and Technology to explore how this could be done in the coffee industry. As Ethiopia is primarily an agricultural economy, agritech is of great interest to its entrepreneurs. Teaching people about how the technology works is important. IOHK does not provide ready-made answers to local issues, but instead works in partnership to transfer knowledge and skills to those truly equipped to make change. IOHK will also provide a course to local developers teaching the programming language Haskell, in which Cardano is built. That will give developers the ability to build applications that they see a need for. The second leg of the Africa trip took place in Rwanda. Charles gave a speech at the Transform Africa Summit 2018, and at the Impact Hub Kigali, where people collectively had a spirit of enthusiasm about using technology to improve society. In this video, Charles Hoskinson, CEO of IOHK, talks about the company’s vision for Africa and explains the the steps it hopes to take in the following months. More information is coming soon on IOHK and Africa strategy, and will be outlined by the Director of African Operations, John O’Connor. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The source for all things Cardano https://www.cardano.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com
Views: 11703 IOHK
IOHK | Cardano Rust Project - CEO Charles Hoskinson
 
05:04
In this video, IOHK CEO Charles Hoskinson talks about the inspirations and the development process behind the Cardano Rust project. The Cardano Rust project has created a toolbox of Cardano’s cryptographic primitives for third-party developers written in the Rust programming language. It is IOHK’s first open source project, providing a library of wallet and node functions – and a wallet for Ada, the most precisely engineered cryptocurrency yet. IOHK’s engineers aim to open up Cardano to more developers with an open source library and encourage the worldwide community to build up this resource. Rust is a lightweight, portable and ‘blazingly fast’ language. It compiles to the web, iOS and Android, platforms that are popular with many third-party developers. The Cardano Rust Project sits alongside the Haskell-based Cardano settlement layer as an open source sandbox for developers who want to build and integrate their own apps, including products for mobile devices. With the command line interface wallet is a development kit. The repository is open and the aim is for the project (known internally as Prometheus) to develop into a thriving community. In time, the Cardano Rust project will become open to many more developers as programming languages are added in addition to Rust. There will be regular updates as the project progresses. In summary, this open source library opens up the Cardano blockchain to a wider range of third parties. They will be able to build wallet applications, integrate new or existing products into the platform and speed up the decentralisation of the Cardano system. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 6416 IOHK
IOHK | Ouroboros Praos Scalability
 
01:54
Ouroboros Praos is a novel proof-of-stake protocol designed by IOHK researchers, Bernardo David, Peter Gaži, Aggelos Kiayias and Alexander Russell. The previous protocol, Ouroboros, is the blockchain protocol underpinning Cardano, a top ten cryptocurrency by market capitalization. Ouroboros Praos improves scalability compared to Ouroboros, thanks to the different way of generating randomness for the protocol. The Ouroboros protocol stands out as the first proof of stake algorithm that is provably secure, meaning that it offers security guarantees that are mathematically proven. This is essential for a protocol that is intended to be used in cryptocurrency, an infrastructure that must be relied on to carry billions of dollars worth of value. In addition to security, if blockchains are going to become infrastructure for new financial systems they must be able to comfortably handle millions of users. The key to scaling up is proof of stake, a far more energy efficient and cost effective algorithm, and as such this research represents a significant step forward in cryptography. Ouroboros also has the distinction of being implemented – the protocol will be an integral part of Cardano, a blockchain system currently in development. https://iohk.io/team/aggelos-kiayias/ https://iohk.io/team/bernardo-david/ https://iohk.io/team/peter-gazi/ -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ --
Views: 4726 IOHK
IOHK | Prof. Philip Wadler, area leader, programming languages.
 
07:56
Developing Cardano is no small feat. There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. We are extremely proud of Cardano, which required a months-long meticulous and painstaking development process by our talented engineers. Read Prof. Wadler's latest blog on Simplicity and Michelson here: https://iohk.io/blog/simplicity-and-michelson/ Learn more about Plutus Core here: https://iohk.io/research/papers/#JT5XKNBP An Ontology for Smart Contracts here: https://iohk.io/research/papers/#QCNR6SCZ Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, winner of the SIGPLAN Distinguished Service Award, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 66 with more than 20,000 citations to his work, according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O’Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich. https://iohk.io/team/philip-wadler/ AWARDS SIGPLAN Distinguished Service Award, 2016. http://www.sigplan.org/Awards/Service/ ACM Fellow, 2007. Fellow Royal Society of Edinburgh, 2005. https://www.rse.org.uk/ Wolfon-Royal Society Research Merit Award, 2004–2009. https://royalsociety.org/grants-schemes-awards/grants/wolfson-research-merit/ EUSA Teaching Awards, Overall High Performer, runner up, 2009. https://www.eusa.ed.ac.uk/404/?url=/teachingawards/winners0809/ Most Influential POPL Paper Award 2003 (for 1993), Imperative functional programming, by Simon Peyton Jones and Philip Wadler. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardano https://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ —
Views: 9676 IOHK
IOHK | Ethereum Classic Summit in Seoul 2018 - Charles Hoskinson
 
03:50
In this video, IOHK CEO Charles Hoskinson talks about the significant development of the Mantis client, capable of not only interoperable with the Ethereum Classic ecosystem, and soon the Ethereum ecosystem. The purpose of IOHK's presence at the summit is to demo the progress the team has made, the lessons we've learnt with Mantis, to have discussions with the community, and conversations on other potential collaborations. https://iohk.io/projects/ethereum-classic/ https://etcsummit.com/ Ethereum Classic remains a nascent but exciting technology that can enhance the ways that information and value are shared in a digital economy. Featuring a flexible and intuitive smart contract programming platform that is powered by ETC, Ethereum Classic can propel the development of a global, secure, and decentralized Internet of Things. Why Ethereum Classic? Ethereum Classic (ETC) is a continuation of the original Ethereum blockchain – the classic version preserving untampered history; free from external interference and subjective tampering of transactions. ETC is a next generation digital currency united with an intuitive programming platform. This allows software developers of all skill sets to build the next wave of market disrupting decentralized applications (Dapps) that can change the world.
Views: 3215 IOHK
IOHK | Development update, Shelley - Duncan Coutts, November 2018
 
05:51
In this video update, IOHK Director of Engineering, Duncan Coutts, provides an update on the Byron phase of development, which is drawing to its conclusion, and explains the outline of development for the Shelley phase. During Shelley, work will be done that contributes to stability, interoperability and governance. Throughout the arc of development, Cardano’s protocols will increase in complexity, interdependence and use more exotic cryptographic primitives. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 3737 IOHK
IOHK | Cardano whiteboard; overview with Charles Hoskinson
 
49:52
Developing Cardano is no small feat. There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. We are extremely proud of Cardano, which required a months-long meticulous and painstaking development process by our talented engineers. Recently, IOHK research – our Ouroboros and SCRAPE papers – were also accepted to two major conferences, ACNS in Japan, and Crypto 2017 in the US, and we were very proud our work has been recognised by the academic community and has been peer reviewed. A major exchange that has agreed to list Ada at launch has also been integrating with Cardano’s network. As a result, we have been adding some recommended features and minor changes. Also see Bitsonline.com Interview: All About Cardano With Charles Hoskinson. Filmed on location at Input | Output's Blockchain technology lab, Tokyo Institute of Technology - 東京工業大学 that same day here: https://youtu.be/cr7VWMsKa88-- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardanohttps://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ —
Views: 392117 IOHK
IOHK | Opportunities & Projects in Rwanda - CEO Charles Hoskinson
 
04:57
In May, the IOHK team visited Africa, heading first to Ethiopia. Rwanda was the next stop for IOHK. In this video, Charles speaks about his recent invite to speak at the Transform Africa Summit, and shares his thoughts on the potential for blockchain both there and in the rest of the continent. The Transform Africa Summit held in Kigali, Rwanda on 28th-31st October 2013 culminated in the adoption of the Smart Africa Manifesto document by 7 African Heads of States in which they committed to provide leadership in accelerating socio-economic development through ICT’s. On 30th-31st January 2014, The SMART Africa Manifesto was endorsed by all Heads of State and Government of the African Union at the 22nd Ordinary Session of the Assembly of the African Union in Addis Ababa. This development places the Manifesto at the heart of the ICT agenda in Africa beyond just the 7 original signatories at the Summit to all the 53 African countries. SMART AFRICA ALLIANCE The Alliance is a framework for implementation, monitoring and evaluation of the SMART Africa Manifesto, designed to make it actionable. Currently, the Alliance is a partnership bringing together all African countries adhering to the Manifesto represented by the AU, the ITU, World Bank, AfDB, ECA, the GSMA, ICANN and the Private Sector. Besides its initial membership, other organizations and countries sharing the same vision, interests and goals will be admitted to the Alliance. PILLARS OF SMART AFRICA The SMART Africa has 5 pillars which reflect the 5 principles of the Smart Africa Manifesto. These pillars are (1) Policy, (2) Access, (3) e-Government, (4) Private Sector/Entrepreneurship and (5) Sustainable Development. https://smartafrica.org/ SMART AFRICA ENABLERS The pillars mentioned above are built on four, cross-cutting enablers which will support the implementation of SMART Africa. These enablers are (1) Innovation; (2) Communications and Advocacy; (3) Capacity Building; and (4) Resource Mobilization. The 5 pillars and 4 enablers when effectively developed and combined will contribute to Economic Growth and Job creation, which remains the ultimate goal of the Smart Africa Manifesto. https://transformafricasummit.org/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/
Views: 3592 IOHK
Jeremy Wood, CSO, IOHK - What is Cardano?
 
03:08
Immediately upon finishing Indiana University-Purdue University Indianapolis, Jeremy Wood packed a suitcase and bought a one-way ticket to Asia. Living in Osaka, Japan since 2008 Jeremy was bitten by the crypto-bug in 2013 and is a founding member of the Kansai Bitcoin Meet-up. He soon became entranced by the potential of next generation blockchains and joined Ethereum at the end of 2013, managing operations. After leaving Ethereum, Jeremy consulted on cryptocurrencies before starting Input Output with Charles Hoskinson in 2015. Jeremy believes that the future of fintech will progress only through experimentation and research, and by promoting collaboration between diverse groups and organizations.
Views: 4012 IOHK
IOHK | Charles Hoskinson at Eurocrypt 2018
 
02:16
IOHK, a leading blockchain research and development company, announced earlier this year that its research paper describing Ouroboros Praos, an adaptively secure proof-of-stake algorithm, has been accepted to Eurocrypt 2018. The flagship conference, hosted in Tel Aviv, Israel by the International Association for Cryptologic Research (IACR), is one of the most prestigious academic events in the cryptography field. The process of academic peer review for Eurocrypt is notoriously tough, and the large majority of papers submitted for consideration are rejected. In this video, IOHK CEO Charles Hoskinson talks about the history of Eurocrypt and the opportunity for the cryptographic community to come together for the presentation of the best papers in the industry. Background Reading The protocol is described in the paper published at https://eprint.iacr.org/2017/573 which was accepted to Eurocrypt and will be presented at the conference in Tel Aviv. Ouroboros Praos builds upon an earlier version of the protocol, sometimes referred to as Ouroboros, given in a previous paper https://eprint.iacr.org/2016/889 accepted to Crypto 2017. The previous protocol, Ouroboros, is the blockchain protocol underpinning Cardano, a top ten cryptocurrency by market capitalization. Why We Are Building Cardano (https://whycardano.com/) -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The source for all things Cardano https://www.cardano.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com
Views: 4659 IOHK
IOHK | PMO Project Goguen April 2018 update
 
05:45
In this update, project manager Gerard Moroney talks about the forthcoming capabilities for Cardano. He explains the two testnet releases for Goguen - the KEVM testnet and the IELE Virual Machine testnet - outlines the work that has been taking place on the project and gives expected dates for release. https://iohk.io/team/gerard-moroney -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 10674 IOHK
Input Output | Inside the company
 
02:48
A short video presentation looking at some of the people working inside IOHK, the company. Filmed on location in Malta 2017. Malta was a great opportunity to come together to get to have a much needed face-to-face workaway. We have a distributed team and are usually spread across the world and across time zones. Almost 40 of IOHK’s researchers, developers, executives, and operations staff collaborated for up to two weeks, working to push forward major projects, as well as spending time getting to know each other in the evenings. Blog post on Malta: https://iohk.io/blog/a-trip-to-malta-and-a-grothendieck-milestone/ Read More about IOHK in the recent Coindesk article by Amy Castor (@girlandgrowl): http://www.coindesk.com/no-incentive-algorand-blockchain-sparks-debate-cryptography-event/ @Coindesk More about IOHK: https://iohk.io/about/ IOHK is a company focused on distributed technology. With operations in Hong Kong, Japan and Europe, and employees and partners from Latvia, the Netherlands, Austria, France, Ukraine, Argentina and Brazil in addition to its multinational core members, IOHK is a truly global company despite its short history. We not only aim to cause disruption with our technology, but also with the way we organize a group of talented and motivated people around the same vision and passion. Profiles: Jane Wild COMMUNICATIONS DIRECTOR LONDON, UNITED KINGDOM https://iohk.io/team/jane-wild/ George Agapov CARDANO SL CORE DEVELOPER TEAM SEROKELL SAINT PETERSBURG, RUSSIA https://iohk.io/team/george-agapov/ Jacob Mitchell DEVOPS ENGINEER SEATTLE, UNITED STATES https://iohk.io/team/jacob-mitchell/ Philipp Kant, PhD CARDANO SL DEVELOPER TEAM HASKELL BERLIN, GERMANY https://iohk.io/team/philipp-kant/ Tamara Haasen CORPORATE CULTURE OFFICER TORONTO, CANADA https://iohk.io/team/tamara-haasen/ -- We are always looking for talented and motivated people to join our team, and more importantly to collaborate with. Our goal is to cause cascading disruption and there are many ways to be a part of it. If you feel like you have something to contribute, whether directly to IOHK or one of its projects, please do not hesitate to contact us. https://iohk.io/careers/
Views: 17568 IOHK
IOHK | PMO Project Goguen May 2018 update
 
07:21
In this update, project manager Gerard Moroney talks about the progress in the last month on Project Goguen; the initiative to deliver smart contracts capability to the Cardano platform. Among other achievements, we've launched our testnet where users can experiment with executing smart contracts written in Solidity. https://testnet.iohkdev.io/goguen/ https://iohk.io/team/gerard-moroney -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 2860 IOHK
IOHK | Peter Gaži - Overview of Ouroboros Praos and Ouroboros Genesis
 
02:34
In this video, Dr. Peter Gaži explains the research by giving an overview of both Ouroboros Praos and Ouroboros Genesis. With Ouroboros Genesis, for the first time, new users joining the blockchain can bootstrap from the genesis block, and do not need a checkpoint block or any prior knowledge of the number of users active in the system. This feature was previously not possible in proof of stake distributed ledgers while it was a hallmark of proof-of-work protocols. This means that Ouroboros can now match the security guarantees of proof-of-work protocols like Bitcoin in a way that was previously thought infeasible. This advancement is the culmination of a research path that systematically tackled challenges in proof of stake, beginning with Ouroboros, progressing to Ouroboros Praos, and now reaching Ouroboros Genesis. Read the research paper "Composable Proof-of-Stake Blockchains with Dynamic Availability" here: https://iohk.io/research/papers/#AQZE2XCV Ouroboros | IACR Crypto-2017 https://youtu.be/NlmD8W8cEoA IOHK | Developing a secure proof of stake algorithm https://youtu.be/a6G3M2ZQEXc Peter Gaži did his master studies in Computer Science at Comenius University in Bratislava, and obtained his PhD. in Cryptography from ETH Zurich under the supervision of Prof. Ueli Maurer. Later he worked as a postdoc in the Cryptography research group of Prof. Krzysztof Pietrzak at Institute of Science and Technology Austria. Currently, he is a full-time research fellow at IOHK. Peter’s research interests include problems related to security analysis of symmetric cryptography constructions, hash functions and memory-hard functions. His work at IOHK is mostly focused on cryptocurrencies and blockchains. https://iohk.io/team/peter-gazi/ -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1586 IOHK
IOHK | Consensus protocols - proof of stake and proof of work
 
02:39
Charles Hoskinson is a Colorado based technology entrepreneur and mathematician. He attended Metropolitan State University of Denver and University of Colorado at Boulder to study Analytic Number Theory prior to moving into cryptography via industry exposure. His professional experience includes founding three Cryptocurrency related start-ups - Invictus Innovations, Ethereum and IOHK - and a variety of colorful positions in the public and private sector. He was the founding chairman of the Bitcoin Foundation’s education committee and established the Cryptocurrency Research Group in September of 2013. His current projects focus on education of cryptocurrency topics, evangelism of decentralization and making cryptographic tools easier to use for the mainstream. https://iohk.io/team/charles-hoskinson/ Developing a secure proof of stake algorithm is one of the big challenges in cryptocurrency, and a proposed solution to this problem won the attention of the academic community. Several hundred cryptographers from around the world arrived at the University of California Santa Barbara on Sunday for the flagship annual event of their field, Crypto 2017. Over several days, they present cutting edge research for the scrutiny of their peers, while in the evenings they continue discussions with friends and colleagues over dinner on the university campus, with the inspiring backdrop of the Santa Ynez mountains meeting the Pacific ocean behind them. https://iohk.io/press/ Ouroboros, developed by a team led by IOHK chief scientist Aggelos Kiayias, made it through a tough admission process for the prestigious conference. This year, 311 papers were submitted and of those 72 were accepted. Only three papers at the conference were on the subject of blockchain. All three papers were supported by IOHK funding. Speaking after his presentation, Professor Kiayias said: “We’re very happy that we had the opportunity to present Ouroboros at the conference. The protocol and especially its security analysis were very well received by fellow cryptographers.” “Our next steps will be to focus on the next version of the protocol, Ouroboros Praos which improves even further the security and performance characteristics of the protocol.” The Ouroboros protocol stands out as the first proof of stake algorithm that is provably secure, meaning that it offers security guarantees that are mathematically proven. This is essential for a protocol that is intended to be used in cryptocurrency, an infrastructure that must be relied on to carry billions of dollars worth of value. In addition to security, if blockchains are going to become infrastructure for new financial systems they must be able to comfortably handle millions of users. The key to scaling up is proof of stake, a far more energy efficient and cost effective algorithm, and as such this research represents a significant step forward in cryptography. Ouroboros also has the distinction of being implemented – the protocol will be an integral part of Cardano, a blockchain system currently in development. https://iohk.io/research/papers/#XJ6MHFXX https://iohk.io/projects/cardano/ There were two other papers presented at the bitcoin session on Monday. The Bitcoin Backbone Protocol with Chains of Variable Difficulty, was produced by a team of three researchers and included Prof Kiayias. It is a continuation of previous research into Bitcoin, which was itself the first work to prove security properties of its blockchain. A third paper on the subject of bitcoin was presented, Bitcoin as a Transaction Ledger: A Composable Treatment. Other notable talks at the conference included a presentation by John Martinis, an expert on quantum computing and former physics professor at the University of California Santa Barbara, who is now working at Google to build a quantum computer. Leading cryptographers at the conference included Whitfield Diffie, pioneer of the public key cryptography that made Bitcoin possible, and Ron Rivest, Adi Shamir, and Leonard Adleman, who came up with the RSA public-key cryptosystem that is widely used for secure data transmission. https://www.forbes.com/sites/amycastor/2017/08/23/at-crypto-2017-blockchain-presentations-focus-on-proofs-not-concepts/#6e558d1a7b70 https://iohk.io/team/aggelos-kiayias/ https://iohk.io/team/bernardo-david/ https://iohk.io/team/peter-gazi/ -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ --
Views: 2550 IOHK
IOHK | Cardano First-Anniversary Montage
 
01:25
To celebrate the first anniversary for the Cardano project, IOHK has created a video montage of all of the best moments of the project in the past year. Explore more of Cardano here: https://cardanoroadmap.com/ https://cardano.org Watch the IOHK Cardano whiteboard videos here: https://www.youtube.com/playlist?list=PLnPTB0CuBOBxDBrD4-ZflYF6y3L3jMUOs -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 2362 IOHK
IOHK | PMO Project Shelley August 2018 Update
 
04:55
In this update, IOHK project manager Liz Bancroft-Turner provides a Project Shelley update. She explains the Shelley Project and its overarching goal, how it's broken down into manageable workstreams and outlines the key deliverables. https://iohk.io/team/liz-bancroft -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 3258 IOHK
IOHK | Formal Methods - Philipp Kant
 
04:21
In this video, IOHK's Philipp Kant discussed the importance of formal methods and why we use this at IOHK. This video was recorded on location at the IOHK QuviQ training in Regensburg, Germany. Background: At IOHK, we are committed to deliver high quality software and providing the training that is necessary for this. We collaborated with QuviQ to provide functional correctness training for our developers. The training agenda was developed by Andres Löh (from Well-Typed) and Lars Brünjes (IOHK Director of Education) in collaboration with John Hughes from Quviq. https://iohk.io/team/philipp-kant/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1309 IOHK
IOHK | Opportunities & Projects in Rwanda - John O'Connor Director of African Operations
 
02:03
In this video, the IOHK team visited Africa in May, heading first to Ethiopia. Rwanda was the next stop for IOHK, and Director of African Operations, John O'Connor, talks about the potential for blockchain both there and in the rest of the continent. Read more from John here: https://iohk.io/blog/how-cardano-can-help-development-in-africa Read more about Cardano here: https://cardano.org -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/
Views: 1300 IOHK
IOHK | PMO Project Shelley September 2018 Update
 
05:27
In this update, IOHK project manager Liz Bancroft-Turner provides a Project Shelley update. She explains the Shelley Project and its overarching goal, how it's broken down into manageable workstreams and outlines the key deliverables. https://iohk.io/team/liz-bancroft -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 3688 IOHK
IOHK | Cardano: Shelley Update. March 2018.
 
12:17
Throughout Q2 and Q3 of 2018 the features of Shelley will be released, starting with delegation and stake pool testnets. Duncan Coutts, IOHK Director of Engineering, explores the progress of Shelley. Duncan has more than 15 years' programming experience with Haskell and is a well-known member of the Haskell community. He helps maintain several popular libraries and tools including Cabal and ByteString. He has several years' experience in packaging the Haskell toolchain and took a leading role in establishing the Haskell Platform. He holds a first-class degree in Computation and a D.Phil in Computer Science, both from Oxford University. He has published papers at international conferences, including ICFP. His research focus is on generating high performance code from idiomatic high-level Haskell code. This included co-authoring the ByteString and Binary libraries and work on stream fusion for lists. He has five years' experience teaching computer science, including four years spent teaching Haskell to mature students at graduate level. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardanohttps://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ —
Views: 26840 IOHK
IOHK | Importance of Functional Correctness Training - Duncan Coutts
 
04:59
In this video, IOHK Director of Engineering, Duncan Coutts, talks about the importance of functional correctness training for the developers at IOHK, and also how this can help bridge the gap between research and software development. This video was recorded on location at the IOHK QuviQ training in Regensburg, Germany. Background: At IOHK, we are committed to deliver high quality software and providing the training that is necessary for this. We collaborated with QuviQ to provide functional correctness training for our developers. The training agenda was developed by Andres Löh (from Well-Typed) and Lars Brünjes (IOHK Director of Education) in collaboration with John Hughes from Quviq. https://iohk.io/team/duncan-coutts/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1662 IOHK
IOHK | CEO Charles Hoskinson's Presentation and Q&A at the Cardano Meetup in Tel Aviv
 
40:52
In this video, IOHK CEO Charles Hoskinson shares his vision for the Cardano project and introduces Ouroboros to the highly engaged audience at the Cardano meetup in Tel Aviv, finished off with a Q&A session. Presentation: 0:00 - About IOHK 1:27 - Israel 2:35 - Cardano Q&A: 14:06 - What is Cardano's smart contract model? 18:49 - Is an ecosystem based on PoS sustainable? (Not answered, the Ouroboros scientist were also there to present about it later.) 19:35 - Future of Bitcoin and the Lightning Network? Sustainability of PoW? 25:06 - Future of banks? 32:55 - Are banks and governments against cryptocurrencies? 35:29 - Governance in Cardano? -- The source for all things Cardano https://www.cardano.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why We Are Building Cardano (https://whycardano.com/) -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/
Views: 10071 IOHK
IOHK Research | Dionysis Zindros, Sidechains
 
52:10
IOHK's Research fellow, Dionysis Zindros presents a talk on Sidechains. Filmed on location in Lisbon, Portugal at the IOHK Global Summit 2018. The idea behind sidechains is that they will allow multiple blockchains to work with one another, as opposed to traditional cryptocurrencies where each blockchain is independent. As such, sidechains are a key component of third generation blockchains in that they enable interoperability. An asset on one blockchain would be able to be moved to another and back without going through a counterparty. Sidechains are being developed for use in Cardano, a third generation blockchain being designed and built by IOHK. -- Dionysis is a PhD student in cryptography and blockchain technologies at the University of Athens, working under professor Aggelos Kiayias. His research interests include blockchain foundations, provable security of the permissionless consensus layer, decentralized trust, and compression security. He has published and presented at world-class conferences such as Black Hat, Financial Crypto, Real World Crypto, FOSDEM, BSides, ECESCON, FOSSCOMM. He is the co-founder of OpenBazaar, the first cryptocurrency-based anonymous decentralized marketplace. Some of his important contributions to the field include Rupture, a compression attack framework; and Trust is Risk, the first Sybil-resilient decentralized trust network. Read the latest article here: https://www.coindesk.com/sidechains-breakthrough-almost-everyone-bitcoin-missed/ Read the paper here: https://iohk.io/research/papers/#67CHCNP8 -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardanohttps://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ —
Views: 3016 IOHK
IOHK | Cardano Launch Event
 
07:59
The technology was conceived in an Osaka restaurant more than two years ago and from that small beginning Cardano has been built into a leading cryptocurrency. The project has amassed a team of experts in countries around the world, has generated more than 67,000 lines of code, and has a strong and growing community in countries across Asia and beyond. Along the way, Cardano has set new standards for cryptocurrencies with best practices such as peer review and high assurance methods of software engineering. The official launch was held in the district of Shibuya in Tokyo on Saturday October 14 for an audience of about 500 people, who had each won a ticket through a lottery held on social media. Excited cryptocurrency enthusiasts, Ada holders and business people from across Japan queued to get Cardano t-shirts and souvenir physical Ada coins, before going into the main hall to hear about how Cardano was created and the vision for its future. “The first thing we did when we knew the project was real was to build great partnerships,” Charles Hoskinson, founder and CEO of IOHK, told the audience. “Our chief scientist is based at University of Edinburgh, it is a wonderful place, where they built the heart of Cardano. We have a lot of wonderful people at the University of Athens, they are rigorous, making sure that the theory works. And we have people at Tokyo Tech who work on multi party computation and look to the future, and work out how to make Cardano last a long time.” The vision for Cardano, Hoskinson said, was that it would pull together academic research and bright ideas from computer science to produce a cryptocurrency capable of much more than its predecessors. This “third generation” cryptocurrency would be able to scale to a billion users, using a proof of stake algorithm, Ouroboros, which avoided the huge energy consumption of proof of work cryptocurrencies. Features that would be added to Cardano to help it scale included sidechains, trusted hardware, and RINA, or recursive internetwork architecture. Sustainability would be part of the design by way of a treasury system to fund development indefinitely, allowing stakeholders to vote on proposed changes to the protocol. Meanwhile, the computation layer of the technology, would be innovative in using a tool called K Framework to allow developers to write smart contracts in the programming language of their choice, he said. Security is paramount to cryptocurrency because flaws in code increase the risk of hacks and the loss of coin holder funds, unfortunately witnessed too often. With that in mind, Duncan Coutts, head of engineering at IOHK, explained how the company approaches software development: cryptography research papers are translated into code using the technique of formal specification. This involves a series of mathematical steps that progressively take the cryptography closer to the code that the developers write, a process that allows checks to be made that the specifications are indeed correct. After the presentation crowds formed outside the hall to have their photos taken with the Cardano team. Some people who came along were longstanding supporters of the project, such as Naomi Nisiguchi, from Mie Prefecture. She works as a manager in the construction industry and has had an interest in cryptocurrency for four years. “Around two years ago I heard about Ada and that Charles Hoskinson was involved,” she said. “I’ve been following the news on Facebook and I’m very interested to learn how the project will move on.” iohk.io/about
Views: 7483 IOHK
IOHK | Africa tour, May 2018
 
04:14
The IOHK team visited Africa in May, heading first to Ethiopia. Working with the Ministry of Science and Technology, we held the first blockchain forum in Addis Ababa, where ministers and government officials, business people and entrepreneurs came together to discuss how blockchain technology could be applied in Ethiopia. Charles Hoskinson signed a Memorandum of Understanding with the Minster of Science and Technology that laid out how IOHK would train Ethiopian software developers. IOHK will also work with local partners to explore using Cardano in the supply chain for coffee, Ethiopia's biggest export. John O'Connor, Director of African Operations, explains the agreement that was signed with the Ethiopian government and how IOHK will work in partnership with it. Rwanda was the next stop for IOHK, and John talks about the potential for blockchain both there and in the rest of the continent. Read more from John here: https://iohk.io/blog/how-cardano-can-help-development-in-africa -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The source for all things Cardano https://www.cardano.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com
Views: 3323 IOHK
IOHK | Daedalus - Pinning to Windows Taskbar Issue - Video Tutorial
 
02:16
Pinning the Daedalus icon to Windows taskbar can prevent Daedalus from connecting to the network. Watch the video explaining this issue and explaining how to properly pin Daedalus to the Windows taskbar. Daedalus is a highly secure wallet for the Ada cryptocurrency. Download and install it so you can use it to safely store your Ada. Daedalus will add more cryptocurrencies and be developed over time along with Cardano, to become a universal wallet, blockchain application platform and an app store. For more support on Daedalus, please visit: https://daedaluswallet.io/faq/#support https://daedaluswallet.io/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1210 IOHK
Charles Hoskinson | Nexus Conference 2017
 
41:43
Cryptocurrencies face problems of governance, interoperability and sustainability, and these challenges will have to be solved for cryptocurrencies to become more useful systems. Charles Hoskinson, CEO and co-founder of IOHK explains these issues and talks about the solutions, followed by a lively Q&A session with the audience. @nexus_aspen2017 http://www.nexusearth.com/conference.html Charles Hoskinson is a Colorado based technology entrepreneur and mathematician. He attended Metropolitan State University of Denver and University of Colorado at Boulder to study Analytic Number Theory prior to moving into cryptography via industry exposure. His professional experience includes founding three Cryptocurrency related start-ups - Invictus Innovations, Ethereum and IOHK - and a variety of colorful positions in the public and private sector. He was the founding chairman of the Bitcoin Foundation’s education committee and established the Cryptocurrency Research Group in September of 2013. His current projects focus on education of cryptocurrency topics, evangelism of decentralization and making cryptographic tools easier to use for the mainstream. https://iohk.io/team/charles-hoskinson/ http://www.nexusearth.com/conference.html -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano Portfolio Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Launch Final development steps for main net launch https://cardanolaunch.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io Cardano Testnet Experiment with with the test net https://tada.iohk.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ IOHK YouTube Watch Input Output https://www.youtube.com/c/iohkio
Views: 37891 IOHK
IOHK | Meredith Patterson
 
08:12
Meredith Patterson is an American technologist, science fiction writer, and journalist. She has spoken at numerous industry conferences on a wide range of topics. She is also a blogger and software developer, and a leading figure in the biopunk movement. Patterson is known for her work in computational linguistics and its applications to computer security. In 2005, she presented the first parse tree validation technique for stopping SQL injection attacks at the Black Hat conference in Las Vegas. https://en.wikipedia.org/wiki/Meredith_L._Patterson Why Ethereum Classic? Ethereum Classic (ETC) is a continuation of the original Ethereum blockchain – the classic version preserving untampered history; free from external interference and subjective tampering of transactions. Read about the ETC summit here: https://iohk.io/blog/ethereum-classic-community-come-together-at-successful-hong-kong-summit ETC is a next generation digital currency united with an intuitive programming platform. This allows software developers of all skill sets to build the next wave of market disrupting decentralized applications (Dapps) that can change the world. What are the goals of Ethereum Classic? Our goal is to securely and methodically establish a strong ecosystem, with a solid foundation and immutability at its core. A platform where developers are able to write code that can run as intended, without downtime or interference from a third party. We intend to carefully build every aspect of the Ethereum Classic network. Whether it is a big core infrastructure project or a small Dapp development team experimenting, we will uphold our principles of security, consistency and immutability. It is our belief that adherence to these values will ensure the Ethereum Classic network is built upon a strong, stable foundation. It is this stable foundation that will cultivate growth of the next wave of applications often referred to as the Internet Of Things. How can I get involved with Ethereum Classic? Ethereum Classic is an open source project with numerous ways to participate and contribute. Most of the community discussion takes place on Slack but there are many open communication channels. Please see our call to action post on reddit for more information. Leran about Cardano here: -- The Cardano PortfolioThe Cardano HubThe source for all things Cardano https://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/
Views: 3977 IOHK
IOHK | QuviQ Functional Correctness Training - John Hughes
 
16:27
At IOHK, we are committed to deliver high quality software and providing the training that is necessary for this. We collaborated with QuviQ to provide functional correctness training for our developers. The training agenda was developed by Andres Löh (from Well-Typed) and Lars Brünjes (IOHK Director of Education) in collaboration with John Hughes from Quviq. In this video, John Hughes from QuviQ, a prominent figure in Haskell programming, talks about why he established QuviQ, what is Haskell and property testing, and his view on the importance of property based testing in software development. Director of Education: https://iohk.io/team/lars-brunjes/ QuviQ: http://www.quviq.com/ Well-Typed: http://www.well-typed.com/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1651 IOHK
IOHK | Markulf Kohlweiss, Zk-SNARKs & Zero Knowledge Proofs Research.
 
04:58
Markulf Kohlweiss is Senior Lecturer in the Security and Privacy research group at the University of Edinburgh. He holds a PhD in cryptography from the KU Leuven and was a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group. His research interests lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations. He contributed to the Identity Mixer anonymous credential system at IBM Research Zurich and is a founding member of the miTLS project (now project Everest), a verified implementation of the TLS standard. For the latter work he received the Levchin prize for real world cryptography. https://iohk.io/team/markulf-kohlweiss/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1305 IOHK
IOHK | What is Proof of Stake?
 
07:23
The Ouroboros protocol stands out as the first proof of stake algorithm that is provably secure, meaning that it offers security guarantees that are mathematically proven. This is essential for a protocol that is intended to be used in cryptocurrency, an infrastructure that must be relied on to carry billions of dollars worth of value. In addition to security, if blockchains are going to become infrastructure for new financial systems they must be able to comfortably handle millions of users. The key to scaling up is proof of stake, a far more energy efficient and cost effective algorithm, and as such this research represents a significant step forward in cryptography. Ouroboros also has the distinction of being implemented – the protocol will be an integral part of Cardano, a blockchain system currently in development. In this video, Prof Aggelos Kiayias provides an in-depth analysis into Proof of Stake and its many benefits compared to Proof of Work. Prof Aggelos Kiayias is the Chair in Cyber Security and Privacy at the University of Edinburgh. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management. He joins IOHK as chief scientist through a long-term consulting agreement between IOHK and the University of Edinburgh, UK, where he is based and continues to do research and teach courses in cyber security and cryptography. Prof Kiayias is also Professor in Residence (gratis) at the University of Connecticut, USA, and Associate Professor of Cryptography and Security (on leave) at the National and Kapodistrian University of Athens, Greece. Prof Kiayias’s cyber security research over the years has been funded by the Horizon 2020 programme (EU), the European Research Council (EU), the General Secretariat for Research and Technology (Greece), the National Science Foundation (USA), the Department of Homeland Security (USA), and the National Institute of Standards and Technology (USA). He has received an ERC Starting Grant, a Marie Curie fellowship, an NSF Career Award, and a Fulbright Fellowship. He holds a Ph.D. from the City University of New York and he is a graduate of the Department of Mathematics at the University of Athens. He has more than 100 publications in journals and conference proceedings in the area. He currently serves as the program chair of the Financial Cryptography and Data Security 2017 conference. https://iohk.io/team/aggelos-kiayias/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 2626 IOHK
IOHK | Research Collaborations update. May 2018.
 
02:15
Prof Aggelos Kiayias is the Chair in Cyber Security and Privacy at the University of Edinburgh. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management. He joins IOHK as chief scientist through a long-term consulting agreement between IOHK and the University of Edinburgh, UK, where he is based and continues to do research and teach courses in cyber security and cryptography. Prof Kiayias is also Professor in Residence (gratis) at the University of Connecticut, USA, and Associate Professor of Cryptography and Security (on leave) at the National and Kapodistrian University of Athens, Greece. Prof Kiayias’s cyber security research over the years has been funded by the Horizon 2020 programme (EU), the European Research Council (EU), the General Secretariat for Research and Technology (Greece), the National Science Foundation (USA), the Department of Homeland Security (USA), and the National Institute of Standards and Technology (USA). He has received an ERC Starting Grant, a Marie Curie fellowship, an NSF Career Award, and a Fulbright Fellowship. He holds a Ph.D. from the City University of New York and he is a graduate of the Department of Mathematics at the University of Athens. He has more than 100 publications in journals and conference proceedings in the area. He currently serves as the program chair of the Financial Cryptography and Data Security 2017 conference. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1043 IOHK
IOHK | Prof. Elias Koutsoupias, area leader, game theory.
 
04:28
Developing Cardano is no small feat. There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. We are extremely proud of Cardano, which required a months-long meticulous and painstaking development process by our talented engineers. https://iohk.io/team/elias-koutsoupias/ Elias Koutsoupias is a professor of computer science at the University of Oxford. His research interests include algorithmic aspects of game theory, economics and networks, online algorithms, decision-making under uncertainty, design and analysis of algorithms, computational complexity. He received the Gödel Prize of theoretical computer science in 2012 for his work on the price of anarchy, in reference to laying the foundations of algorithmic game theory. He is also the recipient of the ERC Advanced Grant “Algorithms, Games, Mechanisms, and the Price of Anarchy”. He previously held faculty positions at the University of California, Los Angeles (UCLA) and the University of Athens. He studied at the National Technical University of Athens (B.S. in electrical engineering) and the University of California, San Diego (Ph.D. in computer science). http://www.cs.ox.ac.uk/people/elias.koutsoupias/Personal/ Selected Publications Worst−case equilibria Elias Koutsoupias and Christos H. Papadimitriou In Computer Science Review. Vol. 3. No. 2. Pages 65−69. 2009. Details about Worst−case equilibria | BibTeX data for Worst−case equilibria The k−server problem Elias Koutsoupias In Computer Science Review. Vol. 3. No. 2. Pages 105−118. 2009. Details about The k−server problem | BibTeX data for The k−server problem Activities Online Algorithms, Foundational Issues in Computational Learning, Algorithms At Large, Algorithmic Game Theory and Computational Economics -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardano https://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ —
Views: 2987 IOHK
IOHK | Cardano Testnets. May 2018.
 
14:41
testnet.iohkdev.io With the launch of the first Cardano testnet for smart contracts, Duncan Coutts, IOHK Director of Engineering, introduces this release and explains the further testnets that will be released. The KEVM testnet, along with the IELE testnet that is due to launch in July 2018, are for developers who wish to write smart contracts and are familiar with the Solidity language. They will be able to experiment with running smart contracts and report any issues to us to allow us to improve the technology. KEVM is a version of the Etherem Virtual Machine based on formal mathematical semantics and implemented on IOHK’s Mantis client. KEVM is correct by construction, and can be used for the formal verification of smart contracts, a capability that is essential for third-generation blockchains. Similarly, the IELE testnet will allow developers to write and test smart contracts written in Solidity. This testnet offers improved security and performance compared to the KEVM and will be released in July 2018. These two testnets are part of the Goguen phase of Cardano development. Later in 2018, IOHK will launch smart contract testnets for the programming languages Plutus and Marlowe, which IOHK is currently developing. Another testnet will offer users and developers the chance to see how stake pools and delegation will work on Cardano. Registration to participate in this is open until the end of May and the testnet will launch later in 2018. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 8796 IOHK
Ouroboros presentation | IACR Crypto-2017
 
26:43
Filmed on location at Crypto 2017, the 37th International Cryptology Conference. The event was held at the University of California, Santa Barbara (UCSB) August 20-24 2017. The academic program covers all aspects of cryptology. The conference is sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the Computer Science Department of UCSB. https://www.iacr.org/conferences/cryp... Developing a secure proof of stake algorithm is one of the big challenges in cryptocurrency, and a proposed solution to this problem won the attention of the academic community. https://bitcoinmagazine.com/articles/iohk-launches-cardano-blockchain-ada-now-trading-bittrex/?utm_content=buffered6c6&utm_medium=social&utm_source=twitter.com&utm_campaign=buffer Several hundred cryptographers from around the world arrived at the University of California Santa Barbara on Sunday for the flagship annual event of their field, Crypto 2017. Over several days, they present cutting edge research for the scrutiny of their peers, while in the evenings they continue discussions with friends and colleagues over dinner on the university campus, with the inspiring backdrop of the Santa Ynez mountains meeting the Pacific ocean behind them. https://iohk.io/press/ Ouroboros, developed by a team led by IOHK chief scientist Aggelos Kiayias, made it through a tough admission process for the prestigious conference. This year, 311 papers were submitted and of those 72 were accepted. Only three papers at the conference were on the subject of blockchain. All three papers were supported by IOHK funding. Speaking after his presentation, Professor Kiayias said: “We’re very happy that we had the opportunity to present Ouroboros at the conference. The protocol and especially its security analysis were very well received by fellow cryptographers.” “Our next steps will be to focus on the next version of the protocol, Ouroboros Praos which improves even further the security and performance characteristics of the protocol.” The Ouroboros protocol stands out as the first proof of stake algorithm that is provably secure, meaning that it offers security guarantees that are mathematically proven. This is essential for a protocol that is intended to be used in cryptocurrency, an infrastructure that must be relied on to carry billions of dollars worth of value. In addition to security, if blockchains are going to become infrastructure for new financial systems they must be able to comfortably handle millions of users. The key to scaling up is proof of stake, a far more energy efficient and cost effective algorithm, and as such this research represents a significant step forward in cryptography. Ouroboros also has the distinction of being implemented – the protocol will be an integral part of Cardano, a blockchain system currently in development. https://iohk.io/research/papers/#XJ6M... https://iohk.io/projects/cardano/ There were two other papers presented at the bitcoin session on Monday. The Bitcoin Backbone Protocol with Chains of Variable Difficulty, was produced by a team of three researchers and included Prof Kiayias. It is a continuation of previous research into Bitcoin, which was itself the first work to prove security properties of its blockchain. A third paper on the subject of bitcoin was presented, Bitcoin as a Transaction Ledger: A Composable Treatment. Other notable talks at the conference included a presentation by John Martinis, an expert on quantum computing and former physics professor at the University of California Santa Barbara, who is now working at Google to build a quantum computer. Leading cryptographers at the conference included Whitfield Diffie, pioneer of the public key cryptography that made Bitcoin possible, and Ron Rivest, Adi Shamir, and Leonard Adleman, who came up with the RSA public-key cryptosystem that is widely used for secure data transmission. https://iohk.io/team/aggelos-kiayias/ https://iohk.io/team/bernardo-david/ https://iohk.io/team/peter-gazi/ -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ --
Views: 8252 IOHK
Duncan Coutts, PhD | IOHK Int. Director of Engineering
 
01:51
A short video interview with Duncan Coutts, PhD | IOHK Int. Director of Engineering filmed on location at the University of Edinburgh on February 24, 2017. https://iohk.io/team/duncan-coutts/ Duncan has more than fifteen years programming experience with Haskell. He is a well known member of the Haskell community. He helps maintain several popular libraries and tools including Cabal and bytestring. He has several years experience in packaging the Haskell toolchain and took a leading role in establishing the Haskell Platform. He holds a first class degree in Computation and a D.Phil in Computer Science, both from Oxford University. He has published papers at international conferences, including ICFP. His research focus is on generating high performance code from idiomatic high level Haskell code. This included co-authoring the bytestring and binary libraries and work on stream fusion for lists. He has five years experience teaching computer science, including four years teaching Haskell to mature students at graduate level. Cascading disruption https://iohk.io/about/ It is the founding principle of IOHK. Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing technology to force these perturbations in order to push towards a more fair and transparent order. The mission of IOHK We view the world as a series of giant and mostly interconnected social graphs with hundreds of complex systems embedded. Our mission is to perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value. Input Output the company In addition to our founders, IOHK enjoys having a diverse, geographically distributed team of engineers, scientists, business professionals, a few teachers and open-source collaborators. We are always looking for new team members and partnerships. Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 1986 IOHK
ZenCash and IOHK Partner for Research and Development
 
29:26
The ZenCash and IOHK partnership will entail an exciting series of research and development led by Prof. Roman Oliynykov, a cryptographer, IT security researcher, lecturer, and IOHK Research Fellow. https://iohk.io/team/roman-oliynykov/ Decentralized Autonomous Organization (DAO) Treasury ZenCash Treasury Model is an inclusive, provably fair, and transparent economic system with incentives to participate. https://zensystem.io/iohk/ https://iohk.io/about/ Rob Viglione @robviglione Charles Hoskinson @IOHK_Charles Amy Castor @aacastor
Views: 12778 IOHK
IOHK | One Year in Cardano - Powered by Gource
 
02:35
To celebrate the first anniversary for the Cardano project, IOHK has created a video visualisation of the history of Cardano development since launch, powered by Gource. Gource is a data visualisation project at IOHK that is a dynamic and living artwork, created from a Git repository directory structure. The visualisation is continually evolving in real time based on developer commits. Each time a commit is made, the edited file lights up. To see more of Gource, the full-screen view with rich interactive functionality is available by clicking on the glowing button in the header of the Cardano roadmap. Explore more of Cardano here: https://cardanoroadmap.com/ https://cardano.org Watch the IOHK Cardano whiteboard videos here: https://www.youtube.com/playlist?list=PLnPTB0CuBOBxDBrD4-ZflYF6y3L3jMUOs -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 2615 IOHK
IOHK | Ethereum Classic Summit - Charles Hoskinson Keynote
 
38:36
In this video, IOHK CEO Charles Hoskinson delivered his closing keynote at the Ethereum Classic Summit. The purpose of IOHK's presence at the summit is to demo the progress the team has made, the lessons we've learnt with Mantis, to have discussions with the community, and conversations on other potential collaborations. https://iohk.io/projects/ethereum-classic/ https://etcsummit.com/ Ethereum Classic remains a nascent but exciting technology that can enhance the ways that information and value are shared in a digital economy. Featuring a flexible and intuitive smart contract programming platform that is powered by ETC, Ethereum Classic can propel the development of a global, secure, and decentralized Internet of Things. Why Ethereum Classic? Ethereum Classic (ETC) is a continuation of the original Ethereum blockchain – the classic version preserving untampered history; free from external interference and subjective tampering of transactions. ETC is a next generation digital currency united with an intuitive programming platform. This allows software developers of all skill sets to build the next wave of market disrupting decentralized applications (Dapps) that can change the world.
Views: 4786 IOHK
IOHK | Using the ΔQ calculus to model blockchain scalability, Dr Neil Davies, PNsol.
 
34:35
Filmed on location at the Scientific Network Management for Cloud Computing, 8th December 2017. This video: The state of the art in quality engineering innovation Using the ΔQ calculus to model blockchain scalability Dr Neil Davies, Predictable Network Solutions Ltd. Part 1: The Overture ΔQ testbed for design and deployment planning, by Peter Thompson, Predictable Network Solutions Ltd. Developing Cardano is no small feat. There is no other project that has ever been built to these parameters, combining peer reviewed cryptographic research with an implementation in highly secure Haskell code. This is not the copy and paste code seen in so many other blockchains. Instead, Cardano was designed with input from a large global team including leading experts and professors in the fields of computer programming languages, network design and cryptography. -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/
Views: 4706 IOHK
IOHK | Max Keiser, big ideas in Aspen
 
03:17
Blockchain meets big ideas in Aspen https://iohk.io/about/ A focus on the future united most conference attendees, but equally important was the historical context that brought them to where they were. Ron Paul, who Hoskinson worked for during Paul’s 2008 bid for the Republican candidacy, came on stage to a standing ovation and chants of “End the Fed”. Despite admitting he had much to learn about how blockchain worked, the libertarian politician who is now in his eighties praised the industry’s creativity. Technology should not be an arm of the government, he warned, and the internet was being coopted by commercial interests. “Technology is helping us, in a free society it helps improve our living condition,” he said. In a tour de force through libertarian thought, he recounted his early career in medicine eventually brought to an end by his interest in how the monetary system worked. Saying that there had been decades of monetary policy failure, from the collapse of Bretton Woods system in the 1970s, Paul attacked the march of Keynesian ideology and a system swollen with debt, leading to the 2008 global financial crisis. “We do want to get rid of the Fed and we should start with auditing the Fed and understanding why we need to know about it,” Paul said. “The American people deserve to know what’s going on.” Central banking was a relatively new concept, he said, predicting the end of a system that would self destruct as it sank under the weight of debt. Backing what Paul said afterwards, Jesse Ventura, ex-wrestler and former governor of Minnesota, told IOHK that personal debt kept people from being free, in a system designed to lock people into debt. “If you are in debt you can be controlled,” Ventura said. “If people ran their finances like the government run theirs you’d be a homeless person living on the street out of a bag. You can’t live in a world of negative money.” Paul cut a humble figure as fans queued to have their picture taken with him, and later held a television studio discussion with Ventura, a tall and imposing presence sporting a Rolling Stones bomber jacket and a US Navy Seals cap – both former employers of his. Other speakers at the conference included early Bitcoin adopter and investor Eric Voorhees, and Patrick Byrne, CEO of Overstock, who spoke about his new blockchain exchange that would list ICOs, and which he said had approval to operate from the US Securities and Exchange Commission. Longtime gold bug and Bitcoin sceptic Peter Schiff debated with crypto advocate Max Keiser, who in trademark showman style tore up US dollar bills on stage. -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano Portfolio Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Launch Final development steps for main net launch https://cardanolaunch.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io Cardano Testnet Experiment with with the test net https://tada.iohk.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ IOHK YouTube Watch Input Output https://www.youtube.com/c/iohkio
Views: 949 IOHK
IOHK | Cardano CLI wallet - A Whirlwind Tour of Rust Cardano
 
06:29
In this tutorial, Lars Brünjes takes you on a quick tour of the Cardano Rust tool library. This provides an API to the blockchain and the Cardano CLI tool is really just a thin wrapper around this library. The Cardano Rust project has created a toolbox of Cardano’s cryptographic primitives for third-party developers written in the Rust programming language. It is IOHK’s first open source project, providing a library of wallet and node functions – and a wallet for Ada, the most precisely engineered cryptocurrency yet. IOHK’s engineers aim to open up Cardano to more developers with an open source library and encourage the worldwide community to build up this resource. Rust is a lightweight, portable and ‘blazingly fast’ language. It compiles to the web, iOS and Android, platforms that are popular with many third-party developers. The Cardano Rust Project sits alongside the Haskell-based Cardano settlement layer as an open source sandbox for developers who want to build and integrate their own apps, including products for mobile devices. With the command line interface wallet is a development kit. The repository is open and the aim is for the project (known internally as Prometheus) to develop into a thriving community. In time, the Cardano Rust project will become open to many more developers as programming languages are added in addition to Rust. There will be regular updates as the project progresses. In summary, this open source library opens up the Cardano blockchain to a wider range of third parties. They will be able to build wallet applications, integrate new or existing products into the platform and speed up the decentralisation of the Cardano system. -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 923 IOHK
IOHK | Charles Hoskinson, Coinscrum MiniCon 2018
 
13:04
Charles Hoskinson, CEO at blockchain research and development company IOHK, talks about regulation with cryptocurrencies in this 2018 talk at coinscrum {minicon}. This event is in partnership with UCL. https://www.ucl.ac.uk/ Special thanks to Paul Gordon, founder of coinscrum for hosting IOHK. Join coinscrum, the leading London meet up for cryptocurrencies in London. https://www.meetup.com/coinscrum/events/247475851/ Bitcoin was the first generation blockchain; Ethereum was the second. Now we are entering a 3.0 phase, where features such as scalability, interoperability (side chains), treasury systems and on-chain governance play key roles. Hoskinson is a well-known figure in the blockchain space. One of the original founders and the initial CEO at Ethereum, he eventually went on to establish IOHK with Jeremy Wood, another Ethereum veteran. IOHK is distinguished by its close ties with academia. Among the company's more than 100 workers are researchers and developers located at universities across the globe. A special group at IOHK called "the Grothendieck Team" has several developers devoted to Ethereum Classic, a project that resulted from a split in the Ethereum blockchain after the DAO hack. But a larger portion of the company's efforts goes toward developing Cardano, a cryptocurrency and smart contract platform that launched in October. Written in Haskell, Cardano emphasizes peer review and formal methods as a way to produce high assurance software. Its core protocol is Ouroboros, a provably secure proof-of-stake algorithm for reaching consensus on the next block in the chain. Eventually, Cardano will compete with platforms like Ethereum and Tezos. Background Reading IOHK Launches Cardano Blockchain; Ada Now Trading on Bittrex (https://bitcoinmagazine.com/articles/iohk-launches-cardano-blockchain-ada-now-trading-bittrex/) Goodbye Bugs? How Formal Verification Could Fortify Smart Contracts (https://bitcoinmagazine.com/articles/goodbye-bugs-how-formal-verification-could-fortify-smart-contracts/) Has This Ethereum Classic Developer Solved Proof of Stake? (https://bitcoinmagazine.com/articles/has-ethereum-classic-developer-solved-proof-stake/) Why We Are Building Cardano (https://whycardano.com/) Join the Cambridge Blockchain meet up here: https://www.meetup.com/Cambridge-Blockchain/events/245868114/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardano https://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/
Views: 13252 IOHK
IOHK | BIP001 - Charles Hoskinson's talk
 
11:04
A magnificent view across the Black Sea from a sunny rooftop terrace in Odessa – it’s hard to imagine a more beautiful location for a blockchain conference. Guests and speakers from more than 20 countries were at the fifth Blockchain Incredible Party, BIP001, a leading cryptocurrency and blockchain event in eastern Europe. The event started only two years ago but has already built up a following who keep coming back for the friendly atmosphere, line up of international speakers and emphasis on social events put together with a hospitable touch. Lilia Vershinina and Pavel Kravchenko, the organisers and founders, say Ukraine is fertile ground for blockchain start-ups because there is funding, a pool of talented developers and a general appetite for new business ideas. “There are a lot of people trying to experiment, and they are not afraid,” said Pavel. The event aims to showcase the Ukrainian scene and strengthen ties between blockchain advocates in Ukraine and the west, he says, pointing out that they are a long way from Silicon Valley. Another goal is providing education for the enthusiastic and fast-growing Ukrainian blockchain community. Speakers at the sold out conference included Vlad Zamfir, developer at Ethereum, Giacomo Zucco, CEO at BlockchainLAB, Rob Viglione, co-founder of ZenCash, and Pavel Kravchenko, co-founder at DistributedLab. Charles Hoskinson, CEO of IOHK, took to the stage to talk about the biggest challenge that he sees facing cryptocurrencies. He drew a sobering comparison between what he said was a current cryptocurrency bubble, and the early period of the 20th century. Tracing an arc from the Knickbocker crisis of 1907, when a three-week financial panic crashed the US stock market, to the founding of the Securities Exchange Commission in 1934, Charles charted the excesses of capitalism that ravaged the economy during those years. From insider trading scandals to the novice investors who ploughed their savings into badly judged investments, the financial turmoil of that era took the US to the verge of bankruptcy and triggered the Great Depression. Comparing then to now, Charles said: “We are in a bubble and there will be a collapse. A lot of businesses will wash away; the strong will survive. Moving beyond that we either repeat history and create another Federal Reserve, or we can ask ourselves, ‘what can we put into code?’“ “That is the ultimate challenge we face as a space. If we are successful, not only do you create something much better, more transparent, and efficient – it will be a global system. That is my hope for what cryptocurrencies can achieve. If we can get there scams will disappear, and there will be an expectation that things will work the way they ought to, as opposed to today.” -- Find out more from this event: http://bip001.com/ https://distributedlab.com/ https://twitter.com/kravchenkopo https://twitter.com/lilechkafleur -- The Cardano Portfolio Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Launch Final development steps for main net launch https://cardanolaunch.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io Cardano Testnet Experiment with with the test net https://tada.iohk.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9vGfezru1YRI1zDCtTGg Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ IOHK YouTube Watch Input Output https://www.youtube.com/c/iohkio
Views: 7097 IOHK
IOHK presents at Oxford University: Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
 
57:30
On the Ouroboros Design: How rigour and engineering are essential for critical infrastructure, read the latest IOHK blog now: https://iohk.io/blog/on-the-ouroboros-design-how-rigour-and-engineering-are-essential-for-critical-infrastructure/ https://iohk.io/research/papers/a-provably-secure-proof-of-stake-blockchain-protocol/ Mathematicians with a curiosity about the algorithms behind blockchain came to hear Aggelos Kiayias speak at Oxford university’s Mathematical Institute on Wednesday. Professor Kiayias, Chief Scientist at IOHK, had been invited to the university to give a talk on his work on Ouroboros, a provably secure Proof-of-Stake algorithm for blockchain. It the first time such a cryptographic protocol has been devised and is significant because its use would enable blockchains to process many more transactions, giving the technology the muscle that would scale it up for far wider use than at present. “Bitcoin is slow,” he said in the presentation, in an outline of the problem. “The transactions per second of Visa are in the order of many thousands, for Paypal in the order of hundreds, and Bitcoin is far less than that – clearly that’s something that can’t scale to a global level.” In addition to the much greater efficiency of Ouroboros, Prof Kiayias explained a novel reward mechanism for incentivising the protocol and used game theory to show why attacks such as selfish mining and block withholding would be neutralised. A Nash equilibrium is a prescription of a strategy for each rational player, with the property that if other players follow it, it does not make sense for a rational player to deviate from it. Prof Kiayias described how Ouroboros can be proven to be an approximate Nash equilibrium, thus distinguishing this blockchain system from Bitcoin, which is known to be not incentive compatible. The Ouroboros paper was first published last December with Alexander Russel, Bernardo David and Roman Oliynykov and Prof Kiayias presented the work at the Alan Turing Institute in London last year. Bernardo David on PoS: https://www.youtube.com/watch?v=q5sCsPerCiQ Bernardo David presenting PoS in detail at IOHK's Tokyo tech lab: https://youtu.be/hMgxZOsTlQc Among the audience was Hayyu Imanda, whose desire to specialise in cryptography for her PhD studies brought her to hear the presentation. The 22-year-old is currently in a class of 26 students at Oxford university studying for an MSc in Mathematics and Foundations of Computer Science. “I come from a pure maths background and I find cryptography very interesting, in that it was relatively recently founded and there is so much research happening,” she says. “I see it as a bridge from pure maths into real life, with many uses in terms of security, and it’s going to be a growing field.” More images from the event here: https://iohk.io/blog/a-proof-of-stake-lecture-at-oxford-university/ -- https://iohk.io/team/aggelos-kiayias/ Prof Aggelos Kiayias is the Chair in Cyber Security and Privacy at the University of Edinburgh. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management. He joins IOHK as chief scientist through a long-term consulting agreement between IOHK and the University of Edinburgh, UK, where he is based and continues to do research and teach courses in cyber security and cryptography. Prof Kiayias is also Professor in Residence (gratis) at the University of Connecticut, USA, and Associate Professor of Cryptography and Security (on leave) at the National and Kapodistrian University of Athens, Greece. Prof Kiayias’s cyber security research over the years has been funded by the Horizon 2020 programme (EU), the European Research Council (EU), the General Secretariat for Research and Technology (Greece), the National Science Foundation (USA), the Department of Homeland Security (USA), and the National Institute of Standards and Technology (USA). He has received an ERC Starting Grant, a Marie Curie fellowship, an NSF Career Award, and a Fulbright Fellowship. He holds a Ph.D. from the City University of New York and he is a graduate of the Department of Mathematics at the University of Athens. He has more than 100 publications in journals and conference proceedings in the area. He currently serves as the program chair of the Financial Cryptography and Data Security 2017 conference. -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/
Views: 78778 IOHK
IOHK | Charles Hoskinson: Third-Generation Blockchains
 
01:13:37
Charles Hoskinson, CEO at blockchain research and development company IOHK, will be talking about third-generation blockchains and cryptocurrencies. Bitcoin was the first generation blockchain; Ethereum was the second. Now we are entering a 3.0 phase, where features such as scalability, interoperability (side chains), treasury systems and on-chain governance play key roles. Hoskinson is a well-known figure in the blockchain space. One of the original founders and the initial CEO at Ethereum, he eventually went on to establish IOHK with Jeremy Wood, another Ethereum veteran. IOHK is distinguished by its close ties with academia. Among the company's more than 100 workers are researchers and developers located at universities across the globe. A special group at IOHK called "the Grothendieck Team" has several developers devoted to Ethereum Classic, a project that resulted from a split in the Ethereum blockchain after the DAO hack. But a larger portion of the company's efforts goes toward developing Cardano, a cryptocurrency and smart contract platform that launched in October. Written in Haskell, Cardano emphasizes peer review and formal methods as a way to produce high assurance software. Its core protocol is Ouroboros, a provably secure proof-of-stake algorithm for reaching consensus on the next block in the chain. Eventually, Cardano will compete with platforms like Ethereum and Tezos. Background Reading IOHK Launches Cardano Blockchain; Ada Now Trading on Bittrex (https://bitcoinmagazine.com/articles/iohk-launches-cardano-blockchain-ada-now-trading-bittrex/) Goodbye Bugs? How Formal Verification Could Fortify Smart Contracts (https://bitcoinmagazine.com/articles/goodbye-bugs-how-formal-verification-could-fortify-smart-contracts/) Has This Ethereum Classic Developer Solved Proof of Stake? (https://bitcoinmagazine.com/articles/has-ethereum-classic-developer-solved-proof-stake/) Why We Are Building Cardano (https://whycardano.com/) Join the Cambridge Blockchain meet up here: https://www.meetup.com/Cambridge-Blockchain/events/245868114/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano PortfolioThe Cardano HubThe source for all things Cardano https://www.cardanohub.org/en/home/ Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/
Views: 42097 IOHK
Patrick Byrne | Overstock, CEO -  big ideas in Aspen
 
02:14
Blockchain meets big ideas in Aspen Patrick Byrne @OverstockCEO Founder and CEO of http://Overstock.com , advocate of personal freedom, access to quality education and fairness in capital markets. https://iohk.io/about/ A focus on the future united most conference attendees, but equally important was the historical context that brought them to where they were. Ron Paul, who Hoskinson worked for during Paul’s 2008 bid for the Republican candidacy, came on stage to a standing ovation and chants of “End the Fed”. Despite admitting he had much to learn about how blockchain worked, the libertarian politician who is now in his eighties praised the industry’s creativity. Technology should not be an arm of the government, he warned, and the internet was being coopted by commercial interests. “Technology is helping us, in a free society it helps improve our living condition,” he said. In a tour de force through libertarian thought, he recounted his early career in medicine eventually brought to an end by his interest in how the monetary system worked. Saying that there had been decades of monetary policy failure, from the collapse of Bretton Woods system in the 1970s, Paul attacked the march of Keynesian ideology and a system swollen with debt, leading to the 2008 global financial crisis. “We do want to get rid of the Fed and we should start with auditing the Fed and understanding why we need to know about it,” Paul said. “The American people deserve to know what’s going on.” Central banking was a relatively new concept, he said, predicting the end of a system that would self destruct as it sank under the weight of debt. Backing what Paul said afterwards, Jesse Ventura, ex-wrestler and former governor of Minnesota, told IOHK that personal debt kept people from being free, in a system designed to lock people into debt. “If you are in debt you can be controlled,” Ventura said. “If people ran their finances like the government run theirs you’d be a homeless person living on the street out of a bag. You can’t live in a world of negative money.” Paul cut a humble figure as fans queued to have their picture taken with him, and later held a television studio discussion with Ventura, a tall and imposing presence sporting a Rolling Stones bomber jacket and a US Navy Seals cap – both former employers of his. Other speakers at the conference included early Bitcoin adopter and investor Eric Voorhees, and Patrick Byrne, CEO of Overstock, who spoke about his new blockchain exchange that would list ICOs, and which he said had approval to operate from the US Securities and Exchange Commission. Longtime gold bug and Bitcoin sceptic Peter Schiff debated with crypto advocate Max Keiser, who in trademark showman style tore up US dollar bills on stage. -- Input Output See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/cardano/ Read our papers: http://iohk.link/paper-ouroboros Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/ See more on Cardano: https://iohk.io/projects/cardano/ -- The Cardano Portfolio Cardano Blockchain Explorer An open source block explorer for the Cardano project https://cardanoexplorer.com Cardano Launch Final development steps for main net launch https://cardanolaunch.com Cardano Documentation Full technical documentation of the project https://cardanodocs.com Cardano Roadmap Development path of the Cardano project https://cardanoroadmap.com Why Cardano The philosophy behind the project https://whycardano.com Daedalus Platform Open source platform https://daedaluswallet.io Cardano Testnet Experiment with with the test net https://tada.iohk.io The Cardano Foundation Supervisory and educational body for the Cardano Protocol https://cardanofoundation.org Cardano Foundation YouTube All the latest videos & tutorials https://www.youtube.com/channel/UCbQ9... Cardano Foundation Follow the Foundation https://twitter.com/CardanoStiftung Cardano Slack Join the conversation https://cardano.herokuapp.com Cardano reddit Join the conversation https://www.reddit.com/r/cardano/ IOHK Development partner https://iohk.io IOHK blog Read about the latest technology advancements https://iohk.io/blog/ IOHK YouTube Watch Input Output https://www.youtube.com/c/iohkio
Views: 1428 IOHK

Chess championship 2013 analysis essay
Systematische beobachtung beispiel essay
The strange case of dr jekyll and mr hyde good evil essay
Destruction of habitat essay format
Problem solving essay examples pdf files