Try   HackMD

zBlock2 | yAcademy Notes

Opening Session (15 Jan 2024)

3-4 month long tim fellowship

Image Not Showing Possible Reasons
  • The image file may be corrupted
  • The server hosting the image is unavailable
  • The image path is incorrect
  • The image format is not supported
Learn More →

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

Last changed by 
 
Hamid Bateni
0
50

Read more

Cross-Chain Atomic Swap HTLC Lifecycle

Cross-Chain Atomic Swap

May 8, 2025
Shiryakhat: The Return

profile

Feb 10, 2025
Disaster Recovery

Below is a refined technical document that clarifies the role of the temporary key and how the emergency/disaster UTXO is effectively unspendable except via the pre-signed “recovery transaction.” In particular, this version emphasizes that there is no extra script-based lock on the disaster UTXO; rather, it is simply sent to the temporary key Key_T, and the only valid signature to spend it is the one created (and then partially shared) by the custodian before Key_T was destroyed.

Dec 28, 2024
EPF-5 | Week 11

Hello internet, over the past 3-4 weeks, I have been deeply engaged in testing and prototyping my project idea, Inclusion List with Plausible Deniability. Through several iterations, I explored the feasibility of this idea and worked to identify potential challenges and solutions. However, as I delved deeper into the implementation, it became clear that the concept faced significant hurdles that would prevent its adoption on the Ethereum mainnet. These challenges included network overhead and other limitations, which I will discuss in more detail in the following sections.

Aug 26, 2024
Read more from Hamid Bateni
Published on HackMD