@fastfourier.eth
You're right, current implementation brings additional trust assumptions. The first version on 33bits was made with storage proofs! But it never saw the light of day since the current Noir implementation results in too many gates, which makes in-browser proof generation impossible (hits the RAM limit).