Hamid
https://epf.wiki/#/eps/week0 Ethereum Protocol Fellowship Study Group
Testing & Security Overview | Mario Vega | Week 4
https://www.youtube.com/watch?v=PQVW5dJ8J0c
It's live now
https://www.youtube.com/watch?v=PQVW5dJ8J0c
It's live now
YouTube
Testing & Security Overview | Mario Vega | Week 4
An overview on the state of Ethereum testing
❤2
ایگن هم پروژه جالبیه
اگه یه تصمیم طراحی سیستم توی لایه اجماع اتریوم عوض میشد کلا شدنی نبودش، این که withdrawal credentials رو فقط میشه یه بار عوض کرد (اپدیت کرد)
برای چک کردن و سینک شدن Execution layer با اتفاقات consensus layer داره از zksnark استفاده میکنه ( telepathy: پیاده سازیش با سیرکامه و جالبه چک کردنش)
اگه یه تصمیم طراحی سیستم توی لایه اجماع اتریوم عوض میشد کلا شدنی نبودش، این که withdrawal credentials رو فقط میشه یه بار عوض کرد (اپدیت کرد)
برای چک کردن و سینک شدن Execution layer با اتفاقات consensus layer داره از zksnark استفاده میکنه ( telepathy: پیاده سازیش با سیرکامه و جالبه چک کردنش)
👍3❤2
Forwarded from Hamid
۱-
فرض کنیم من یه سولو استیکر هستم که withdrawal credentials رو از bls تغییر دادم به ادرس های Ethereum EL، با توجه چیزی که اینجا داریم من دیگه نمیتونم وارد ایگن لیر بشم و باید یه دور خارج بشم و برگردم
و این پایه های اساسی امنیت ایگن لیر هم هستش چرا که اگه میشد عوض کرد من تو ایگن لیر کثافت کاری میکردم و بعد ادرس برداشتم رو عوض میکردم و میرفتم و انگار نه انگار
۲-
با توجه به این فکت مدلی که کانترکت های ایگن لیر accounting اشون رو هندل میکنن چجوری هستش؟
۳-
الف) با توجه به جمله شماره ۲ این تابع هایی که باید مقدار ویدرا شده رو اسلش کنن چجوری اجرا میشن و اثبات میشن چون هیچ ردی نمونده که این اتری که الان اضافه شده در نتیجه درخواست برداشت کدوم ولیدیتور بوده
( باید یه نوع اراکل داشته باشن ولی هنوز تو وایت پیپرشون چیزی ازش نگفته شاید برم کد ها چک کنم پیدا کنم همچین چیزی)
ب) داشتم به این فکر میکردم که خب اگه من ولیدتور بودم و خطا کرده بودم هیچ وقت برداشت نمیزدم و سود و فی رو دریافت میکردم ولی نکته اینه که ریوارد بلاک یا کلا. بقیه نوع های ریوارد pos ای اضافه میشه به مقدار بالانس استیک شده و توی اون حالت فقط فی رو دریافت میکنم و بعد از یه مدت که بخوام ریوارد های اجماع رو دریافت کنم ایگن لیر یقه ام رو میگیره
Resources:
https://eth2book.info/capella/part2/deposits-withdrawals/withdrawal-processing/
https://docs.eigenlayer.xyz/assets/files/EigenLayer_WhitePaper-88c47923ca0319870c611decd6e562ad.pdf
———————
update:
جواب ۲و۳ رو اینجا میشه پیدا کرد
https://github.com/Layr-Labs/eigenlayer-contracts/blob/master/docs/core/EigenPodManager.md
https://docs.telepathy.xyz/
https://github.com/Layr-Labs/eigenlayer-contracts/tree/dev/docs
Changing withdrawal credentials is a one-time operation. Once a validator has Eth1 credentials, no further change is possible. The only way to change your withdrawal payout address once it has been set is to exit your validator and re-stake with the new credentials.
فرض کنیم من یه سولو استیکر هستم که withdrawal credentials رو از bls تغییر دادم به ادرس های Ethereum EL، با توجه چیزی که اینجا داریم من دیگه نمیتونم وارد ایگن لیر بشم و باید یه دور خارج بشم و برگردم
و این پایه های اساسی امنیت ایگن لیر هم هستش چرا که اگه میشد عوض کرد من تو ایگن لیر کثافت کاری میکردم و بعد ادرس برداشتم رو عوض میکردم و میرفتم و انگار نه انگار
۲-
The withdrawal address may be a normal Ethereum account (an EOA) or a smart contract. However, when it is a smart contract, no code will be executed on receiving a withdrawal payout. This differs from receiving Ether via a transfer, which can cause a fallback function to be called.
با توجه به این فکت مدلی که کانترکت های ایگن لیر accounting اشون رو هندل میکنن چجوری هستش؟
۳-
If a staker who is restaked on EigenLayer is proven to have behaved ad-
versarially while participating in an AVS, then that staker’s ETH will be subject to slashing and are
frozen, that is, prevented from further participation on any AVS on EigenLayer. Since the withdrawal
address of the staker is set to the EigenLayer contracts, when the staker withdraws their ETH from par-
ticipation in Ethereum consensus through EigenLayer, the withdrawn ETH will be slashed according
to the on-chain slashing contract of the AVS
الف) با توجه به جمله شماره ۲ این تابع هایی که باید مقدار ویدرا شده رو اسلش کنن چجوری اجرا میشن و اثبات میشن چون هیچ ردی نمونده که این اتری که الان اضافه شده در نتیجه درخواست برداشت کدوم ولیدیتور بوده
( باید یه نوع اراکل داشته باشن ولی هنوز تو وایت پیپرشون چیزی ازش نگفته شاید برم کد ها چک کنم پیدا کنم همچین چیزی)
ب) داشتم به این فکر میکردم که خب اگه من ولیدتور بودم و خطا کرده بودم هیچ وقت برداشت نمیزدم و سود و فی رو دریافت میکردم ولی نکته اینه که ریوارد بلاک یا کلا. بقیه نوع های ریوارد pos ای اضافه میشه به مقدار بالانس استیک شده و توی اون حالت فقط فی رو دریافت میکنم و بعد از یه مدت که بخوام ریوارد های اجماع رو دریافت کنم ایگن لیر یقه ام رو میگیره
Resources:
https://eth2book.info/capella/part2/deposits-withdrawals/withdrawal-processing/
https://docs.eigenlayer.xyz/assets/files/EigenLayer_WhitePaper-88c47923ca0319870c611decd6e562ad.pdf
———————
update:
جواب ۲و۳ رو اینجا میشه پیدا کرد
https://github.com/Layr-Labs/eigenlayer-contracts/blob/master/docs/core/EigenPodManager.md
https://docs.telepathy.xyz/
https://github.com/Layr-Labs/eigenlayer-contracts/tree/dev/docs
eth2book.info
Upgrading Ethereum | 2.7.4 Withdrawals
A technical handbook on Ethereum's move to proof of stake and beyond.
❤3🤔1🤯1
Hamid list
Photo
this is not financial advice, please do your own research :)))
این مدل استفاده کردنش هم احتمالا جزء کم ریوارد ده ترین ها هستش چون AVS های کمی میان سراغ این استراتژی چون امنیتی که میده بهشون خیلی کمتر از native restaking هستش و صرفا برای این که بدون restake کردن از دنیا نرم دارم امتحانش میکنم
این مدل استفاده کردنش هم احتمالا جزء کم ریوارد ده ترین ها هستش چون AVS های کمی میان سراغ این استراتژی چون امنیتی که میده بهشون خیلی کمتر از native restaking هستش و صرفا برای این که بدون restake کردن از دنیا نرم دارم امتحانش میکنم
❤2
MACI counters this by using zk-SNARKs to essentially hide how each person voted while still revealing the final vote result. User’s cannot prove which option they voted for, and therefore bribers cannot reliably trust that a user voted for their preferred option.
For example, a voter can tell a briber that they are voting for option A, but in reality they voted for option B. There is no reliable way to prove which option the voter actually voted for, so the briber does not have the incentive to pay voters to vote their way.
https://maci.pse.dev/blog/maci-1-0-technical-introduction/
For example, a voter can tell a briber that they are voting for option A, but in reality they voted for option B. There is no reliable way to prove which option the voter actually voted for, so the briber does not have the incentive to pay voters to vote their way.
https://maci.pse.dev/blog/maci-1-0-technical-introduction/
maci.pse.dev
A Technical Introduction to MACI 1.0 | MACI
Discover MACI 1.0: A groundbreaking solution for secure, collusion-resistant on-chain voting, powered by zk-SNARKs, ensuring transparency and integrity in every vote.
👍3