Mini RSA

Mini RSA is a crypto challenge hosted on picoCTF

picoCTF

URL to the challenge

To start, we need to understand a bit about RSA.

The RSA is a asymmetric cryptograpy, thereby RSA is based on the concept of using public and private keys to protect sensitive information during transmission and storage. The public key is used to encrypt data, while the private key is used to decrypt that data.

We won't delve into the process of key generation, so let's go to explore this challenge.

Description

What happens if you have a small exponent? There is a twist though, we padded the plaintext so that (M ** e) is just barely larger than N. Let's decrypt this: ciphertext

n = 1615765684321463054078226051959887884233678317734892901740763321135213636796075462401950274602405095138589898087428337758445013281488966866073355710771864671726991918706558071231266976427184673800225254531695928541272546385146495736420261815693810544589811104967829354461491178200126099661909654163542661541699404839644035177445092988952614918424317082380174383819025585076206641993479326576180793544321194357018916215113009742654408597083724508169216182008449693917227497813165444372201517541788989925461711067825681947947471001390843774746442699739386923285801022685451221261010798837646928092277556198145662924691803032880040492762442561497760689933601781401617086600593482127465655390841361154025890679757514060456103104199255917164678161972735858939464790960448345988941481499050248673128656508055285037090026439683847266536283160142071643015434813473463469733112182328678706702116054036618277506997666534567846763938692335069955755244438415377933440029498378955355877502743215305768814857864433151287
e = 3
c = 1220012318588871886132524757898884422174534558055593713309088304910273991073554732659977133980685370899257850121970812405700793710546674062154237544840177616746805668666317481140872605653768484867292138139949076102907399831998827567645230986345455915692863094364797526497302082734955903755050638155202890599808147130204332030239454609548193370732857240300019596815816006860639254992255194738107991811397196500685989396810773222940007523267032630601449381770324467476670441511297695830038371195786166055669921467988355155696963689199852044947912413082022187178952733134865103084455914904057821890898745653261258346107276390058792338949223415878232277034434046142510780902482500716765933896331360282637705554071922268580430157241598567522324772752885039646885713317810775113741411461898837845999905524246804112266440620557624165618470709586812253893125417659761396612984740891016230905299327084673080946823376058367658665796414168107502482827882764000030048859751949099453053128663379477059252309685864790106

Alright, To decrypt the flag, we can use a type of attack called small public exponent, but we need to pay attention to a condition.

if m^e < n we can retrieve the message in plaintext because the e and c are so small, you just need to calculate the third root of C:

$$m = \sqrt[e]{c} \ \ \ (if \ \ m^e < n)$$

As we can see in the Description, (m^e) is just barely larger than N; in other words, the condition above will not work because it is not satisfied. To exploit the problem and get the flag, we need to rely on the condition below.

$$m =\sqrt[e]{c + kn} \ \ \ (for\ k \in \mathbb{R})$$

We'll need to try various values of 'k' to successfully crack this. Alright, for this, I've written a simple python script to solve this challenge.

#!/usr/bin/python3 
import gmpy2

n = 1615765684321463054078226051959887884233678317734892901740763321135213636796075462401950274602405095138589898087428337758445013281488966866073355710771864671726991918706558071231266976427184673800225254531695928541272546385146495736420261815693810544589811104967829354461491178200126099661909654163542661541699404839644035177445092988952614918424317082380174383819025585076206641993479326576180793544321194357018916215113009742654408597083724508169216182008449693917227497813165444372201517541788989925461711067825681947947471001390843774746442699739386923285801022685451221261010798837646928092277556198145662924691803032880040492762442561497760689933601781401617086600593482127465655390841361154025890679757514060456103104199255917164678161972735858939464790960448345988941481499050248673128656508055285037090026439683847266536283160142071643015434813473463469733112182328678706702116054036618277506997666534567846763938692335069955755244438415377933440029498378955355877502743215305768814857864433151287
e = 3
c = 1220012318588871886132524757898884422174534558055593713309088304910273991073554732659977133980685370899257850121970812405700793710546674062154237544840177616746805668666317481140872605653768484867292138139949076102907399831998827567645230986345455915692863094364797526497302082734955903755050638155202890599808147130204332030239454609548193370732857240300019596815816006860639254992255194738107991811397196500685989396810773222940007523267032630601449381770324467476670441511297695830038371195786166055669921467988355155696963689199852044947912413082022187178952733134865103084455914904057821890898745653261258346107276390058792338949223415878232277034434046142510780902482500716765933896331360282637705554071922268580430157241598567522324772752885039646885713317810775113741411461898837845999905524246804112266440620557624165618470709586812253893125417659761396612984740891016230905299327084673080946823376058367658665796414168107502482827882764000030048859751949099453053128663379477059252309685864790106

k = 0

while True:
 
    M = k*n + c
    # The cube root of M
    m, exact = gmpy2.iroot(M, e)
    # Check if the cube root is exact
    if exact:
        # Convert the value for a hexadecimal
        message_hex = hex(m)[2:]
        # Decoding the message on ASCII
        message_decoded = bytearray.fromhex(message_hex).decode()
        print("FLAG: ", message_decoded)
        break
    k += 1

Running that we get the flag

picoCTF{e_sh0u1d_b3_lArg3r_7adb35b1}