Oktahedron

OH008 - Printing Money

Augusto from Raiden Network core team, explains Raiden Network: extension to Ethereum which scales-out asset transfer capacity. Hosted by Dirk Jaeckel & Ksenya Links: Repository https://github.com/raiden-network Lefteris' short presentation at Ethdev from November 2016 https://youtu.be/JuVP4iDVkoQ?list=PLaM7G4Llrb7wPiT2G75tj2JQr8qg6P5hi Heiko's presentation from devcon1 (2015) https://www.youtube.com/watch?v=h791zjvf3uQ

In this episode Dirk Jaekel & Ksenya discuss zcash with Zooko. Zcash dev wiki https://github.com/zcash/zcash/wiki/specification, a repo https://github.com/zcash/zcash and a user guide https://github.com/zcash/zcash/wiki/1.0-User-Guide To get your head around zero knowledge proofs and zcash even better we also recommend two episodes recorded by our fellow podcasters Meher & Brian from a different podcast Epicenter: Ep116 with professor Eli Ben-Sasson and Ep122 with Zooko Here is the paper that we mention “How to explain Zero-Knowledge Protocols to your children” Towards the middle of the podcast we talk about a practical way of making a nice and useful zcash node, which we intend to make IRL and will shortly publish some basic specs for it. For the latest updates, you can check Oktahedron on Twitter and feel free to ping any questions to Dirk Jäckel & Ksenya.

This episode was recorded 2016-12-29 in Hamburg. We had a short chat with Ryan Taylor (@AdjyLeak), zooko (@zooko) and Meredith L Patterson (@maradydd) at 33c3. In this short episode Zooko tells us a cute story of practical love letters hidden in blockchain transactions, Meredith highlights the importance of compilers in the world and Ryan mentions Alexandria library. It's a bit of a teaser for the 2017, as some of it we will be covering in detail in 2017 on Oktahedron. Recorded at Sendecentrum at Chaos Communication Congress with the guests: AdjyLeak, Meredith L Patterson, Zooko and that TBA guest with a nice podcasting voice, who spoke very little. Hosted by Dirk Jaeckel & Ksenya of Oktahedron. Thanx to Tim Pritlove for recommending Sendecentrum, instead of dragging all our audio equipment all the way to the Congress from Berlin, thanx to Chistopher who was so patient & helpful, and other guys at Sendecentrum . And a great big thanx to our wonderful sound guy in particular. Enjoy!

This episode is about Secure Scuttlebutt - a database of unforgeable append-only feeds, optimized for efficient replication for peer to peer protocols. Scuttlebutt in slang usage means rumor or gossip, deriving from the nautical term for the cask used to serve water (or, later, a water fountain) https://en.wikipedia.org/wiki/Scuttlebutt A gossip protocol is a style of computer-to-computer communication protocol inspired by the form of gossip seen in social networks https://en.wikipedia.org/wiki/Gossip_protocol History of Scuttlebutt with Dominic Tarr https://www.gwenbell.com/dt-interview/ Dominic Tarr http://dominictarr.com/ Twitter @dominictarr Secure Scuttlebutt consortium https://github.com/ssbc Peer-to-peer audio publishing and streaming application. Like SoundCloud but decentralized. A mashup of ssb, webtorrent and electron http://ferment.audio Decentralised git git-ssb https://github.com/clehner/git-ssb

Swarm guide http://swarm-guide.readthedocs.io/en/latest/ nicely organised Swarm documentation Swarm landing page & public gateway http://swarm-gateways.net/bzz:/swarm/ Ethereum Name System - ENS https://github.com/ethereum/ens/wiki Decentralised Git https://github.com/axic/mango using Ethereum and P2P content addressable networks (Swarm, IPFS, SSB) Short talk introducing Swarm https://www.youtube.com/watch?v=w_MnZM9J4TQ at DAppHack, Berlin Nov 26th 2016

Turing completeness vs decidable languages, safer smart contracts and running Ethereum on Ethereum. Do we want Turing-completeness, or is a weaker model more suitable? Would a dumber (not a Turing complete) language would make smart contracts smarter (easily verifiable)? We talk about total functional languages and alternatives to accounts-based model. Should we look at the blockchain as a pure data store, possibly equipped with primitives such as map/reduce or similar? Links: Meredith Pattersson talks about The Weird Machine https://archive.org/details/The_Science_of_Insecurity_ Tau Chain http://tauchain.org/ Idris: a general purpose pure functional programming language with dependent types http://www.idris-lang.org/ Safer smart contracts through type-driven development byt ROBERT EDSTRÖM, JACK PETTERSSON http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf Jack Pettersson and Robert Edström (Chalmers University of Technology, Sweden) present on a dependantly typed functional language for smart contracts. https://www.youtube.com/watch?v=H2uwUdzVD9I

@heckerhut, @dirkjaeckel and @j32804 Some time passed after the DAO goxed. We will probably need to mention it again, because it raised a lot of questions about jurisdictions etc. What has happened since? http://cointimes.tech/2016/08/12/etcdao-stolen-coins-frozen-by-exchanges-was-sent-by-ethereum-foundation-developers/ Esma Discussion paper https://www.esma.europa.eu/sites/default/files/library/2016-773_dp_dlt.pdf Dominic Williams about tokens and security law https://medium.com/@dominic_w/on-protocol-tokens-and-securities-law-8e54d2237eee#.ll96uwj8n Sian Jones gave some regulatory update on Epicenter Bitcoin. EU regulations are not so restrictive towards fintech / virtual currency businesses? But what about crowdsales? https://www.youtube.com/watch?v=5F-Z3rlOapk Its funny that there is a certain amount of worries around whether crowdsales are legal, and whether people can get in trouble basically printing their own money or issuing securities. As a friend of mine put it: blockchain is a hot new cool thing for borderline legal shenanigans. EU institutions are complex and unless you dog through messy pile of documents, it's hard to get your head around. http://ec.europa.eu/finance/index_en.htm Predictions for the coming year. Thats a bit scary, but can we make predictions? K: There will probably even more of the ICO cambrian explosion More blockchain based but centralised currencies Show notes from the previous unpublished recording: It would have been tricky not to mention TheDAO as an example while discussing possible legal issues surrounding blockchains and DAOs. Here are some links we have mentioned: Article by Coindesk "How to sue The DAO Hacker" (before TheDAO attack) http://www.coindesk.com/sue-dao-hacker/ Pre TheDAO atteck article by Coindesk "How to sue a DAO" http://www.coindesk.com/how-to-sue-a-decentralized-autonomous-organization/ Reads on Decentralised Autonomous Organisations selected by Florian Glatz: Bitcoin as an unmanned company "Bitcoin and the Three Laws of Robotics" https://letstalkbitcoin.com/bitcoin-and-the-three-laws-of-robotics A Legal Analysis of the DAO Exploit and Possible Investor Rights https://bitcoinmagazine.com/articles/a-legal-analysis-of-the-dao-exploit-and-possible-investor-rights-1466524659 DAC (Decentralized Autonomous Corporations) revisited by Daniel Larimer https://letstalkbitcoin.com/dac-revisited DAOs, DACs, DAs and More: An Incomplete Terminology Guide by Vitalik Buterin (2014) https://blog.ethereum.org/2014/05/06/daos-dacs-das-and-more-an-incomplete-terminology-guide/ Bootstrapping A Decentralized Autonomous Corporation: Part I by Vitalik Buterin (2013) https://bitcoinmagazine.com/articles/bootstrapping-a-decentralized-autonomous-corporation-part-i-1379644274 Part II https://bitcoinmagazine.com/articles/bootstrapping-an-autonomous-decentralized-corporation-part-2-interacting-with-the-world-1379808279 and Part III https://bitcoinmagazine.com/articles/bootstrapping-a-decentralized-autonomous-corporation-part-3-identity-corp-1380073003 General legal issues related to blockchains: "Beyond Bitcoin: issues in Regulating Blockchain Transactions" - long, but a very basic, with explanation how blockchain is different from what we have seen before http://scholarship.law.duke.edu/cgi/viewcontent.cgi?article=3827&context=dlj We have also mentionned that it might be safer to use other than Turing complete languages for smart contracts, because Turing complete ones are inherently undecidable, which makes it impossible to know what a "smart contract" will do before running it. Towards safer languages for smart contracts by Jack Pettersson, Robert Edström presented at DEVCON1 https://www.youtube.com/watch?v=H2uwUdzVD9I Using dependent and polymorphic types for safer development of smart contracts (master thesis) http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf Other links: Concept of a-legality was explored by Hans Lindah in the field of philosophy of law http://www.hanslindahl.org/ Plantoid - a robotic plant, an old concept recently connected to the blockchain by David Bovill http://plantoid.cc/view/welcome-visitors/view/plantoid Currently Primavera de Filippi is working on the implementation http://projects.stwst.at/stwst48/plantoid-by-primavera-de-filippi-david-bovill-vincent-roudaut-and-sara-renaud/ This year EU Parliament published some stuff on virtual currencies. They are usually little bit behind the curve - while people are discussing the DAOs they are getting their heads around bitcoin. But hopefully EU people will be catching up fast. EU Parliament report on Virtual Currencies http://www.europarl.europa.eu/sides/getDoc.do?pubRef=-//EP//TEXT+REPORT+A8-2016-0168+0+DOC+XML+V0//EN There is also a possibility to attend public hearings at EU institutions and hear what they have to say about regulations and how these regulations are coming into existence http://www.europarl.europa.eu/committees/en/econ/events.html

OH000 - Gox Early