The problem Space Aligners solves

When I was a child (around the year 2000), I played web games where prizes were awarded to the top of the leaderboard. I remember striving to reach the winning score, but the top players surpassed me by an incredibly large margin. It didn't take long for me to realize that the scores were hacked and not legitimate.

Some time ago, I watched a few Speedrun videos, like the one for "Super Mario 64," among others. I also saw documentaries, particularly one that showed a fake world record holder captured after 12 years: Fake Super Mario 64 World Record Caught After 12 Years

While Speedrun is a niche, it's also difficult to prove the validity of results in gambling, where there is a large audience. Games like "Chicken Cross" are very popular and impossible to verify, as is everything related to online casinos.

Challenges I ran into

I have faced several challenges; I think the first one was reading the documentation and truly understanding how ZK and Aligned work.

I’m not an expert in Rust, so that was another issue.

Regarding the Aligned documentation, I found it very difficult to install SP1 until I came across the documentation for SP1. Using the method from option 2, I was able to install it; perhaps they should recommend this solution.

I noticed that they recently updated the example repository from yetanotherco/aligned_layer. I didn’t have time to look at the new version, but I found it challenging to understand the quiz example and how to send public inputs to the verifier contract.