Hamid list – Telegram
Hamid list
619 subscribers
165 photos
2 videos
30 files
991 links
(Bitcoin, Ethereum, DeFi, Finance, Computer science)

@newbateni
Download Telegram
Efficient Lossless Compression of Trees and Graphs

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

#Do
#research
#Do

EVMX (384 bit)
👍1
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
Now since you are using TypeScript as a tool to help enforce some rules at design time


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

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

eth privacy:

deterministic change on smart wallet admin key and this is deterministic just for the owner of the previous key + gasless transaction aproachs


برگرد ببین راهی هست که بتونی این deterministic change بودن رو پیاده سازی کنی


ببین تورنادو کش چجوری آدرس مقصد رو از کاربر دریافت میکنه جوری که لو نره کدوم ادرس رو کدوم واریز کننده داده ( شاید بتونه این جواب برای سوال بالات باشه)