2024-01-11 20:52:36 +0200 | received badge | ● Famous Question (source) |
2023-12-06 02:39:23 +0200 | received badge | ● Famous Question (source) |
2022-10-26 03:31:01 +0200 | received badge | ● Notable Question (source) |
2022-10-26 03:31:01 +0200 | received badge | ● Popular Question (source) |
2021-12-15 15:41:37 +0200 | received badge | ● Notable Question (source) |
2021-04-18 12:35:44 +0200 | received badge | ● Popular Question (source) |
2020-02-03 14:32:06 +0200 | received badge | ● Supporter (source) |
2020-01-31 13:07:08 +0200 | received badge | ● Good Question (source) |
2020-01-25 16:59:49 +0200 | received badge | ● Nice Answer (source) |
2020-01-25 16:59:03 +0200 | received badge | ● Nice Answer (source) |
2020-01-25 13:58:53 +0200 | received badge | ● Teacher (source) |
2020-01-24 19:45:40 +0200 | answered a question | How to better plot elliptic curves over finite fields? I don't think it will be instructive, for learning purposes, to use a prime that big and plot it (assuming this is what you want to do) and I suspect the problem is the size of the field. Here's the curve I use as an example, with cofactor 1, for "ecc" curves that are like NIST ones. As you can see, it's a prime order group (so cofactor 1) and not supersingular, although it is obviously way too small for real world use. The plot however is nicer. Can't upload it to show you, but you can reproduce from this. |
2020-01-24 19:38:00 +0200 | answered a question | differentiate y = 7x^2 - ((2x^3)/(x+4))+2cos^2(4x) This is relatively easy to do using the documentation, see the basic algebra page on differentation: https://doc.sagemath.org/html/en/tuto.... One of my favourite problems is to show that: $$\int \ln(x) dx = x\ln(x) - x + C$$ In sagemath this can be done as follows: You should be able to adapt this example to your case. |
2020-01-24 19:07:33 +0200 | received badge | ● Nice Question (source) |
2020-01-24 18:26:00 +0200 | received badge | ● Editor (source) |
2020-01-24 17:55:26 +0200 | commented question | Efficiently computing tower fields for pairings @rburing Thanks. Unfortunately, this is hard to translate to sage, because $F_p^{12}[w]$ for example is defined by |
2020-01-24 08:26:44 +0200 | received badge | ● Student (source) |
2020-01-24 02:02:27 +0200 | asked a question | Efficiently computing tower fields for pairings Hello all, I'm messing around trying to create a toy bls12-381 implementation. In order to create the required tower of fields, I'm doing this: Such towering is described in multiple places, e.g, Optimal Ate Pairings at the 128-bit Security level (hxxps://hal.archives-ouvertes.fr/hal-01620848/document), Implementing Pairings at the 192-bit Security Level (hxxps://eprint.iacr.org/2012/232.pdf) and Faster Subgroup Checks for BLS12-381 (hxxps://pdfs.semanticscholar.org/f413/bf4f22f682043616261e463abd0fd9fdcc54.pdf). I am implementing example code given in Guide to Pairing Based Cryptography (hxxps://www.crcpress.com/Guide-to-Pairing-Based-Cryptography/Mrabet-Joye/p/book/9781498729505) that relies on the w $F_p^{12}$ element defined in the above extension tower. However, the last step, of this code appears to take an inordinate amount of time (yet to see it complete). Taking the cue from faster subgroup checks for bls12, I tried to redefine this as: but this fails with a type conversion error. I've tried to search this site to find out how I might generate F12 directly from F2 as I've seen comments indicating that performance of towers of field extensions is... not great and this is also my experience. I have tried to define Fp12 entirely in terms of x from the first PolynomialRing, but I haven't found a way to try to extend directly from Fp2 to Fp12 yet (I only need Fp12 and its sextic twist. I have seen how to create a homomorphism to embed one elements in another field, but I haven't yet tried to use this to simplify. Can this be done? Is there a way to make this performant? Apologies for the broken links, I'm not allowed to include links yet. Update: Following @rburing's comment, I noted that the tower field is as follows: $$\mathbb{F}_{p^2} = \mathbb{F}_p[a]/(a^2+1) $$ $$\mathbb{F}_{p^6} = \mathbb{F}_{p^2}[b]/(b^3-(a+1)) $$ $$\mathbb{F}_{p^{12}} = \mathbb{F}_{p^{12}}[c]/(c^2-b) $$ From this we have that $b^3 = a+1$ and $c^2 = b$, hence $c$ alone being a sixth root of $a+1$. If $c$ is a sixth root, then $c^2$ is a third root, so $c^2 = (a+1)^(1/3)$ and we can see also that $b=a+1$. To give sage some help, we cube both terms. I think therefore that: $$\mathbb{F}_{p^{12}} = \mathbb{F}_{p^2}[a]/((a+1)-(a+1)^3)$$ which can be represented two ways in sage: Sage dislikes the latter ("finite field in u is not alphanumeric") but the former at least constructs and object in a second or two, and gives: My question is, is this the correct object? |
2018-06-14 02:46:22 +0200 | received badge | ● Scholar (source) |
2018-06-14 02:46:19 +0200 | commented answer | Correct way to construct a field with i adjoined? I know it has taken me a little while to reply, but thanks a lot! That clears things up really nicely! It seems so simple and yet much harder than magma code I have seen (I don't have access to magma). Anyway, thanks again! |
2018-05-24 22:38:36 +0200 | asked a question | Correct way to construct a field with i adjoined? Hello, I'm an undergrad maths student looking to understand how I successfully adjoin elements to a finite field in sagemath, to explore some of my university topics. I can construct a base field, for example: and I can construct an extension to this by adjoining I, which is equivalent to using the minimum polynomial x^2+1 like so: This does what I want (I think), creating a field E that is an extension of B. We can even list the elements: [e for e in enumerate(E)] and this looks correct. However, things get messy when I try to use a larger field, for example: This gives the error:
I haven't tried to redefine i at all, so far as I can tell, so, my questions are:
You can assume I understand most of an undergraduate galois theory course and have a basic understanding of algebraic number theory - what I don't understand is how this maps into sage. |