hey
@SomeNode -- these are great questions. i can try to give some quick answers
6: yep, it's a consequence of the proof of knowledge property. this paper describes the idea
https://eprint.iacr.org/2012/095.pdf7: the verifier is about 200ms on my laptop last i checked. you could benchmark it on other machines if you're interested. the proof size i haven't measured in a while but i think it's about 4 kilobytes. you can measure it if you're interested
8: as far as i can tell your understanding is correct
for the future, a lot of our community members are experts on our protocol and we encourage people to ask in our more popular technical channels so you can get answers from the O(1) team and the much larger mina community. a good place to start might be #mentor-node вы про этот ответ?