Example website seems to be broken

[felixwatts]

What version are you using?

N/A

What did you do?

Browsed to https://zkvm-demo.stellar.org/

What did you expect to see?

Not an error.

What did you see instead?

Rocket error page 503.

[howjmay]

Have this been fixed? I am recently reading this project, but I can find any example contract, which is really bothering me tho.
@felixwatts @oleganza may I ask where can I find example for zkvm?