/a>
                            <a class="navbar-item example" data-zencode="/examples/zencode_simple/DSA02.zen" data-data="/examples/zencode_simple/alice_signs_to_bob.json" data-keys="/examples/zencode_simple/alice_pub.json">Verify a signature using public-key encryption</a>
                            <hr class="navbar-divider">
                            <a class="navbar-item example" data-lua="/examples/hello.lua">Hello world in hex and base64</a>
                            <a class="navbar-item examp