Presentation from js-prover now works!