<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Dave Hrycyszyn&#39;s personal website</title>
    <link>https://constructiveproof.com/</link>
    <description>Recent content on Dave Hrycyszyn&#39;s personal website</description>
    <generator>Hugo</generator>
    <language>en</language>
    <lastBuildDate>Fri, 24 Apr 2020 09:00:00 +0000</lastBuildDate>
    <atom:link href="https://constructiveproof.com/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Coronavirus tracking app privacy - an introduction</title>
      <link>https://constructiveproof.com/posts/2020-04-24-coronavirus-tracking-app-privacy/</link>
      <pubDate>Fri, 24 Apr 2020 09:00:00 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-04-24-coronavirus-tracking-app-privacy/</guid>
      <description>&lt;p&gt;I work on an open source project which &lt;a href=&#34;https://nymtech.net/docs/mixnet/&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;protects user privacy&lt;/a&gt;, so naturally my friends have recently been asking me about coronavirus tracking apps. They seemed to get some benefit from the answers, so I thought writing our discussions up might be helpful for a more general audience. If you find it helpful, please share it!&lt;/p&gt;&#xA;&lt;p&gt;How is it possible to both track people and to respect their privacy at the same time? Intuitively, it seems like a contradiction in terms.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Sphinx &#43; WebAssembly for coronavirus tracking app privacy</title>
      <link>https://constructiveproof.com/posts/2020-04-21-sphinx-webassembly-coronavirus-tracking-apps/</link>
      <pubDate>Tue, 21 Apr 2020 10:11:17 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-04-21-sphinx-webassembly-coronavirus-tracking-apps/</guid>
      <description>&lt;p&gt;Many privacy geeks have long regarded mixnets as one of the ultimate technologies for user privacy online. Up until now, they were the unicorns of the computer security world: you might have heard about them, but you&amp;rsquo;d never actually &lt;em&gt;see&lt;/em&gt; one in action.&lt;/p&gt;&#xA;&lt;p&gt;If you need a simple introduction to mixnets, I&amp;rsquo;ve previously &lt;a href=&#34;https://medium.com/nymtech/a-simple-introduction-to-mixnets-6783a103d20e&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;written one&lt;/a&gt;. The short version: like Tor, mixnets bounce messages around between networked nodes (computers) in different locations, to obscure who is talking to who.&lt;/p&gt;</description>
    </item>
    <item>
      <title>What&#39;s next for Nym?</title>
      <link>https://constructiveproof.com/posts/2020-03-30-nym-roadmap/</link>
      <pubDate>Mon, 30 Mar 2020 10:11:17 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-03-30-nym-roadmap/</guid>
      <description>&lt;p&gt;In my past few posts, I&amp;rsquo;ve talked about some of the core technologies behind &lt;a href=&#34;https://nymtech.net&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Nym&lt;/a&gt;, the privacy project I work on.&lt;/p&gt;&#xA;&lt;p&gt;How are we planning to apply these technologies? What&amp;rsquo;s our plan for 2020?&lt;/p&gt;&#xA;&lt;p&gt;Broadly speaking, it looks like this:&lt;/p&gt;&#xA;&lt;ol&gt;&#xA;&lt;li&gt;&lt;em&gt;alpha&lt;/em&gt; - mixnet + centralised directory&lt;/li&gt;&#xA;&lt;li&gt;&lt;em&gt;beta&lt;/em&gt; - mixnet + decentralized directory + mixmining&lt;/li&gt;&#xA;&lt;li&gt;&lt;em&gt;full testnet&lt;/em&gt; - incentivised decentralized mixnet + credentials + service providers&lt;/li&gt;&#xA;&lt;li&gt;&lt;em&gt;hardening&lt;/em&gt; - game of mixology and hardening of the system&lt;/li&gt;&#xA;&lt;li&gt;&lt;em&gt;mainnet&lt;/em&gt; - the fully running system.&lt;/li&gt;&#xA;&lt;/ol&gt;&#xA;&lt;p&gt;The mixnet &lt;strong&gt;alpha&lt;/strong&gt; is what we&amp;rsquo;re running now. It &lt;a href=&#34;../2020-01-27-nym-testnet-up-and-running&#34; &gt;launched at the end of 2019&lt;/a&gt;, at the Chaos Communications Congress. It provides rudimentary traffic-mixing capabilities. It is currently tied together by a centralised server (&lt;a href=&#34;https://directory.nymtech.net&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;https://directory.nymtech.net&lt;/a&gt;), which isn&amp;rsquo;t super desirable but allowed us to bootstrap the system into existence.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Nym&#39;s Coconut Credentials - An Overview</title>
      <link>https://constructiveproof.com/posts/2020-03-24-nym-credentials-overview/</link>
      <pubDate>Tue, 24 Mar 2020 10:11:17 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-03-24-nym-credentials-overview/</guid>
      <description>&lt;p&gt;Broadly speaking, the internet privacy project I work on, &lt;a href=&#34;https://nymtech.net&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Nym&lt;/a&gt; currently has two core technologies.&lt;/p&gt;&#xA;&lt;p&gt;The first is a &lt;a href=&#34;https://medium.com/nymtech/a-simple-introduction-to-mixnets-6783a103d20e&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;mixnet&lt;/a&gt; that protects transport data and metadata. Mixnets work against even very strong state/corporate level adversaries who may want to deanonymize users by recording all TCP/IP packets as they transit the internet.&lt;/p&gt;&#xA;&lt;p&gt;The Nym mixnet fulfils the promise of end-to-end network unlinkability – not only can it protect the content of messages, it also hides who is communicating with who, and the routes taken by individual packets.&lt;/p&gt;</description>
    </item>
    <item>
      <title>A simple introduction to mixnets</title>
      <link>https://constructiveproof.com/posts/2020-02-17-a-simple-introduction-to-mixnets/</link>
      <pubDate>Mon, 17 Feb 2020 11:50:04 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-02-17-a-simple-introduction-to-mixnets/</guid>
      <description>&lt;p&gt;I work for &lt;a href=&#34;https://nymtech.net&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Nym&lt;/a&gt;, an internet privacy company. One of our technologies, a &lt;em&gt;mixnet&lt;/em&gt;, can defend users against even very strong adversaries, like governments or large companies. Here&amp;rsquo;s how it works, described in a non-technical way.&lt;/p&gt;&#xA;&lt;p&gt;We have already put out quite a bit of &lt;a href=&#34;https://nymtech.net/docs&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;technical documentation&lt;/a&gt; about mixnets and privacy, and with the upcoming release of our whitepaper there will be a lot more. Probably the easiest half-hour introduction to the technical guts of a Loopix mixnet is this &lt;a href=&#34;https://www.youtube.com/watch?v=R-yEqLX_UvI&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Usenix presentation&lt;/a&gt; video, if you&amp;rsquo;re a security nerd and want to have a look at that.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Nym Testnet - Up and Running</title>
      <link>https://constructiveproof.com/posts/2020-01-27-nym-testnet-up-and-running/</link>
      <pubDate>Mon, 27 Jan 2020 13:14:51 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2020-01-27-nym-testnet-up-and-running/</guid>
      <description>&lt;p&gt;During the &lt;a href=&#34;https://www.ccc.de/en/&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Chaos Communication Congress&lt;/a&gt; a few weeks ago, a group of people downloaded and built the &lt;a href=&#34;https://github.com/nymtech/nym-mixnode/releases/tag/0.1.0&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;initial version (0.1.0)&lt;/a&gt; of the Nym platform. Along with some other friendly souls, they became the proud operators of the brand new &lt;a href=&#34;https://dashboard.nymtech.net&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Nym testnet&lt;/a&gt;.&lt;/p&gt;&#xA;&lt;p&gt;A bit of backstory.&lt;/p&gt;&#xA;&lt;p&gt;The &lt;a href=&#34;https://nymtech.net/docs/mixnet/&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Nym mixnet&lt;/a&gt; will (eventually) be able to protect network privacy even against very strong attackers. It masks metadata to make it difficult or impossible to see who is communicating with who.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Handling the complexities of decentralisation at Vega</title>
      <link>https://constructiveproof.com/posts/2018-09-18-handling-the-complexities-of-decentralisation-at-vega/</link>
      <pubDate>Tue, 18 Sep 2018 14:14:29 +0000</pubDate>
      <guid>https://constructiveproof.com/posts/2018-09-18-handling-the-complexities-of-decentralisation-at-vega/</guid>
      <description>&lt;p&gt;Over the past decade, decentralised computer systems have changed how we interact with the financial and economic system. The Bitcoin network is owned by no one, but trusted by its participants as a means to store and transfer value. Ethereum offers automatic contract execution that doesn’t rely on any one centralised server or authority.&lt;/p&gt;&#xA;&lt;p&gt;These are the beginnings of a movement. It seems probable to me that other elements of the global financial and economic systems will go the same route. Insurance, capital markets, banking, and payment systems all spring to mind. Despite all of their undoubted problems, Bitcoin and Ethereum point the way towards an open source economy. Things that we formerly thought of as being the sole preserve of governments or large companies become programmable.&lt;/p&gt;</description>
    </item>
    <item>
      <title>About Me</title>
      <link>https://constructiveproof.com/about/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://constructiveproof.com/about/</guid>
      <description>&lt;p&gt;I&amp;rsquo;m Dave Hrycyszyn, and I&amp;rsquo;m a coder. I also like building up teams and organisations.&lt;/p&gt;&#xA;&lt;p&gt;Born in northern Canada, a land of endless trees, lakes and rivers. As a young man, worked at a museum reconstructing antique firearms and shooting smoothbore artillery. It gave me a taste for researching and building strange things. Double-majored in history and political science. Self-taught software developer.&lt;/p&gt;&#xA;&lt;p&gt;Moved to Cambridge (the UK one), then London, and co-founded a business building software for major companies across Europe. Grew to about 60 people, built hundreds of projects. Sold the company, then re-sold to the behemoth software engineering consultants &lt;a href=&#34;https://www.cognizant.com/&#34;  class=&#34;external-link&#34; target=&#34;_blank&#34; rel=&#34;noopener&#34;&gt;Cognizant&lt;/a&gt; and got out. I like small organizations. I&amp;rsquo;m more Maas Biolabs than Hosaka, if you like your William Gibson refs.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Contact</title>
      <link>https://constructiveproof.com/contact/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://constructiveproof.com/contact/</guid>
      <description>&lt;p&gt;Follow me, @johndoe.&lt;/p&gt;</description>
    </item>
    <item>
      <title>Projects</title>
      <link>https://constructiveproof.com/projects/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      <guid>https://constructiveproof.com/projects/</guid>
      <description>&lt;p&gt;Nothing to see here&amp;hellip; Move along!&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
