مراحلش رو برای یکی از بچه ها نوشتم گفتم اینجا هم بزارم شاید به کار یکی دیگه هم اومد
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
Forwarded from Joran Honig
What do you all think abt: https://twitter.com/HatforceSec/status/1671758690808913922
I feel like the paper is a bit of a stretch, and am worried this will kick off an "I got audited by chat gpt" wave.
I feel like the paper is a bit of a stretch, and am worried this will kick off an "I got audited by chat gpt" wave.
Unit 7: Transactions and Scripting
The bitcoin transaction script language, called Script, is a Forth-like reverse-polish notation stack-based execution language. If that sounds like gibberish, you probably haven't studied 1960s programming languages, but that's ok – we will explain it all in this chapter. Both the locking script placed on an UTXO and the unlocking script are written in this scripting language. When a transaction is validated, the unlocking script in each input is executed alongside the corresponding locking script to see if it satisfies the spending condition.
https://learn.saylor.org/course/view.php?id=500§ionid=19139
The bitcoin transaction script language, called Script, is a Forth-like reverse-polish notation stack-based execution language. If that sounds like gibberish, you probably haven't studied 1960s programming languages, but that's ok – we will explain it all in this chapter. Both the locking script placed on an UTXO and the unlocking script are written in this scripting language. When a transaction is validated, the unlocking script in each input is executed alongside the corresponding locking script to see if it satisfies the spending condition.
https://learn.saylor.org/course/view.php?id=500§ionid=19139
Saylor Academy
CS120: Bitcoin for Developers I | Saylor Academy
❤3
From now on, if you see a multisig unlocking script, you should expect to see an extra 0 in the beginning, whose only purpose is as a workaround to a bug that accidentally became a consensus rule.
https://learn.saylor.org/mod/book/view.php?id=36369&chapterid=18956
https://learn.saylor.org/mod/book/view.php?id=36369&chapterid=18956