سمارٹ کنٹریکٹ کی زبانیں
ایتھیریم کے بارے میں ایک بہترین پہلو یہ ہے کہ سمارٹ کنٹریکٹس کو نسبتاً ڈیولپر دوست زبانوں کا استعمال کرتے ہوئے پروگرام کیا جا سکتا ہے۔ اگر آپ کو Python یا کسی بھی کرلی بریکٹ زبان (نئے ٹیب میں کھلتا ہے) کا تجربہ ہے، تو آپ مانوس سنٹیکس والی زبان تلاش کر سکتے ہیں۔
دو سب سے زیادہ فعال اور برقرار رکھی جانے والی زبانیں یہ ہیں:
- Solidity
- Vyper
Remix مربوط ترقیاتی ماحول (آئی ڈی ای) Solidity اور Vyper دونوں میں کنٹریکٹس بنانے اور ٹیسٹ کرنے کے لیے ایک جامع ترقیاتی ماحول فراہم کرتا ہے۔ کوڈنگ شروع کرنے کے لیے براؤزر میں موجود Remix آئی ڈی ای کو آزمائیں (نئے ٹیب میں کھلتا ہے)۔
زیادہ تجربہ کار ڈیولپرز Yul کا استعمال بھی کرنا چاہیں گے، جو ایتھیریم ورچوئل مشین (EVM) کے لیے ایک درمیانی زبان ہے، یا Yul+، جو Yul کی ایک توسیع ہے۔
اگر آپ متجسس ہیں اور نئی زبانوں کو ٹیسٹ کرنے میں مدد کرنا پسند کرتے ہیں جو ابھی تک بھاری ترقی کے مراحل میں ہیں، تو آپ Fe کے ساتھ تجربہ کر سکتے ہیں، جو ایک ابھرتی ہوئی سمارٹ کنٹریکٹ زبان ہے اور فی الحال اپنے ابتدائی مراحل میں ہے۔
پیشگی شرائط
پروگرامنگ زبانوں، خاص طور پر JavaScript یا Python کا پیشگی علم، آپ کو سمارٹ کنٹریکٹ زبانوں میں فرق کو سمجھنے میں مدد دے سکتا ہے۔ ہم یہ بھی تجویز کرتے ہیں کہ زبانوں کے موازنے میں گہرائی تک جانے سے پہلے آپ سمارٹ کنٹریکٹس کو ایک تصور کے طور پر سمجھیں۔ سمارٹ کنٹریکٹس کا تعارف۔
Solidity
- سمارٹ کنٹریکٹس کو نافذ کرنے کے لیے آبجیکٹ اورینٹڈ، ہائی لیول زبان۔
- کرلی بریکٹ زبان جو C++ سے سب سے زیادہ متاثر ہوئی ہے۔
- سٹیٹیکلی ٹائپڈ (متغیر کی قسم کمپائل کے وقت معلوم ہوتی ہے)۔
- یہ سپورٹ کرتی ہے:
- وراثت (آپ دوسرے کنٹریکٹس کو بڑھا سکتے ہیں)۔
- لائبریریاں (آپ دوبارہ استعمال کے قابل کوڈ بنا سکتے ہیں جسے آپ مختلف کنٹریکٹس سے کال کر سکتے ہیں – جیسے دیگر آبجیکٹ اورینٹڈ پروگرامنگ زبانوں میں سٹیٹک کلاس میں سٹیٹک فنکشنز)۔
- پیچیدہ صارف کی متعین کردہ اقسام۔
اہم لنکس
- دستاویزات (نئے ٹیب میں کھلتا ہے)
- Solidity لینگویج پورٹل (نئے ٹیب میں کھلتا ہے)
- Solidity بذریعہ مثال (نئے ٹیب میں کھلتا ہے)
- GitHub (نئے ٹیب میں کھلتا ہے)
- Solidity Gitter چیٹ روم (نئے ٹیب میں کھلتا ہے) جو Solidity Matrix چیٹ روم (نئے ٹیب میں کھلتا ہے) سے منسلک ہے
- چیٹ شیٹ (نئے ٹیب میں کھلتا ہے)
- Solidity بلاگ (نئے ٹیب میں کھلتا ہے)
- Solidity ٹوئٹر (نئے ٹیب میں کھلتا ہے)
مثال کا کنٹریکٹ
// SPDX-License-Identifier: GPL-3.0
pragma solidity >= 0.7.0;
contract Coin {
// کی ورڈ "public" ویری ایبلز کو بناتا ہے
// دوسرے کنٹریکٹس سے قابل رسائی
address public minter;
mapping (address => uint) public balances;
// ایونٹس کلائنٹس کو مخصوص
// کنٹریکٹ کی تبدیلیوں پر ردعمل ظاہر کرنے کی اجازت دیتے ہیں جو آپ ڈکلیئر کرتے ہیں
event Sent(address from, address to, uint amount);
// کنسٹرکٹر کوڈ صرف اسی وقت چلتا ہے جب کنٹریکٹ
// بنایا جاتا ہے
constructor() {
minter = msg.sender;
}
// نئے بنائے گئے کوائنز کی ایک مقدار کسی ایڈریس پر بھیجتا ہے
// اسے صرف کنٹریکٹ بنانے والا ہی کال کر سکتا ہے
function mint(address receiver, uint amount) public {
require(msg.sender == minter);
require(amount < 1e60);
balances[receiver] += amount;
}
// موجودہ کوائنز کی ایک مقدار بھیجتا ہے
// کسی بھی کالر سے کسی ایڈریس پر
function send(address receiver, uint amount) public {
require(amount <= balances[msg.sender], "Insufficient balance.");
balances[msg.sender] -= amount;
balances[receiver] += amount;
emit Sent(msg.sender, receiver, amount);
}
}
یہ مثال آپ کو اندازہ دے گی کہ Solidity کنٹریکٹ کا سنٹیکس کیسا ہوتا ہے۔ فنکشنز اور متغیرات کی مزید تفصیلی وضاحت کے لیے، دستاویزات دیکھیں (نئے ٹیب میں کھلتا ہے)۔
Vyper
- پائتھونک (Pythonic) پروگرامنگ زبان
- سٹرانگ ٹائپنگ
- چھوٹا اور قابل فہم کمپائلر کوڈ
- موثر بائٹ کوڈ کی تخلیق
- جان بوجھ کر Solidity سے کم خصوصیات رکھتی ہے تاکہ کنٹریکٹس کو زیادہ محفوظ اور آڈٹ کرنے میں آسان بنایا جا سکے۔ Vyper درج ذیل کو سپورٹ نہیں کرتی:
- موڈیفائرز (Modifiers)
- وراثت (Inheritance)
- ان لائن اسمبلی (Inline assembly)
- فنکشن اوورلوڈنگ (Function overloading)
- آپریٹر اوورلوڈنگ (Operator overloading)
- ریکرسیو کالنگ (Recursive calling)
- لامحدود لمبائی کے لوپس (Infinite-length loops)
- بائنری فکسڈ پوائنٹس (Binary fixed points)
v0.4.0 کے بعد سے، Vyper ایک ماڈیول سسٹم (نئے ٹیب میں کھلتا ہے) کو سپورٹ کرتی ہے۔ کوڈ کا دوبارہ استعمال کلاس کی وراثت کے بجائے کمپوزیشن کے ذریعے حاصل کیا جاتا ہے۔
مزید معلومات کے لیے، Vyper کی دلیل پڑھیں (نئے ٹیب میں کھلتا ہے)۔
اہم لنکس
- دستاویزات (نئے ٹیب میں کھلتا ہے)
- Vyper بذریعہ مثال (نئے ٹیب میں کھلتا ہے)
- مزید Vyper بذریعہ مثال (نئے ٹیب میں کھلتا ہے)
- GitHub (نئے ٹیب میں کھلتا ہے)
- Vyper کمیونٹی ڈسکارڈ چیٹ (نئے ٹیب میں کھلتا ہے)
- چیٹ شیٹ (نئے ٹیب میں کھلتا ہے)
- Vyper کے لیے سمارٹ کنٹریکٹ ڈیولپمنٹ فریم ورکس اور ٹولز
- VyperPunk - Vyper سمارٹ کنٹریکٹس کو محفوظ بنانا اور ہیک کرنا سیکھیں (نئے ٹیب میں کھلتا ہے)
- ڈیولپمنٹ کے لیے Vyper ہب (نئے ٹیب میں کھلتا ہے)
- Vyper کی بہترین سمارٹ کنٹریکٹ مثالیں (نئے ٹیب میں کھلتا ہے)
- Awesome Vyper کے منتخب کردہ وسائل (نئے ٹیب میں کھلتا ہے)
مثال
# کھلی نیلامی
# نیلامی کے پیرامیٹرز
# فائدہ اٹھانے والا سب سے زیادہ بولی لگانے والے سے رقم وصول کرتا ہے
beneficiary: public(address)
auctionStart: public(uint256)
auctionEnd: public(uint256)
# نیلامی کی موجودہ حالت
highestBidder: public(address)
highestBid: public(uint256)
# آخر میں true پر سیٹ کیا جاتا ہے، کسی بھی تبدیلی کی اجازت نہیں دیتا
ended: public(bool)
# واپس کی گئی بولیوں کا ریکارڈ رکھیں تاکہ ہم ودڈرا پیٹرن کی پیروی کر سکیں
pendingReturns: public(HashMap[address, uint256])
# `_bidding_time` کے ساتھ ایک سادہ نیلامی بنائیں
# سیکنڈز بولی کا وقت، اس کی طرف سے
# فائدہ اٹھانے والے کے ایڈریس `_beneficiary`۔
@deploy
def __init__(_beneficiary: address, _bidding_time: uint256):
self.beneficiary = _beneficiary
self.auctionStart = block.timestamp
self.auctionEnd = self.auctionStart + _bidding_time
# بھیجی گئی ویلیو کے ساتھ نیلامی میں بولی لگائیں
# اس ٹرانزیکشن کے ساتھ۔
# ویلیو صرف اسی صورت میں واپس کی جائے گی اگر
# نیلامی نہیں جیتی جاتی۔
@external
@payable
def bid():
# چیک کریں کہ کیا بولی کا وقت ختم ہو گیا ہے۔
assert block.timestamp < self.auctionEnd
# چیک کریں کہ کیا بولی کافی زیادہ ہے
assert msg.value > self.highestBid
# پچھلے سب سے زیادہ بولی لگانے والے کے ریفنڈ کو ٹریک کریں
self.pendingReturns[self.highestBidder] += self.highestBid
# نئی سب سے زیادہ بولی کو ٹریک کریں
self.highestBidder = msg.sender
self.highestBid = msg.value
# پہلے سے ریفنڈ کی گئی بولی کو نکالیں۔ ودڈرا پیٹرن کا استعمال
# یہاں ایک سیکیورٹی مسئلے سے بچنے کے لیے کیا گیا ہے۔ اگر ریفنڈز براہ راست
# bid() کے حصے کے طور پر بھیجے جاتے، تو ایک نقصان دہ بولی لگانے والا کنٹریکٹ
# ان ریفنڈز کو روک سکتا تھا اور اس طرح نئی زیادہ بولیوں کو آنے سے روک سکتا تھا۔
@external
def withdraw():
pending_amount: uint256 = self.pendingReturns[msg.sender]
self.pendingReturns[msg.sender] = 0
send(msg.sender, pending_amount)
# نیلامی ختم کریں اور سب سے زیادہ بولی
# فائدہ اٹھانے والے کو بھیجیں۔
@external
def endAuction():
# یہ ایک اچھی گائیڈ لائن ہے کہ ان فنکشنز کو اسٹرکچر کیا جائے جو
# دوسرے کنٹریکٹس کے ساتھ تعامل کرتے ہیں (یعنی، وہ فنکشنز کو کال کرتے ہیں یا ایتھر بھیجتے ہیں)
# تین مراحل میں:
# 1. شرائط چیک کرنا
# 2. ایکشنز انجام دینا (ممکنہ طور پر شرائط کو تبدیل کرنا)
# 3. دوسرے کنٹریکٹس کے ساتھ تعامل کرنا
# اگر ان مراحل کو ملا دیا جائے، تو دوسرا کنٹریکٹ
# موجودہ کنٹریکٹ میں واپس کال کر سکتا ہے اور اسٹیٹ کو تبدیل کر سکتا ہے یا
# اثرات (ایتھر کی ادائیگی) کو کئی بار انجام دینے کا سبب بن سکتا ہے۔
# اگر اندرونی طور پر کال کیے گئے فنکشنز میں بیرونی
# کنٹریکٹس کے ساتھ تعامل شامل ہے، تو انہیں بھی بیرونی کنٹریکٹس کے ساتھ
# تعامل سمجھا جانا چاہیے۔
# 1. شرائط
# چیک کریں کہ کیا نیلامی کے اختتامی وقت تک پہنچ چکے ہیں
assert block.timestamp >= self.auctionEnd
# چیک کریں کہ کیا یہ فنکشن پہلے ہی کال کیا جا چکا ہے
assert not self.ended
# 2. اثرات
self.ended = True
# 3. تعامل
send(self.beneficiary, self.highestBid)
یہ مثال آپ کو اندازہ دے گی کہ Vyper کنٹریکٹ کا سنٹیکس کیسا ہوتا ہے۔ فنکشنز اور متغیرات کی مزید تفصیلی وضاحت کے لیے، دستاویزات دیکھیں (نئے ٹیب میں کھلتا ہے)۔
Yul اور Yul+
اگر آپ ایتھیریم میں نئے ہیں اور ابھی تک سمارٹ کنٹریکٹ زبانوں کے ساتھ کوئی کوڈنگ نہیں کی ہے، تو ہم تجویز کرتے ہیں کہ Solidity یا Vyper سے شروعات کریں۔ Yul یا Yul+ کو صرف اسی وقت دیکھیں جب آپ سمارٹ کنٹریکٹ سیکیورٹی کے بہترین طریقوں اور EVM کے ساتھ کام کرنے کی تفصیلات سے واقف ہو جائیں۔
Yul
- ایتھیریم کے لیے درمیانی زبان۔
- EVM اور Ewasm (نئے ٹیب میں کھلتا ہے) کو سپورٹ کرتی ہے، جو ایتھیریم کے ذائقے والی WebAssembly ہے، اور اسے دونوں پلیٹ فارمز کے قابل استعمال مشترکہ ڈینومینیٹر کے طور پر ڈیزائن کیا گیا ہے۔
- اعلیٰ سطحی آپٹیمائزیشن کے مراحل کے لیے ایک اچھا ہدف جو EVM اور Ewasm دونوں پلیٹ فارمز کو یکساں طور پر فائدہ پہنچا سکتا ہے۔
Yul+
- Yul کی ایک نچلی سطح کی، انتہائی موثر توسیع۔
- ابتدائی طور پر ایک آپٹمسٹک رول اپ کنٹریکٹ کے لیے ڈیزائن کیا گیا تھا۔
- Yul+ کو Yul کے لیے ایک تجرباتی اپ گریڈ تجویز کے طور پر دیکھا جا سکتا ہے، جو اس میں نئی خصوصیات کا اضافہ کرتا ہے۔
اہم لنکس
- Yul کی دستاویزات (نئے ٹیب میں کھلتا ہے)
- Yul+ کی دستاویزات (نئے ٹیب میں کھلتا ہے)
- Yul+ کے تعارف کی پوسٹ (نئے ٹیب میں کھلتا ہے)
مثال کا کنٹریکٹ
درج ذیل سادہ مثال ایک پاور فنکشن کو نافذ کرتی ہے۔ اسے solc --strict-assembly --bin input.yul کا استعمال کرتے ہوئے کمپائل کیا جا سکتا ہے۔ اس مثال کو input.yul فائل میں محفوظ کیا جانا چاہیے۔
{
function power(base, exponent) -> result
{
switch exponent
case 0 { result := 1 }
case 1 { result := base }
default
{
result := power(mul(base, base), div(exponent, 2))
if mod(exponent, 2) { result := mul(base, result) }
}
}
let res := power(calldataload(0), calldataload(32))
mstore(0, res)
return(0, 32)
}
اگر آپ پہلے سے ہی سمارٹ کنٹریکٹس کا اچھا تجربہ رکھتے ہیں، تو Yul میں ایک مکمل ERC-20 کا نفاذ یہاں (نئے ٹیب میں کھلتا ہے) پایا جا سکتا ہے۔
Fe
- ایتھیریم ورچوئل مشین (EVM) کے لیے سٹیٹیکلی ٹائپڈ زبان۔
- Python اور Rust سے متاثر۔
- اس کا مقصد سیکھنے میں آسان ہونا ہے -- یہاں تک کہ ان ڈیولپرز کے لیے بھی جو ایتھیریم ایکو سسٹم میں نئے ہیں۔
- Fe کی ترقی ابھی اپنے ابتدائی مراحل میں ہے، اس زبان کا الفا ریلیز جنوری 2021 میں ہوا تھا۔
اہم لنکس
- GitHub (نئے ٹیب میں کھلتا ہے)
- Fe کا اعلان (نئے ٹیب میں کھلتا ہے)
- Fe کا 2021 کا روڈ میپ (نئے ٹیب میں کھلتا ہے)
- Fe ڈسکارڈ چیٹ (نئے ٹیب میں کھلتا ہے)
- Fe ٹوئٹر (نئے ٹیب میں کھلتا ہے)
مثال کا کنٹریکٹ
درج ذیل Fe میں نافذ کیا گیا ایک سادہ کنٹریکٹ ہے۔
type BookMsg = bytes[100]
contract GuestBook:
pub guest_book: map<address, BookMsg>
event Signed:
book_msg: BookMsg
pub def sign(book_msg: BookMsg):
self.guest_book[msg.sender] = book_msg
emit Signed(book_msg=book_msg)
pub def get_msg(addr: address) -> BookMsg:
return self.guest_book[addr].to_mem()
انتخاب کیسے کریں
کسی بھی دوسری پروگرامنگ زبان کی طرح، یہ زیادہ تر صحیح کام کے لیے صحیح ٹول کے انتخاب کے ساتھ ساتھ ذاتی ترجیحات کے بارے میں ہے۔
اگر آپ نے ابھی تک کسی بھی زبان کو نہیں آزمایا ہے تو یہاں غور کرنے کے لیے چند چیزیں ہیں:
Solidity کے بارے میں کیا زبردست ہے؟
- اگر آپ ابتدائی ہیں، تو وہاں بہت سے ٹیوٹوریلز اور سیکھنے کے ٹولز موجود ہیں۔ اس کے بارے میں مزید کوڈنگ کے ذریعے سیکھیں سیکشن میں دیکھیں۔
- اچھے ڈیولپر ٹولز دستیاب ہیں۔
- Solidity کی ایک بڑی ڈیولپر کمیونٹی ہے، جس کا مطلب ہے کہ آپ کو اپنے سوالات کے جوابات بہت جلد ملنے کا امکان ہے۔
Vyper کے بارے میں کیا زبردست ہے؟
- ان Python ڈیولپرز کے لیے شروعات کرنے کا بہترین طریقہ جو سمارٹ کنٹریکٹس لکھنا چاہتے ہیں۔
- Vyper میں خصوصیات کی تعداد کم ہے جو اسے آئیڈیاز کی فوری پروٹو ٹائپنگ کے لیے بہترین بناتی ہے۔
- Vyper کا مقصد آڈٹ کرنے میں آسان اور زیادہ سے زیادہ انسانوں کے پڑھنے کے قابل ہونا ہے۔
Yul اور Yul+ کے بارے میں کیا زبردست ہے؟
- سادہ اور فعال نچلی سطح کی زبان۔
- خام EVM کے بہت قریب جانے کی اجازت دیتی ہے، جو آپ کے کنٹریکٹس کے گیس کے استعمال کو بہتر بنانے میں مدد کر سکتی ہے۔
زبانوں کا موازنہ
بنیادی سنٹیکس، کنٹریکٹ کے لائف سائیکل، انٹرفیسز، آپریٹرز، ڈیٹا سٹرکچرز، فنکشنز، کنٹرول فلو، اور مزید کے موازنے کے لیے Auditless کی یہ چیٹ شیٹ (نئے ٹیب میں کھلتا ہے) دیکھیں۔