Oktahedronhttps://oktahedron.diskordia.org
An Ethereum PodcastThu, 24 May 2018 21:20:37 +0000http://oktahedron.diskordia.org/wp-content/cache/podlove/38/bd93a001b299dc19d48f29643cc5d2/oktahedron_original.pngOktahedronhttps://oktahedron.diskordia.orgen-USPodlove Podcast Publisher v2.3.12DirkA lot of interesting stuff is happening around Ethereum and other blockchain technologies. We will try to cover problems, solutions and the technology behind Ethereum.Dirk Jäckel8hedron@diskordia.orgAn Ethereum PodcastEthereum, Blockchain, DecentralizednonoOH008 – Printing Moneyhttps://oktahedron.diskordia.org/?podcast=oh008-printing-money
Tue, 25 Jul 2017 21:49:45 +0000podlove-2017-07-19t23:31:50+00:00-3dd40c222e5b22d01:18:33DirkOH007 – Raidenhttps://oktahedron.diskordia.org/?podcast=oh007-raiden
Sun, 15 Jan 2017 13:24:06 +0000podlove-2017-01-13t20:52:40+00:00-493cc3b77c20e2f00:00:00DirkAugusto 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=h791zjvf3uQOH006 – Zcashhttps://oktahedron.diskordia.org/?podcast=oh006-zcash
Wed, 04 Jan 2017 19:17:37 +0000podlove-2017-01-03t00:50:31+00:00-7e3fc0a6ad03a7e00:00:00DirkIn 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.OH005 – 33c3https://oktahedron.diskordia.org/?podcast=oh005-33c3
Wed, 04 Jan 2017 14:42:13 +0000podlove-2017-01-03t00:23:51+00:00-462df29ecb1ed0d00:00:00DirkThis 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!OH004 – Secure Scuttlebutthttps://oktahedron.diskordia.org/?podcast=oh004-secure-scuttlebutt
Thu, 01 Dec 2016 18:39:25 +0000podlove-2016-11-30t17:09:02+00:00-f2f1ddf101f0f7f01:05:01DirkThis 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-ssbOH003 – Swarmhttps://oktahedron.diskordia.org/?podcast=oh003-swarm
Wed, 30 Nov 2016 13:30:54 +0000podlove-2016-11-29t23:13:18+00:00-22908f89aa1b2e301:41:46DirkSwarm 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 2016OH002 – Total Functional Programminghttps://oktahedron.diskordia.org/?podcast=oh002-total-functional-programming
Tue, 20 Sep 2016 09:17:23 +0000podlove-2016-09-19t18:53:49+00:00-b2066448f7af60501:10:21DirkComputational models and how they relate to blockchains.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=H2uwUdzVD9IOH001 – Concorde Effecthttps://oktahedron.diskordia.org/?podcast=oh001-blockchain-legality
Tue, 28 Jun 2016 20:44:40 +0000podlove-2016-06-27t22:54:18+00:00-30c52f69cef7eb501:12:35Dirk@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.htmlOH000 – Gox Earlyhttps://oktahedron.diskordia.org/?podcast=oh000-gox-early
Mon, 20 Jun 2016 19:13:35 +0000podlove-2016-06-19t22:23:30+00:00-4903ce4ea234a0101:13:27Dirk