The MoonMath Manual is a resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
https://github.com/LeastAuthority/moonmath-manual/releases/latest/download/main-moonmath.pdf
https://github.com/LeastAuthority/moonmath-manual/releases/latest/download/main-moonmath.pdf
🔥4
Hamid list pinned «The MoonMath Manual is a resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts. https://github.com/LeastAuthority/moonmath-manual/releases/latest/download/main-moonmath.pdf»
مراحلش رو برای یکی از بچه ها نوشتم گفتم اینجا هم بزارم شاید به کار یکی دیگه هم اومد
https://separate-ticket-9a3.notion.site/Dubai-Company-Registration-for-Iranian-97547180757e478fa22feadfa6b523d8
https://separate-ticket-9a3.notion.site/Dubai-Company-Registration-for-Iranian-97547180757e478fa22feadfa6b523d8
👍5❤2
150482136530742605727407224741908336219411789525991232316119761866291305583904218532952444490202673460315445578101160540380924500366404126614839708387569010462018066042611941815246744762793830355619011291770143449410507383706272705889400904830378206543506108195480740803365499948090273
this is a prime number
this is a prime number
❤2
Technology Cold War
We are long past regulations/order infact humanity is on Autopilot & fast
We are long past regulations/order infact humanity is on Autopilot & fast
You build an organization and over the time you spend more time just trying to sustain the organization than to solve the problem that you set out to solve in the first place
Forwarded from Hamid
https://github.com/magicoss/msigner
مارکت پلیس های اردینال از همچین کانسپتی استفاده میکنن برای جا به جایی خودکار دارایی ها
مارکت پلیس های اردینال از همچین کانسپتی استفاده میکنن برای جا به جایی خودکار دارایی ها
GitHub
GitHub - me-foundation/msigner: msigner is an open source Bitcoin Ordinals Partially Signed Bitcoin Transactions (PSBT) signer…
msigner is an open source Bitcoin Ordinals Partially Signed Bitcoin Transactions (PSBT) signer library. It supports atomic swap of the inscription and provides a simple and secure way to structure ...
Forwarded from Hamid
پوینت مشکل دار داستان اینه که من به عنوان فروشنده باید این اطمینان رو به مارکت پلیس بکنم که توکن من رو خودش همینطوری با امضایی که دادم بهش برنداره بره یا به یه خریداری بفروشه که با قیمت درست میخره اردینال من رو
Forwarded from آزمایشگاه بلاکچین نویان (S.M. Hosseini)
https://www.aparat.com/v/9FgN0
دکتر فرخ لقا معظمی: مقدمهای بر ریاضیات
Zero-knowledge proof
🌐 Join us: @NoyanBlockchainLab
دکتر فرخ لقا معظمی: مقدمهای بر ریاضیات
Zero-knowledge proof
🌐 Join us: @NoyanBlockchainLab
آپارات - سرویس اشتراک ویدیو
دکتر فرخ لقا معظمی: مقدمهای بر ریاضیات اثبات هیچدانشی
سخنرانی دکتر فرخ لقا معظمی، استادیار پژوهشکده فضای مجازی دانشگاه شهید بهشتی با موضوع «مقدمهای سیگما پروتکل» در تاریخ 3 اسفند 1401 در «کارگاه مقدماتی محاسبات امن» ارائه شد.
«کارگاه مقدماتی محاسبات امن» توسط انجمن رمز ایران و با همکاری پژوهشکده فضای مجازی…
«کارگاه مقدماتی محاسبات امن» توسط انجمن رمز ایران و با همکاری پژوهشکده فضای مجازی…
Forwarded from 𝕾𝖎𝖓𝖆
آزمایشگاه بلاکچین نویان
https://www.aparat.com/v/9FgN0 دکتر فرخ لقا معظمی: مقدمهای بر ریاضیات Zero-knowledge proof 🌐 Join us: @NoyanBlockchainLab
** پروتکل سیگما به بیان ساده تر :
گزیده ای که ارائه کردیم مفهوم پروتکل های سیگما را توضیح می دهد که معمولاً در رمزنگاری برای اثبات دانش یک راز بدون افشای خود راز استفاده می شود. در اینجا توضیح دقیق تری از ریاضیات پشت پروتکل های سیگما آورده شده است:
ابتدا اجازه دهید در مورد مسئله لگاریتم گسسته صحبت کنیم.
در یک گروه، اگر :
g^x = y، x
لگاریتم گسسته y نسبت به پایه g است. دشواری محاسبه لگاریتم های گسسته اساس بسیاری از سیستم های رمزنگاری است.
پروتکل سیگما خانواده ای از پروتکل های سه حرکتی با مرحله
* تعهد،
* چالش و
* پاسخ است.
در رمزنگاری، یک پروور میخواهد تأییدکننده را متقاعد کند که رازی را میداند.
تأیید کننده می خواهد مطمئن شود که اثبات کننده راز را می داند، بدون اینکه چیز دیگری در مورد راز بیاموزد.
فرمت یک پروتکل سیگما:
- تعهد: اثبات کننده تعهدی از راز آنها را برای تأیید کننده می فرستد.
- چالش: تأیید کننده یک چالش تصادفی را برای اثبات کننده ارسال می کند.
- پاسخ: اثبات کننده به چالش به گونه ای پاسخ می دهد که نشان دهد
آگاهی از راز در گزیده ای که ارائه کردیم، این پروتکل شامل اثبات دانش لگاریتم گسسته y1 با توجه به پایه g1 و لگاریتم گسسته مرتبط دیگری از y2 با توجه به پایه g2 است.
بیانیه رسمی که آنچه را که در این پروتکل اثبات می شود تعریف می کند:
PK\{(x):y_{1}=g_{1}^{{x}}\land y_{2}={(g_{2}^{a})}^{{x}}g_{2 }^{b}\}
این نماد اثبات دانشی را تعریف میکند که اثباتکننده یک x را میداند به طوری که:
y1 = g1^x و y2 = (g2^a)^x * g2^b.
برای اثبات این دانش، prover به یک مقدار تصادفی r متعهد می شود و تعهدات مربوط به این مقدار را با توجه به مبانی مربوطه محاسبه می کند.
سپس این تعهدات برای تایید کننده ارسال می شود. سپس تأیید کننده یک مقدار تصادفی c را تولید می کند و آن را به عنوان یک چالش به اثبات کننده می فرستد. اثباتکننده پاسخی را محاسبه میکند که چالش تأییدکننده را برآورده میکند و آن را به تأییدکننده میفرستد.
Prover این فرآیند را برای تعداد ثابتی از راندها تکرار میکند و اگر پاسخها در هر دور
ثابت باشد، تأییدکننده اثبات را میپذیرد. ویژگی کلیدی ریاضی که امنیت این پروتکل را تضمین می کند، سختی مسئله لگاریتم گسسته است.
اگر اثبات کننده بتواند دانش لگاریتم گسسته را بدون آشکار کردن مقدار خود x ثابت کند، به این معنی است که آنها از راز آگاهی دارند.
پروتکلهای سیگما با استفاده از ویژگیهای ریاضی گروه زیربنایی، همراه با تصادفیسازی و اثباتهای دانش صفر به این امر دست مییابند.
به طور خلاصه، پروتکلهای سیگما ابزار قدرتمندی در رمزنگاری مدرن هستند که بدون افشای اطلاعات حساس، اثبات دانش کارآمد و مطمئن را ممکن میسازد.
سینا نقشبندی - پایتون dev
گزیده ای که ارائه کردیم مفهوم پروتکل های سیگما را توضیح می دهد که معمولاً در رمزنگاری برای اثبات دانش یک راز بدون افشای خود راز استفاده می شود. در اینجا توضیح دقیق تری از ریاضیات پشت پروتکل های سیگما آورده شده است:
ابتدا اجازه دهید در مورد مسئله لگاریتم گسسته صحبت کنیم.
در یک گروه، اگر :
g^x = y، x
لگاریتم گسسته y نسبت به پایه g است. دشواری محاسبه لگاریتم های گسسته اساس بسیاری از سیستم های رمزنگاری است.
پروتکل سیگما خانواده ای از پروتکل های سه حرکتی با مرحله
* تعهد،
* چالش و
* پاسخ است.
در رمزنگاری، یک پروور میخواهد تأییدکننده را متقاعد کند که رازی را میداند.
تأیید کننده می خواهد مطمئن شود که اثبات کننده راز را می داند، بدون اینکه چیز دیگری در مورد راز بیاموزد.
فرمت یک پروتکل سیگما:
- تعهد: اثبات کننده تعهدی از راز آنها را برای تأیید کننده می فرستد.
- چالش: تأیید کننده یک چالش تصادفی را برای اثبات کننده ارسال می کند.
- پاسخ: اثبات کننده به چالش به گونه ای پاسخ می دهد که نشان دهد
آگاهی از راز در گزیده ای که ارائه کردیم، این پروتکل شامل اثبات دانش لگاریتم گسسته y1 با توجه به پایه g1 و لگاریتم گسسته مرتبط دیگری از y2 با توجه به پایه g2 است.
بیانیه رسمی که آنچه را که در این پروتکل اثبات می شود تعریف می کند:
PK\{(x):y_{1}=g_{1}^{{x}}\land y_{2}={(g_{2}^{a})}^{{x}}g_{2 }^{b}\}
این نماد اثبات دانشی را تعریف میکند که اثباتکننده یک x را میداند به طوری که:
y1 = g1^x و y2 = (g2^a)^x * g2^b.
برای اثبات این دانش، prover به یک مقدار تصادفی r متعهد می شود و تعهدات مربوط به این مقدار را با توجه به مبانی مربوطه محاسبه می کند.
سپس این تعهدات برای تایید کننده ارسال می شود. سپس تأیید کننده یک مقدار تصادفی c را تولید می کند و آن را به عنوان یک چالش به اثبات کننده می فرستد. اثباتکننده پاسخی را محاسبه میکند که چالش تأییدکننده را برآورده میکند و آن را به تأییدکننده میفرستد.
Prover این فرآیند را برای تعداد ثابتی از راندها تکرار میکند و اگر پاسخها در هر دور
ثابت باشد، تأییدکننده اثبات را میپذیرد. ویژگی کلیدی ریاضی که امنیت این پروتکل را تضمین می کند، سختی مسئله لگاریتم گسسته است.
اگر اثبات کننده بتواند دانش لگاریتم گسسته را بدون آشکار کردن مقدار خود x ثابت کند، به این معنی است که آنها از راز آگاهی دارند.
پروتکلهای سیگما با استفاده از ویژگیهای ریاضی گروه زیربنایی، همراه با تصادفیسازی و اثباتهای دانش صفر به این امر دست مییابند.
به طور خلاصه، پروتکلهای سیگما ابزار قدرتمندی در رمزنگاری مدرن هستند که بدون افشای اطلاعات حساس، اثبات دانش کارآمد و مطمئن را ممکن میسازد.
سینا نقشبندی - پایتون dev
👍3