After years of careful investigation, you have reached the gate to Loki's vault in the icy mountains of Norway, where it is said that many great treasures and powerful weapons are hidden. The gate seems unbreakable, but you spot some ancient machinery with inscriptions in old runes. After some help from ChatGPT, you are able to translate the symbols and the whole message into modern English, and it reads:
If you can prove that the polynomial
is equal to
Below is a long list of bytes representing the SRS that can be used to perform KZG commitments. The machinery, after careful examination, performs the KZG verification using pairings. There is only one open place where you can place a wooden tablet with your answer, comprising 48 bytes. You guess this should be the proof of the KZG scheme, providing the point in compressed form, following the ZCash standard. The other elements contain the commitment to
Note
- Clone the repository and keep it private. Use
cargo run --release
to run the puzzle. - This challenge is based on the Lambdaworks codebase.
- Loki is the god of mischief, and we will leave you to figure out what that means.
- Once you generate the fake KZG proof. You can convert it into affine coordinates. The
x
coordinate is your flag. - Submit your flags in the corresponding challenge (The Lost Relic) in Ingonyama CTF