#do
#research

Parallel computing in consensus
(Julia)

#research
#Do

a blockchain that drop its history in every 2 years and provide zk proof for validity of the last state instead of keeping history

* search about attack vectors and weakness
* pros and cons ?

Efficient Lossless Compression of Trees and Graphs

https://users.cs.duke.edu/~reif/paper/chen/graph/graph.pdf

#Do

#research
#Do

EVMX (384 bit)

https://vitalik.ca/general/2021/06/18/verkle.html



So what is this little extra that we need as a proof? To understand that, we first need to circle back to one key detail: the hash function used to compute an inner node from its children is not a regular hash. Instead, it's a vector commitment.

A vector commitment scheme is a special type of hash function, hashing a list . But vector commitments have the special property that for a commitment and a value , it's possible to make a short proof that is the commitment to some list where the value at the i'th position is . In a Verkle proof, this short proof replaces the function of the sister nodes in a Merkle Patricia proof, giving the verifier confidence that a child node really is the child at the given position of its parent node.

ZK-SNARKs are hard because the verifier needs to somehow check millions of steps in a computation, without doing a piece of work to check each individual step directly (as that would take too long).

We get around this by encoding the computation into polynomials.

A single polynomial can contain an unboundedly large amount of information, and a single polynomial expression (eg. ) can "stand in" for an unboundedly large number of equations between numbers.

If you can verify the equation with polynomials, you are implicitly verifying all of the number equations (replace with any actual x-coordinate) simultaneously.

We use a special type of "hash" of a polynomial, called a polynomial commitment, to allow us to actually verify the equation between polynomials in a very short amount of time, even if the underlying polynomials are very large

there are many (50+) variants of SNARKs

#Do
#research

Now since you are using TypeScript as a tool to help enforce some rules at design time


اگه از یه پراپرتی پرایوت خارج از کلاس تو تایپ اسکریپت استفاده کنی
تایپ اسکریپت ide جیغ میزنن اما اگه به زور کامپایلش کنی به js اکی هستش کد و اجرا میشه بدون مشکل چون js اکسس مودیفایر ها رو نمیشناسه

سر همین جمله اول جمله زیبا و کاربردی ای هستش :))