@p4u
Btw @savio we love Noir, actually we used and made some contribution in the past (https://github.com/vocdoni/smtverifier-noir).
For the current task (Sequencing votes) we decided to go for Gnark. However soon we'll need to build another zkSNARK system to verify ERC20/ERC721 censuses. To this end, Noir and the storage-proof implementation done by @AZKR seems a very good candidate. Would love to talk about it.