ஒப்பந்தக் கருவிகள்

Pythonistas, தரவு விஞ்ஞானிகள் மற்றும் பாதுகாப்பு நிபுணர்களுக்கான ஸ்மார்ட் ஒப்பந்த மேம்பாட்டுக் கருவி

Scaffold-ETH 2 என்பது பணப்பை ஹூக்குகள், நிகழ்நேர ஒப்பந்த மறுஏற்றம், உள்ளூர் பாசெட் பயன்பாடுகள் மற்றும் முழு-ஸ்டாக் பரவலாக்கப்பட்ட செயலி (dapp) நிலைநிறுத்தத்திற்கான நீட்டிப்புத் தொகுதிகள் ஆகியவற்றைக் கொண்ட ஒரு Next.js மற்றும் Hardhat அல்லது Foundry தொடக்கக் கருவியாகும்.

Ethereum Virtual Machine-ஐ இலக்காகக் கொண்ட ஸ்மார்ட் ஒப்பந்தங்களுக்கான Python அடிப்படையிலான மேம்பாடு மற்றும் சோதனைக் கட்டமைப்பு.

Moccasin என்பது Vyper-இல் எழுதப்பட்ட திறன் ஒப்பந்தங்களைச் சோதனை செய்வதற்கும், ஃபஸ்ஸிங் செய்வதற்கும் மற்றும் நிலைநிறுத்துவதற்கும் Titanoboa-வில் உள்ள Cyfrin-இன் Python-ஐ முதன்மையாகக் கொண்ட பணிப்பாய்வு ஆகும்.

ethPM என்பது எந்தவொரு EVM ஸ்மார்ட் ஒப்பந்த அமைப்பையும் பயன்படுத்த, விநியோகிக்க அல்லது நிர்வகிக்கக்கூடிய மாற்ற முடியாத தொகுப்பு மேலாளர் (immutable package manager) ஆகும்.

நீங்கள் GUI-களை விட டெர்மினல்களை விரும்பும் போது, பொதுவான எத்திரியம் பணிகளுக்கான விருப்பத்திற்குரிய AI உதவியாளர்களுடன் EthernautDAO வழங்கும் Hardhat-ஐ அடிப்படையாகக் கொண்ட கட்டளைக் கருவிப்பெட்டியே Ethernaut CLI ஆகும்.

opstack-kit ஆனது பாலம் அமைக்கும் உதவிகள், CustomGasToken செயல்முறைகள் மற்றும் OP Stack CLI பணிகள் ஆகியவற்றை ஸ்டார்ட்டரிலேயே ஒருங்கிணைத்து, Superchain-ஐ ஆதரிக்கும் முன்பக்கங்கள் மற்றும் ஸ்கிரிப்டுகளைக் கட்டமைக்கிறது.

இலகுரக இணைய அடிப்படையிலான திறன் ஒப்பந்த IDE

உங்கள் Ethereum மென்பொருளை உருவாக்க மற்றும் வரிசைப்படுத்த Hardhat ஒரு மேம்பாட்டுச் சூழலாகும்

Foundry என்பது எத்திரியம் திறன் ஒப்பந்தப் பொறியியலுக்கான வேகமான, கையடக்கமான Rust கருவித்தொகுப்பாகும், இது சார்புநிலைகளை நிர்வகிக்கிறது, Solidity-ஐத் தொகுக்கிறது, ஃபஸ் மற்றும் யூனிட் சோதனைகளை இயக்குகிறது, ஒப்பந்தங்களை நிலைநிறுத்துகிறது, மேலும் முனையம் அல்லது Solidity தானியக்க ஸ்கிரிப்ட்களிலிருந்து ஸ்கிரிப்ட் செய்யப்பட்ட சங்கிலித் தொடர்புகளை இயக்குகிறது.

Kurtosis மீண்டும் உருவாக்கக்கூடிய பல-சேவை டெவ்நெட்களைத் தொகுக்கிறது, இதனால் கையால் பராமரிக்கப்படும் கம்போஸ் கோப்புகளை விட வேகமாக ஒருங்கிணைப்பு சோதனைகளுக்காக யதார்த்தமான எத்திரியம் அல்லது ரோலப் அடுக்குகளை நீங்கள் தொடங்கலாம்.

CreateX என்பது pcaversaccio-இன் நம்பிக்கை தேவையில்லாத உலகளாவிய நிலைநிறுத்தியாகும், இது CREATE, CREATE2 மற்றும் CREATE3-பாணி ஓட்டங்களை ஒருங்கிணைக்கிறது, இதனால் குழுக்கள் தனிப்பயன் ஃபேக்டரி குறியீடு இல்லாமல் கணிக்கக்கூடிய முகவரிகளிலிருந்து ஒப்பந்தங்களைத் தொடங்க முடியும்.

ஒரே தீர்மானகரமான முகவரியுடன் பல EVM செயின்கள் முழுவதும் உங்கள் ஸ்மார்ட் ஒப்பந்தங்களைப் பயன்படுத்துவதற்கான Hardhat செருகுநிரல். (கிட்டத்தட்ட) அனைத்து OP-stack-ஆல் இயங்கும் செயின்கள் உட்பட மொத்தம் 133 EVM செயின்கள் தற்போது ஆதரிக்கப்படுகின்றன.

ஸ்மார்ட் ஒப்பந்தச் சோதனைத் தொகுப்புகளுக்கான எரிவாயுப் பயன்பாட்டுப் பகுப்பாய்வை வழங்கும் hardhat செருகுநிரல் (plugin). இது OPStack செயின்களுக்கான பிரத்யேக ஆதரவைக் கொண்டுள்ளது, > 150k Github ரெப்போக்களில் (repos) சார்புநிலையாக (dependency) உள்ளது மற்றும் வாரத்திற்கு > 100k NPM-லிருந்து பதிவிறக்கம் செய்யப்படுகிறது.

foundry-இல் கொடுக்கப்பட்ட சூழலிலிருந்து மிகச் சமீபத்திய வரிசைப்படுத்தலைப் (deployment) பெறுவதற்கான கருவி. இதன் மூலம், நீங்கள் solidity-இல் முந்தைய வரிசைப்படுத்தல்களிலிருந்து ஸ்கிரிப்டிங் செய்யலாம்.

Create2Deployer என்பது pcaversaccio உருவாக்கிய ஒரு குறைந்தபட்ச தொழிற்சாலை ஒப்பந்தமாகும், இது CREATE2 செயல்பாட்டுக் குறியீட்டைப் பாதுகாப்புச் சரிபார்ப்புகளுடன் உள்ளடக்கியுள்ளது, இதனால் குழுக்கள் தீர்மானகரமான முகவரிகளில் எதிர்-உண்மை ஒப்பந்தங்களை நிலைநிறுத்த முடியும்.

Redprint ஆனது வழிகாட்டி-பாணி விளையாட்டு மைதானத்தை redprint-forge நிரலகங்களுடன் இணைக்கிறது, இதனால் டெவலப்பர்கள் மாற்றங்கள் தயாரிப்பு பைப்லைன்களுக்குச் செல்வதற்கு முன், வகை-பாதுகாப்பான நிலைநிறுத்தங்கள், மீண்டும் பயன்படுத்தக்கூடிய சோதனைகள், Safe-அறிந்த பரிவர்த்தனை ஸ்கிரிப்டிங் மற்றும் மாடுலர் கூறு இணைப்பு ஆகியவற்றுடன் Solidity-இல் OP Stack ஒப்பந்த மேம்படுத்தல்களைப் பரிசோதனை முறையில் உருவாக்க முடியும்.

கிரிப்டோ இன்ஃப்ராஸ்ட்ரக்சரை குறியீடாக (Crypto Infrastructure as Code) அறிமுகப்படுத்துவதன் மூலம் ஸ்மார்ட் ஒப்பந்த உள்கட்டமைப்பு நிர்வாகத்தின் மன அழுத்தம், வலி மற்றும் கண்ணீரை Txtx மாற்றுகிறது. ரன்புக்குகள் (Runbooks) பொறியியல் சிறப்பிற்கான வரைபடமாகும், இது Web3 உள்கட்டமைப்புகளுக்கான புதிய தரநிலையை அமைக்கிறது.

Cannon என்பது Ethereum-இல் உள்ள நெறிமுறைகளுக்கான DevOps கருவியாகும். இது உள்ளூர் மேம்பாடு மற்றும் நேரடி நெட்வொர்க்குகளுக்கான ஸ்மார்ட் ஒப்பந்த வரிசைப்படுத்தல் (deployment) மற்றும் உள்ளமைவை (configuration) நிர்வகிக்கிறது.

ஸ்மார்ட் ஒப்பந்தத்தின் கட்டுமானத் தொகுதிகளுடன் செல்லும் 100% ஓப்பன் சோர்ஸ் CLI. dApps மேம்பாட்டிற்காக கால்டேட்டாவை என்கோட் செய்வதன் மூலம் L2 கேஸ் செலவைக் குறைக்க இந்தக் கருவிப்பெட்டி உதவும், முடிந்தவரை குறைவான பைட்ஸ் கால்டேட்டாவைப் பயன்படுத்தும்.

உங்கள் ஒவ்வொரு Pull Request-களிலும் தானாகவே Foundry உருவாக்கிய எரிவாயு அறிக்கைகளை (gas reports) எளிதாக ஒப்பிடலாம்!

உங்கள் ரோலப் எவ்வாறு செயல்படுகிறது என்பதற்கான முழுமையான கட்டுப்பாட்டுடன் சோதனைகளை இயக்க, நெட்வொர்க்குகளை ஃபோர்க் செய்ய மற்றும் ஸ்டேட்டை ஆய்வு செய்ய தனிப்பட்ட Superchain சூழலைத் தொடங்கவும். அல்டிமேட் Ethereum & Superchain டெவலப்மெண்ட் பிளேகிரவுண்ட்

இந்த கையொப்பமிடும் ப்ராக்ஸி, OP Stack இயக்குபவர்கள் வட்டில் உள்ள மூலத் தனிப்பட்ட திறவுகோல்களுக்குப் பதிலாக AWS KMS அல்லது YubiHSM மூலம் வரிசைப்படுத்தி, பேட்சர், முன்மொழிபவர் மற்றும் சவாலாளர் கையொப்பமிடுதலை வழிநடத்த அனுமதிக்கிறது.

OpenZeppelin Contracts என்பது ஸ்மார்ட் ஒப்பந்த மேம்பாட்டிற்கான முதன்மை லைப்ரரி ஆகும்.

Solidity என்பது ஸ்மார்ட் ஒப்பந்தங்களைச் செயல்படுத்துவதற்கான ஒரு ஆப்ஜெக்ட்-ஓரியண்டட், உயர்-நிலை மொழியாகும்.

நிறுவன வரைபட நெறிமுறை (organizational graph protocol): Hats Protocol மூலம் உங்கள் நிறுவனத்தின் பாத்திரங்கள், ஏஜெண்டுகள் மற்றும் அனுமதிகளை நிரல்படுத்தக்கூடிய வரைபடத்தில் குறியாக்கம் (encode) செய்யுங்கள்

EVM க்கான பைத்தானிக் ஸ்மார்ட் ஒப்பந்த மொழி

Solidity-சார்ந்த மேம்பாட்டுக் கருவி

Vectorized வழங்கும் Solady, மெர்க்கல் சான்றுகள் முதல் சுருக்க உதவிகள் வரை தீவிரமாக மேம்படுத்தப்பட்ட Solidity குறியீட்டுத் துணுக்குகளைச் சேகரிக்கிறது. இது கவனமாக எழுதப்பட்ட இன்லைன் அசெம்பிளியை எளிதில் அணுகக்கூடிய API-களாக வழங்குகிறது. இதன் மூலம், மேம்பட்ட டெவலப்பர்கள் ஒரு நேரடி குறிப்பு நிரலகத்திலிருந்து அதிநவீன மேம்படுத்தல் நுட்பங்களைக் கற்றுக்கொள்வதோடு, எரிவாயு-திறனுள்ள வடிவங்களையும் உருவாக்க முடியும்.

Solmate என்பது திறன் ஒப்பந்த மேம்பாட்டிற்கான எரிவாயு-மேம்படுத்தப்பட்ட Solidity கட்டுமானத் தொகுதிகள் மற்றும் பயன்பாடுகளின் நவீன, தனித்துவமான தொகுப்பாகும்.

Fe என்பது EVM-ஐ இலக்காகக் கொண்ட, Rust-ஆல் ஈர்க்கப்பட்ட ஒரு மொழியாகும்; பைட் குறியீடு உருவாக்கம் இன்னும் வளர்ச்சி நிலையில் இருக்கும்போதே, இன்று நீங்கள் CLI அல்லது எடிட்டர் கருவிகள் வழியாக Fe v2-இன் வகை அமைப்பை ஆராயலாம்.

Solhint என்பது நடை விதிகளைச் செயல்படுத்தவும், ஆபத்தான குறியீட்டு வடிவங்களை முன்கூட்டியே கண்டறியவும் எடிட்டர்கள் அல்லது CI-உடன் நீங்கள் இணைக்கக்கூடிய ஒரு Solidity லின்டர் ஆகும்.

ஜுவான் பிளாங்கோவின் VS Code Solidity நீட்டிப்பானது தொடரியல் சிறப்பம்சங்கள், தொகுத்தல் கட்டளைகள், ஹோவர் மீத்தரவு, விரைவான திருத்தங்கள், மோனோரெப்போ கண்டறிதல், விருப்பத்தேர்வான Nethereum குறியீடு உருவாக்கம், லின்ட் ஒருங்கிணைப்பு மற்றும் ஒரு LSP சர்வர் ஆகியவற்றைச் சேர்க்கிறது.

PRBMath என்பது Solidity-ல் ஃபிக்ஸட்-பாயிண்ட் வகைகள் மற்றும் லோகரிதம்கள் மற்றும் எக்ஸ்போனென்ஷியல்கள் போன்ற மேம்பட்ட கணிதச் செயல்பாடுகளுக்கான ஆதரவைச் சேர்க்கும் ஒரு ஸ்மார்ட் ஒப்பந்த லைப்ரரி ஆகும். 18-தசம எண்களுடன் செயல்படும் PRBMath, ஒரே நேரத்தில் கேஸ் திறனுள்ளதாகவும் பயனர் நட்புடனும் உள்ளது.

WhatsABI ஆனது பைட் குறியீட்டிலிருந்து மட்டுமே செலக்டர்கள், ப்ராக்ஸிகள் மற்றும் பகுதி ABI-களை மீட்கிறது - சரிபார்க்கப்பட்ட மூலம் இல்லாதபோதும், உங்களுக்கு அழைப்புத் தரவு குறிவிலக்கம் தேவைப்படும்போது, பணப்பைகள், ஆராய்விகள் அல்லது உள்ளூர் கருவிகளில் இதைப் பயன்படுத்தவும்.

IntelliJ-க்கான Solidity செருகுநிரல்

Solc-select என்பது Solidity கம்பைலர் பதிப்புகளை விரைவாக நிறுவவும் அவற்றுக்கிடையே மாறவும் உதவும் ஒரு கமாண்ட் லைன் பயன்பாடாகும்.

Paradigm-ஆல் Rust-இல் எழுதப்பட்ட அதிவேக, மாடுலர் Solidity தொகுப்பி. வேகமான உருவாக்கங்கள் மற்றும் சிறந்த பிழைகண்டறிதல்களுக்காக, பங்களிப்பாளர்களுக்கு ஏற்ற தொகுப்பி அடுக்காக இது வடிவமைக்கப்பட்டுள்ளது.

உங்கள் Solidity குறியீட்டை தானாகவே ஃபார்மேட் செய்வதற்கான Prettier செருகுநிரல்.

அதிநவீன, வலுவான நிலைப்பாடு கொண்ட, மிகச் சிறப்பாக மேம்படுத்தப்பட்ட மற்றும் பாதுகாப்பான Vyper திறன் ஒப்பந்த கட்டுமானத் தொகுதிகள்.

அன்றாட திறன் ஒப்பந்தப் பிழைத்திருத்தத்திற்காக, உலாவி மற்றும் நீட்டிப்புப் பயன்பாடுகளான குறிவிலக்கிகள், மெர்க்கல் உதவியாளர்கள், மாற்றிகள் மற்றும் இது போன்ற சிறிய கருவிகளை EvmTools ஒரே இடத்தில் தொகுக்கிறது.

Solidity Bytes Utils என்பது Solidity நினைவகம் அல்லது சேமிப்பகத்தில் உள்ள டைனமிக் பைட்ஸ் அரேக்களை இணைக்க, பிரிக்க மற்றும் வகைமாற்றப் பயன்படும் ஒரு கிளாசிக் நிரலகமாகும் - இது நீண்ட காலமாகப் பராமரிக்கப்பட்டு வருவதுடன், முக்கிய நெறிமுறைகள் முழுவதும் பரவலாகக் கவையாகப் பிரிக்கப்பட்டுள்ளது.

EVM-க்காக Fe-lang-இல் TinyAlloc-ஐச் செயல்படுத்துதல்

ZKsync குழு மற்றும் கூட்டுப்பணியாளர்களால் உருவாக்கப்பட்ட, LLVM மூலம் இயக்கப்படும் எத்திரியத்திற்கான எரிவாயு திறன் கொண்ட Solidity கம்பைலர். இது Foundry மற்றும் Hardhat போன்ற பணிப்பாய்வுகளில் solc-க்கு நேரடி மாற்றாக செயல்படுகிறது.

curl அடிப்படையிலான Solidity-க்கான HTTP லைப்ரரி

EVM ஐ இலக்காகக் கொண்ட ரஸ்டிக் நிரலாக்க மொழி

VSCode Solidity Inspector ஆனது VS Code-இல் நடைமுறை Solidity பயன்பாடுகளைத் தொகுத்து வழங்குகிறது: சேமிப்பக தளவமைப்புப் பார்வைகள், இறக்குமதி சுகாதாரக் குறிப்புகள், Foundry நிலைநிறுத்தச் சுருக்கங்கள், Bulloak சோதனை ஸ்டப்கள், ரீமேப்பிங்-அவேர் இறக்குமதிகள் மற்றும் குறியீட்டு அளவு குறிப்புகள்.

Diamondscaffold என்பது EIP-2535 diamond திட்டங்களை ஒரு பிரத்யேக தளவமைப்பு மற்றும் ஸ்கிரிப்ட்களுடன் கட்டமைக்க வடிவமைக்கப்பட்ட ஒரு CLI கருவியாகும், இது மாடுலர் மேம்படுத்தக்கூடிய ப்ராக்ஸிகளை விரைவாக அமைக்க உதவுகிறது.

கேட்கீப்பர்களை உருவாக்குவதற்கும், மறுபயன்பாடு செய்வதற்கும் மற்றும் தனிப்பயனாக்குவதற்கும் ஒரு சங்கிலிசார் நெகிழ்வான மற்றும் தொகுக்கக்கூடிய கட்டமைப்பு. எரிவாயு-திறனுள்ள குறைந்தபட்ச ப்ராக்ஸி பேட்டர்ன்கள் மற்றும் பல-கட்ட சரிபார்ப்புடன் கூடிய பண்புக்கூறு அடிப்படையிலான அணுகல் கட்டுப்பாட்டிற்கு, கொள்கைகள் (Policies) மற்றும் சரிபார்ப்பிகளை (Checkers) முக்கிய அடிப்படைகளாகப் பயன்படுத்துகிறது.

இந்த நிரலகங்கள் Derive-ஆல் சீரமைக்கப்பட்ட Black-Scholes விலை நிர்ணயம் மற்றும் ஆபத்துக் கணிதத்தை Go மற்றும் Rust-இல் தொகுக்கின்றன, இதனால் சங்கிலிசார் ஆபத்துத் தொகுதிகள் Derive-இன் மார்ஜின் ஸ்டாக்குடன் இணைக்கப்பட்ட பெரிதும் உகந்ததாக்கப்பட்ட செயலாக்கங்களை மீண்டும் பயன்படுத்த முடியும்.

மறைக்கப்பட்ட மின்னஞ்சல் பிரதிகள் பற்றிய உண்மைகளை சங்கிலிசார் நிரூபிப்பதற்கான சுற்றுகள் மற்றும் SDK-களை ZK Email வழங்குகிறது. இன்பாக்ஸ்களை வெளிப்படுத்தாமல் தனியுரிமையைப் பாதுகாக்கும் அடையாளம் அல்லது ரசீது சரிபார்ப்புகளை நீங்கள் விரும்பும் போது இது பயனுள்ளதாக இருக்கும்.

Railgun என்பது எத்திரியம் மற்றும் EVM நெட்வொர்க்குகளுக்கான ஒரு தனியுரிமை நெறிமுறையாகும், இது பூஜ்ஜிய-அறிவுச் சான்றுகளுடன் பாதுகாக்கப்பட்ட பரிவர்த்தனைகளையும் தனிப்பட்ட DeFi தொடர்புகளையும் வழங்குகிறது.

Noir என்பது டெவலப்பர்களுக்கு ஏற்ற தொடரியல் மற்றும் Aztec-ஆல் பராமரிக்கப்படும் கருவிகளுடன் பூஜ்ய-அறிவு சுற்றுகளை எழுதுவதற்கான Rust-ஆல் ஈர்க்கப்பட்ட ஒரு மொழியாகும்.

snarkjs என்பது zkSNARK சான்றுகளை உருவாக்குவதற்கும் சரிபார்ப்பதற்கும், அத்துடன் Node.js மற்றும் உலாவியில் பொதுவான நிரூபணப் பணிப்பாய்வுகளை இயக்குவதற்கும் பயன்படும் ஒரு JavaScript மற்றும் CLI கருவித்தொகுப்பாகும்.

Aztec என்பது நிரல்படுத்தக்கூடிய தனியுரிமை மற்றும் பூஜ்ஜிய-அறிவுச் சான்றுகளுடன் செயலிகளை உருவாக்குவதற்கான, தனியுரிமைக்கு முன்னுரிமை அளிக்கும் எத்திரியம் ரோலப் மற்றும் டெவலப்பர் தளமாகும்.

Circom என்பது பூஜ்ஜிய-அறிவுச் சான்று அமைப்புகளில் பயன்படுத்தப்படும் எண்கணித சுற்றுகளை எழுதுவதற்கும் தொகுப்பதற்கும் பயன்படும் ஒரு களம் சார்ந்த மொழி மற்றும் தொகுப்பி ஆகும்.

பணப்பைகள் அல்லது நற்சான்றிதழ்களுடன் தொடர்புடைய தனியுரிமையைப் பாதுகாக்கும் சரிபார்ப்புச் செயல்முறைகள் தேவைப்படும்போது, கட்டமைப்பாளர்கள் உட்பொதிக்கக்கூடிய திறந்த அடையாளம் மற்றும் சான்று அடிப்படைக் கூறுகளை Self Protocol வழங்குகிறது.

Semaphore என்பது தனிப்பட்ட குழு உறுப்பினர் சான்றுகளுக்கான ஒரு பூஜ்ய-அறிவு நெறிமுறையாகும், இது அடையாளத்தை வெளிப்படுத்தாமல் அநாமதேய சமிக்ஞை மற்றும் அங்கீகாரத்தை சாத்தியமாக்குகிறது.

Zokrates என்பது எத்திரியத்தில் ஜிகே-ஸ்னார்க்குகளுக்கான (zkSNARKs) ஒரு கருவிப்பெட்டியாகும், இது ஒரு DSL, கம்பைலர் மற்றும் நம்பகமான அமைப்பு, சான்று உருவாக்கம் மற்றும் சரிபார்ப்பி ஒருங்கிணைப்பு ஆகியவற்றுக்கான உதவிக் கருவிகளை வழங்குகிறது.

zkTLS / TLSNotary என்பது MPC மூலம் TLS அமர்வுகளின் பண்புகளை நிரூபிப்பதற்கான ஒரு திறந்த நெறிமுறையாகும், இதனால் சரிபார்ப்பிகள் முழுமையான சாதாரண உரையைக் காணாமலேயே பதிவுகளை நம்ப முடியும்.

எத்திரியத்தில் கூட்டுச்சதியை எதிர்க்கும், தனியுரிமை வாக்களிப்பு மற்றும் சமிக்ஞை அமைப்புகளைச் செயல்படுத்த MACI (Minimal Anti-Collusion Infrastructure) பூஜ்ஜிய-அறிவுச் சான்றுகளைப் பயன்படுத்துகிறது.

மொபைலில் கிளையண்ட்-பக்க பூஜ்ஜிய-அறிவுச் சான்றளிப்பை எளிதாக்கும் ஒரு கருவித்தொகுப்பு. மேம்பட்ட செயல்திறனுக்காக மொபைல் GPU-ஐப் பயன்படுத்தி, iOS, Android மற்றும் உலாவி பைண்டிங்குகளை உருவாக்க ZK சான்று அமைப்புகளை (Halo2, Circom) இணைக்கிறது.

பல மொழிகளில் (JavaScript, Solidity, Rust, Noir) மீண்டும் பயன்படுத்தக்கூடிய பூஜ்ய-அறிவு நிரலகங்களைக் கொண்ட ஒரு monorepo, இது மெர்க்கல் மரங்கள், Poseidon ஹாஷ் மற்றும் பல குறியாக்கவியல் அடிப்படைகளின் நன்கு சோதிக்கப்பட்ட செயலாக்கங்களை வழங்குகிறது.

படிப்படியான சரிபார்க்கக்கூடிய கணக்கீட்டிற்கான (Incremental Verifiable Computation) பல ஃபோல்டிங் திட்டங்கள் (Nova, HyperNova, ProtoGalaxy, CycleFold) மற்றும் முடிவெடுக்கும் பின்தளங்களை (Groth16, KZG) ஆதரிக்கும் ஒரு மாடுலர் ஃபோல்டிங் நிரலகம். Arkworks, Circom, Noir மற்றும் Noname முன்தளங்களை ஆதரிக்கிறது.

Rust-இல் உள்ள ஒரு பாதுகாப்பான, செயல்திறன் மிக்க, மாடுலர் மற்றும் பல்வேறு தளங்களில் இயங்கக்கூடிய பல-தரப்பு கணக்கீட்டு (MPC) நிரலகம். இது நேட்டிவ் மற்றும் WebAssembly இயக்கத்தை ஆதரிக்கிறது. TLSNotary-இன் குறியாக்கவியல் உள்கட்டமைப்பை இயக்குகிறது மற்றும் தனியுரிமையை மையமாகக் கொண்ட திட்டங்கள் முழுவதும் பயன்படுத்தப்படுகிறது.

தொழில்நுட்பத் தரங்களை உருவாக்குதல், ஓப்பன் சோர்ஸ் ZK உள்கட்டமைப்பை உருவாக்குதல் மற்றும் அரசாங்கங்களுடன் ஒத்துழைப்பதன் மூலம் தனியுரிமையைப் பாதுகாக்கும் டிஜிட்டல் அடையாளத்தை மேம்படுத்தும் ஒரு PSE முயற்சி. இது EU EUDI பணப்பை ஒருங்கிணைப்பு மற்றும் ZKP பணப்பைப் பிரிவு ஆகியவற்றில் பணியாற்றுகிறது.

இந்திய அரசின் ஆதார் அடையாள அட்டைகளைப் பயன்படுத்தி தனியுரிமையைப் பாதுகாக்கும் செயலிகளை உருவாக்குவதற்கான கருவிகள். ஆதார் வைத்திருப்பவர்கள் தனிப்பட்ட தரவுகளை வெளிப்படுத்தாமல் வசிப்பிடத்தை நிரூபிக்க அனுமதிக்க, ZK சுற்றுகள், TypeScript, Solidity மற்றும் React நிரலகங்களை வழங்குகிறது.

Zcash-இன் Halo2 PLONK சான்று அமைப்பின் PSE-ஆல் மறுவடிவமைப்பு செய்யப்பட்ட கவை, சிக்கனமான அடுக்கு 1 (l1) சரிபார்ப்பிற்கான Solidity சரிபார்ப்பியுடன் கூடிய KZG பின்தளம், பல நீள்வட்ட வளைவுகளுக்கான ஆதரவு மற்றும் பிரிக்கப்பட்ட முன்தள/பின்தள கட்டமைப்பு ஆகியவற்றைக் கொண்டுள்ளது.

பூஜ்ஜிய-அறிவுச் சான்றுகளைப் பயன்படுத்தி தனியுரிமை அடையாள சரிபார்ப்பு. எந்தவொரு தனிப்பட்ட தகவலையும் வெளிப்படுத்தாமல் வயது, நாடு அல்லது நபர் என்பதற்கான சான்றைச் சரிபார்க்கவும். ஒருங்கிணைப்புக்கான SDK மற்றும் சங்கிலிசார் பதிவேட்டு ஒப்பந்தங்களுடன் கூடிய மொபைல்-முதல் வடிவமைப்பு.

குறியாக்கவியல் சார்ந்த நிரூபிக்கக்கூடிய பொருள் தரவுவகைகளின் (Provable Object Datatypes - PODs) இரண்டாம் தலைமுறை. தனிப்பயன் பிரடிகேட்டுகள் மற்றும் சுழல்நிலை செயல்பாடுகள் மூலம் தரவுகள் முழுவதும் நெகிழ்வான கணக்கீட்டை இது சாத்தியமாக்குகிறது. PSE உடன் இணைந்து 0xPARC ஆல் உருவாக்கப்பட்டது.

Groth16 Phase 2 நம்பகமான அமைப்பு நிகழ்வுகளுக்கான ஒரு கருவித்தொகுப்பு. ZK செயலிகளுக்கான நம்பகமான அமைப்புகளை உருவாக்கவும் நிர்வகிக்கவும் டெவலப்பர்களுக்கு இது உதவுகிறது, மேலும் கண்காணிப்பு மற்றும் பங்கேற்பிற்கான துணை வலைச் செயலியுடன் (DefinitelySetup) வருகிறது.

MPC பயன்பாடுகளை உருவாக்க Circom மொழியைப் பயன்படுத்த அனுமதிக்கும் ஒரு PSE ஆராய்ச்சித் திட்டம். இயந்திர கற்றல் பயன்பாடுகளுக்காக MP-SPDZ பின்தள ஒருங்கிணைப்புடன் Circom ஐப் பயன்படுத்தி தொகுக்கப்பட்ட எண்கணித மற்றும் பூலியன் MPC சுற்றுகள்.

2^28 கட்டுப்பாடுகள் வரையிலான சுற்றுகளுக்காக 530M+ powers of tau-ஐ உருவாக்கும், தொடர்ந்து நடைபெறும் (2019 முதல்) ஒரு ஜிகே-ஸ்னார்க் நம்பகமான அமைப்பு நிகழ்வு. ஒரு பங்கேற்பாளர் நேர்மையாக இருக்கும் வரை பாதுகாப்பு உறுதி செய்யப்படும் ஒரு பல-தரப்பு நிகழ்வு.

சரிபார்க்கக்கூடிய Oblivious PseudoRandom Functions-ஐப் பயன்படுத்தி வெப்2 அடையாளங்களுக்கான புனைப்பெயர் அமைப்புகளைச் சாத்தியமாக்குகிறது. அநாமதேய வாக்களிப்பு, தனிப்பட்ட மன்றங்கள் மற்றும் ரகசிய ஏர்ட்ராப்களுக்கான தனிப்பட்ட nullifiers-ஐ உருவாக்க மின்னஞ்சல் மற்றும் சமூகக் கணக்குகளை அனுமதிக்கிறது.

ஒவ்வொரு எத்திரியம் தொகுதிக்கும் ஒருங்கிணைந்த பைனரி ட்ரை (UBT) மற்றும் மெர்க்கல் பாட்ரிசியா ட்ரை நிலை புதுப்பிப்புகள் பொருந்துகின்றனவா என்பதைச் சரிபார்க்கும் சுழல்நிலை zkVM சான்றுகளை உருவாக்குகிறது. இலகுரக கிளையண்டுகள் மற்றும் தனிப்பட்ட தகவல் மீட்டெடுப்பிற்கான நம்பிக்கை தேவையில்லாத நிலை சரிபார்ப்பைச் செயல்படுத்துகிறது.