# zBlock2 | yAcademy Notes ## Opening Session (15 Jan 2024) 3-4 month long tim fellowship ![slide](https://raw.githubusercontent.com/irnb/board/main/img/zkp-overview.png) prover - veryfier architecture and scheme is it important to know wich component belong to wich place is it important to know wich math belpng to where plonk arethmatication Argument of knowledge in the zk we are still close to the polnomyal and there is no so much abstraction layer. and because of that we should know about the deeper layer there is two type of bounty. one of for the over activities like wrting article and analysis and another them puzzle and challenges we are gonna auditing halo2 and we can use the related tool we should be corftabmle with generic and traits in rust for strating but, never you can say that its enough and i don't want know more. there is no common known techniqe like fuzzing or the formal verification in the zk security space yet and because of that there bounty for developing such thing in our felowship. we compile our code to polonomyal and afer that using these technique to use the zkp proving sytem https://en.wikipedia.org/wiki/NP-hardness https://doc.rust-lang.org/1.8.0/book/references-and-borrowing.html https://doc.rust-lang.org/1.8.0/book/generics.html https://doc.rust-lang.org/1.8.0/book/traits.html https://emirsoyturk.medium.com/hello-arithmetization-55e57c8e5471 https://sweltering-bill-f01.notion.site/zBlock2-Library-b144843ad85f420c85b56ee104e3f550