Bochum MAYO challenge solver

Reconciliation script in GF(16) using M4GB.

For more information, see the challenge(s): bochum-challeng.es/challenges/mayo

Platforms

x86_64 (AMD64) and ARM64 (AArch64) supported

Pipeline

$ time ./pipeline.sh -name mayo-48 -n 17 -o 3

[+] Instance: mayo-48
[+] n=17, o=3, v=14
[+] Parsed MAYO: n=17 m=16 o=3 k=7 q=16
[+] Wrote M4GB/MQChallenge file: mayo-48.mq
make: 'bin/solver_m4gb_n14_gf16' is up to date.
[+] n=17, m=16
[+] v=14, o=3
m4gb threads: 5
[+] Step t=17
    equations: 16
file name: recon_work/step_14.mq
solver: ./m4gb/bin/solver_m4gb_n14_gf16
    solution: 06 0c 07 04 02 0c 02 00 06 0f 06 09 06 0c
    time 10.6s
[+] Step t=16
    equations: 32
file name: recon_work/step_13.mq
solver: ./m4gb/bin/solver_m4gb_n14_gf16
    solution: 06 0f 06 0c 06 0b 02 0c 02 00 07 03 06 01
    time 0.0s
[+] Step t=15
    equations: 48
file name: recon_work/step_12.mq
solver: ./m4gb/bin/solver_m4gb_n14_gf16
    solution: 03 01 02 00 04 05 06 07 06 07 02 00 07 09
    time 0.1s
[+] Verification OK: oil-oil block is zero
[+] Done
    t=17: 06 0c 07 04 02 0c 02 00 06 0f 06 09 06 0c
    t=16: 06 0f 06 0c 06 0b 02 0c 02 00 07 03 06 01
    t=15: 03 01 02 00 04 05 06 07 06 07 02 00 07 09
[+] Written: recon_work/oil_basis.txt
[+] Written: recon_work/positions.txt

[+] FLAG:
1 Egg yolk, salt, oil

real    13.47s
user    34.46s
sys     0.45s
cpu     259%

---

References

Jintai Ding, Bo-Yin Yang, Chia-Hsin Owen Chen, Ming-Shing Chen, and Chen-Mou Cheng. New differential-algebraic attacks and reparametrization of Rainbow.

mayo-round2.pdf

License

This project is licensed under the MIT License. See LICENSE for details.