<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);" class="">Hi there,</span>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">I’m a final year AI and Computer Science student at Edinburgh University working on my honours project to optimise mix network security parameters. I’m trying to use Katzenpost to simulate
 a mix net but I’m having trouble setting up.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">I’m following the tutorial at <a href="https://katzenpost.mixnetworks.org/docs/setup.html" class="">https://katzenpost.mixnetworks.org/docs/setup.html</a>. My problem is when I run the following
 line:</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<pre class="" style="overflow: visible; font-family: Consolas, Menlo, "Deja Vu Sans Mono", "Bitstream Vera Sans Mono", monospace; font-size: 0.9em; background-color: rgb(255, 255, 255); padding: 7px 30px; margin-top: 15px; margin-bottom: 15px; line-height: 1.3em; width: 700px; color: rgb(62, 67, 73); font-variant-ligatures: normal; orphans: 2; widows: 2;"><span class="n">go</span> <span class="n">get</span> <span class="o" style="color: rgb(102, 102, 102);">-</span><span class="n">u</span> <span class="o" style="color: rgb(102, 102, 102);">-</span><span class="n">v</span> <span class="n"><a href="http://github.com/katzenpost/daemons/server" class="">github</a></span><span class="p"><a href="http://github.com/katzenpost/daemons/server" class="">.</a></span><span class="n"><a href="http://github.com/katzenpost/daemons/server" class="">com</a></span><span class="o" style="color: rgb(102, 102, 102);"><a href="http://github.com/katzenpost/daemons/server" class="">/</a></span><span class="n"><a href="http://github.com/katzenpost/daemons/server" class="">katzenpost</a></span><span class="o" style="color: rgb(102, 102, 102);"><a href="http://github.com/katzenpost/daemons/server" class="">/</a></span><span class="n"><a href="http://github.com/katzenpost/daemons/server" class="">daemons</a></span><span class="o" style="color: rgb(102, 102, 102);"><a href="http://github.com/katzenpost/daemons/server" class="">/</a></span><span class="n"><a href="http://github.com/katzenpost/daemons/server" class="">server</a></span></pre>
<div class="">The downloading fails towards the end. Here is my terminal output:</div>
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<div class=""><a href="http://github.com/jackc/pgtype" class="">github.com/jackc/pgtype</a> (download)</div>
<div class=""><a href="http://github.com/katzenpost/server/internal/sqldb" class="">github.com/katzenpost/server/internal/sqldb</a></div>
<div class=""># <a href="http://github.com/katzenpost/server/internal/sqldb" class="">github.com/katzenpost/server/internal/sqldb</a></div>
<div class="">../src/<a href="http://github.com/katzenpost/server/internal/sqldb/pgx.go:51:8:" class="">github.com/katzenpost/server/internal/sqldb/pgx.go:51:8:</a> undefined: pgx.ConnPool</div>
<div class="">../src/<a href="http://github.com/katzenpost/server/internal/sqldb/pgx.go:163:18:" class="">github.com/katzenpost/server/internal/sqldb/pgx.go:163:18:</a> undefined: pgx.ParseConnectionString</div>
<div class="">../src/<a href="http://github.com/katzenpost/server/internal/sqldb/pgx.go:169:13:" class="">github.com/katzenpost/server/internal/sqldb/pgx.go:169:13:</a> undefined: pgx.ConnPoolConfig</div>
<div class="">../src/<a href="http://github.com/katzenpost/server/internal/sqldb/pgx.go:183:19:" class="">github.com/katzenpost/server/internal/sqldb/pgx.go:183:19:</a> undefined: pgx.NewConnPool</div>
<div class="">../src/<a href="http://github.com/katzenpost/server/internal/sqldb/pgx.go:378:24:" class="">github.com/katzenpost/server/internal/sqldb/pgx.go:378:24:</a> undefined: pgx.PgError</div>
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">It seems to me that there is a bug in the pgx.go file located at /katzenpost/server/internal/sqldb/ with a variable called “pgx”.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Do I have to install some prerequisite libraries to get this to work, or is there something else I’m doing wrong?</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Would appreciate any support or advice for this. I’m really looking forward to working with Katzenpost. Thanks very much in advance.</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Kind regards,</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Luke Morrice</div>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
</body>
</html>