<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Math/Algebra on phasewalk</title>
    <link>https://blog.phasewalk.xyz/tags/math/algebra/</link>
    <description>Recent content in Math/Algebra on phasewalk</description>
    <generator>Hugo</generator>
    <language>en-us</language>
    <lastBuildDate>Sun, 12 Apr 2026 00:00:00 +0000</lastBuildDate>
    <atom:link href="https://blog.phasewalk.xyz/tags/math/algebra/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>The Discrete Logarithm Problem</title>
      <link>https://blog.phasewalk.xyz/posts/dlp/</link>
      <pubDate>Sun, 12 Apr 2026 00:00:00 +0000</pubDate>
      <guid>https://blog.phasewalk.xyz/posts/dlp/</guid>
      <description>&lt;p&gt;The &lt;strong&gt;discrete logarithm problem&lt;/strong&gt; (DLP) is a fundamental problem in group theory that underpins the security of many cryptographic systems, including elliptic curve cryptography and the &lt;a href=&#34;https://en.wikipedia.org/wiki/Diffie%E2%80%93Hellman_key_exchange&#34;&gt;Diffie-Hellman key exchange&lt;/a&gt;.&lt;/p&gt;&#xA;&lt;p&gt;In a &lt;a href=&#34;https://blog.phasewalk.xyz/posts/bn254&#34;&gt;cyclic group&lt;/a&gt; $G$ with generator $g$, every element $h\in G$ can be expressed as $h=g^x$ for some integer $x$. Computing $g^x$ given $g$ and $x$ is fast and efficient &amp;ndash; $\mathcal O(\log x)$ using the method of repeated squaring.&lt;/p&gt;&#xA;&lt;p&gt;The inverse problem, however &amp;ndash; given $g$ and $h=g^x$, find $x$ &amp;ndash; is believed to be computationally hard in certain groups. We haven&amp;rsquo;t &lt;em&gt;proven&lt;/em&gt; that it&amp;rsquo;s hard (P vs NP is still an open problem), but we have decades of cryptanalysis and no known efficient algorithms for solving DLP in well-chosen groups, which gives us confidence in its hardness.&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
