Zana za mkataba

Zana ya maendeleo ya mkataba mahiri kwa Wataalamu wa Python, Wanasayansi wa Data, na Wataalamu wa Usalama

Scaffold-ETH 2 ni kianzishi cha Next.js pamoja na Hardhat au Foundry chenye ndoano za mkoba, upakiaji upya wa mkataba wa moto, huduma za bomba za ndani, na moduli za kiendelezi kwa usambazaji wa programu tumizi iliyogatuliwa (dapp) ya rundo kamili.

Mfumo wa maendeleo na majaribio unaotegemea Python kwa mikataba mahiri inayolenga Mashine Pepe ya Ethereum.

Moccasin ni mtiririko wa kazi wa kwanza wa Python wa Cyfrin kwenye Titanoboa kwa majaribio, fuzzing, na kusambaza mikataba mahiri iliyoandikwa kwa Vyper.

ethPM ni kidhibiti cha kifurushi kisichobadilika cha kutumia, kusambaza, au kudhibiti mfumo wowote wa mkataba mahiri wa EVM.

Ethernaut CLI ni kisanduku cha zana cha amri kinachotegemea Hardhat kutoka EthernautDAO na wasaidizi wa hiari wa akili bandia (AI) kwa kazi za kawaida za Ethereum unapopendelea vituo kuliko GUI.

opstack-kit huunda mazingira ya mbele na hati zinazotambua Superchain na wasaidizi wa kuvusha, mtiririko wa CustomGasToken, na kazi za OP Stack CLI zilizojumuishwa kwenye kianzishi.

IDE ya Mkataba Mahiri nyepesi inayotegemea wavuti

Hardhat ni mazingira ya ukuzaji ya kujenga na kusambaza programu yako ya Ethereum

Foundry ni msururu wa zana wa Rust wa haraka, unaobebeka kwa uhandisi wa mkataba mahiri wa Ethereum unaosimamia utegemezi, kukusanya Solidity, kuendesha majaribio ya fuzz na kitengo, kusambaza mikataba, na kuendesha mwingiliano wa mnyororo ulioandikwa kutoka kwa kituo au hati za otomatiki za Solidity.

Kurtosis hufungasha mitandao ya maendeleo ya huduma nyingi inayoweza kuzalishwa tena ili uweze kuanzisha rundo halisi za Ethereum au rollup kwa majaribio ya ujumuishaji haraka kuliko faili za compose zinazodumishwa kwa mkono.

CreateX ni kisambazaji cha ulimwengu wote bila hitaji la uaminifu cha pcaversaccio kinachofunga mtiririko wa mtindo wa CREATE, CREATE2, na CREATE3 ili timu ziweze kuzindua mikataba kutoka kwa anwani zinazotabirika bila msimbo maalum wa kiwanda.

Programu-jalizi ya Hardhat ya kusambaza mikataba mahiri yako kwenye minyororo mingi ya EVM yenye anwani sawa ya kubainisha. Jumla ya minyororo 133 ya EVM inasaidiwa kwa sasa, ikijumuisha (karibu) minyororo yote inayoendeshwa na OP-stack.

Programu-jalizi ya Hardhat ambayo hutoa uchanganuzi wa matumizi ya gesi kwa vyumba vya majaribio vya mkataba mahiri. Ina usaidizi maalum kwa minyororo ya OPStack, ni tegemezi katika hazina za GitHub > 150k na inapakuliwa kutoka NPM > 100k kwa wiki.

Zana ya kupata usambazaji wa hivi punde zaidi kutoka kwa mazingira fulani katika Foundry. Kwa njia hii, unaweza kufanya uandishi wa hati kutoka kwa usambazaji wa awali katika Solidity.

Create2Deployer ni mkataba mdogo wa kiwanda kutoka pcaversaccio unaofunga msimbo wa operesheni wa CREATE2 na ukaguzi wa usalama ili timu ziweze kusambaza mikataba ya kinyume na ukweli kwenye anwani zinazobainisha.

Redprint inaoanisha uwanja wa michezo wa mtindo wa mchawi na maktaba za redprint-forge ili wasanidi programu waweze kutunga kwa majaribio uboreshaji wa mkataba wa OP Stack katika Solidity na usambazaji salama kwa aina, majaribio yanayoweza kutumika tena, uandishi wa hati za muamala unaotambua Safe, na uunganishaji wa vijenzi vya kawaida kabla ya mabadiliko kuhitimu kwenye njia za uzalishaji.

Txtx inabadilisha msongo wa mawazo, maumivu na machozi ya usimamizi wa Miundombinu ya Mkataba Mahiri kwa kuanzisha Miundombinu ya Kripto kama Msimbo. Vitabu vya uendeshaji (Runbooks) ni mwongozo wa Ubora wa Uhandisi, vikiweka kiwango kipya cha Miundombinu ya Web3.

Cannon ni zana ya DevOps kwa itifaki kwenye Ethereum. Inasimamia usambazaji na usanidi wa mkataba mahiri kwa maendeleo ya ndani na mitandao ya moja kwa moja.

CLI ya chanzo wazi 100% inayoenda pamoja na vizuizi vya ujenzi vya mkataba mahiri. Sanduku hili la zana linaweza kupunguza gharama ya gesi ya tabaka la 2 (l2) kwa kusimba data za mwito kwa uundaji wa programu tumizi zilizogatuliwa (dapps) ili kutumia baiti chache za data za mwito iwezekanavyo.

Linganisha kwa urahisi ripoti za gesi zinazozalishwa na Foundry kiotomatiki kwenye kila Ombi lako la Kuvuta (Pull Request)!

Anzisha mazingira ya kibinafsi ya Superchain ili kuendesha majaribio, kuchepusha mitandao, na kukagua hali kwa udhibiti kamili wa jinsi rollup yako inavyofanya kazi. Uwanja Mkuu wa Uundaji wa Ethereum na Superchain

Proksi hii ya kusaini inaruhusu waendeshaji wa OP Stack kuelekeza mpangaji, mkusanyaji, mpendekezaji, na kusaini kwa mpinzani kupitia AWS KMS au YubiHSM badala ya funguo za siri ghafi kwenye diski.

Mikataba ya OpenZeppelin ni maktaba kuu kwa uundaji wa mikataba mahiri.

Solidity ni lugha ya kiwango cha juu, inayoelekezwa kwa kitu kwa ajili ya kutekeleza mikataba mahiri.

Itifaki ya grafu ya shirika: weka msimbo wa majukumu, mawakala, na ruhusa za shirika lako kwenye grafu inayoweza kupangwa na Hats Protocol

Lugha ya Mkataba Mahiri ya Kipython kwa EVM

Zana za Uundaji Zinazoelekezwa kwa Solidity

Solady na Vectorized inakusanya vijisehemu vya Solidity vilivyoboreshwa kwa ukali kutoka kwa uthibitisho wa Merkle hadi wasaidizi wa ukandamizaji, ikifunika mkusanyiko wa ndani wa uangalifu katika API zinazofikika ili wasanidi programu wa hali ya juu waweze kusafirisha mifumo inayotumia gesi vizuri huku wakijifunza mbinu za kisasa za uboreshaji kutoka kwa maktaba ya marejeleo hai.

Solmate ni mkusanyiko wa kisasa, wenye maoni thabiti wa vizuizi vya ujenzi vya Solidity vilivyoboreshwa kwa gesi na huduma kwa maendeleo ya mkataba mahiri.

Fe ni lugha iliyohamasishwa na Rust inayolenga EVM; leo unaweza kuchunguza mfumo wa aina wa Fe v2 kupitia CLI au zana za kihariri hata wakati uzalishaji wa msimbo wa baiti bado unabadilika.

Solhint ni linter ya Solidity unayounganisha kwenye vihariri au CI ili kutekeleza sheria za mtindo na kukamata mifumo ya makosa mapema.

Kiendelezi cha VS Code Solidity cha Juan Blanco kinaongeza uangaziaji wa sintaksia, amri za ukusanyaji, data fafanuzi za kuelea, marekebisho ya haraka, ugunduzi wa monorepo, uzalishaji wa msimbo wa hiari wa Nethereum, muunganisho wa lint, na seva ya LSP.

PRBMath ni maktaba ya mkataba mahiri inayoongeza usaidizi kwa aina za nukta-isiyobadilika na utendaji wa hali ya juu wa hisabati kama vile logariti na vipeo katika Solidity. Ikifanya kazi na nambari za desimali 18, PRBMath inatumia gesi vizuri na ni rahisi kutumia kwa wakati mmoja.

WhatsABI inarejesha viteuzi, proksi, na ABI za sehemu kutoka kwa msimbo wa baiti pekee-itumie katika mikoba, vichunguzi, au zana za ndani wakati chanzo kilichothibitishwa kinakosekana lakini bado unahitaji usimbuaji wa data za mwito.

Programu-jalizi ya Solidity kwa IntelliJ

Solc-select ni huduma ya mstari wa amri kwa ajili ya kusakinisha haraka na kubadili kati ya matoleo ya kikusanyaji cha Solidity.

Kikusanyaji cha Solidity cha kawaida, chenye kasi sana kilichoandikwa katika Rust na Paradigm. Kimeundwa kama rundo la kikusanyaji rafiki kwa wachangiaji kwa miundo ya haraka na uchunguzi bora.

Programu-jalizi ya Prettier kwa ajili ya kupangilia msimbo wako wa Solidity kiotomatiki.

Vizuizi vya ujenzi vya mkataba mahiri wa Vyper vya kisasa, vyenye maoni thabiti, vilivyoboreshwa sana, na salama.

EvmTools hufunga huduma za kivinjari na kiendelezi - visimbuzi, wasaidizi wa merkle, vibadilishaji, na zana ndogo zinazofanana - kwa utatuzi wa mkataba mahiri wa kila siku katika sehemu moja.

Solidity Bytes Utils ni maktaba ya kawaida ya kuunganisha, kukata, na kutupa safu za baiti zinazobadilika katika kumbukumbu au hifadhi ya Solidity-iliyodumishwa kwa muda mrefu na kuchepushwa sana kwenye itifaki kuu.

Kutekeleza TinyAlloc katika Fe-lang kwa ajili ya EVM

Kikusanyaji cha Solidity kinachotumia gesi vizuri kwa Ethereum kinachoendeshwa na LLVM kutoka kwa timu ya ZKsync na washirika. Inafanya kazi kama mbadala wa moja kwa moja wa solc katika mtiririko wa kazi kama Foundry na Hardhat.

Maktaba ya HTTP kwa Solidity inayotegemea curl

Lugha ya upangaji ya Rustic inayolenga EVM

VSCode Solidity Inspector inafungasha huduma za vitendo za Solidity katika VS Code: mionekano ya mpangilio wa hifadhi, vidokezo vya usafi wa uingizaji, muhtasari wa usambazaji wa Foundry, vijiti vya majaribio vya Bulloak, uingizaji unaotambua uchoraji upya, na vidokezo vya ukubwa wa msimbo.

Diamondscaffold ni zana ya CLI iliyoundwa kuunda miradi ya almasi ya EIP-2535 na mpangilio na hati zenye maoni, na kuifanya iwe haraka kusimamisha proksi za kawaida zinazoweza kuboreshwa.

Mfumo wa mnyororoni unaobadilika na unaoweza kuunganishwa kwa ajili ya kuunda, kutumia tena, na kubinafsisha walinzi wa lango. Hutumia Sera na Wakaguzi kama misingi mikuu kwa udhibiti wa ufikiaji unaotegemea sifa na mifumo ya proksi ndogo yenye ufanisi wa gesi na uthibitishaji wa hatua nyingi.

Maktaba hizi hufunga bei ya Black-Scholes iliyorekebishwa na Derive na hisabati ya hatari katika Go na Rust ili moduli za hatari za mnyororoni ziweze kutumia tena utekelezaji ulioboreshwa sana unaohusishwa na mrundikano wa ukingo wa Derive.

ZK Email hutoa saketi na SDK kwa kuthibitisha ukweli kuhusu nakala za barua pepe zilizohaririwa mnyororoni. Inafaa unapotaka utambulisho unaohifadhi faragha au ukaguzi wa stakabadhi bila kufichua visanduku pokezi.

Railgun ni itifaki ya faragha kwa mitandao ya Ethereum na EVM inayotoa miamala iliyolindwa na mwingiliano wa faragha wa fedha zilizogatuliwa (DeFi) na uthibitisho wa maarifa-sifuri.

Noir ni lugha iliyohamasishwa na Rust kwa kuandika saketi za sifuri-maarifa yenye sintaksia rafiki kwa msanidi programu na zana zinazodumishwa na Aztec.

snarkjs ni zana ya JavaScript na CLI ya kuzalisha na kuthibitisha uthibitisho wa ZK-SNARK, na kwa kuendesha mtiririko wa kazi wa kawaida wa kuthibitisha katika Node.js na kivinjari.

Aztec ni rollup ya Ethereum inayotanguliza faragha na jukwaa la msanidi programu kwa ajili ya kujenga programu zenye faragha inayoweza kupangwa na uthibitisho wa maarifa-sifuri.

Circom ni lugha maalum ya kikoa na kikusanyaji kwa ajili ya kuandika na kukusanya saketi za hesabu zinazotumika katika mifumo ya uthibitisho wa maarifa-sifuri.

Self Protocol hutoa utambulisho wazi na misingi ya uthibitisho ambayo wajenzi wanaweza kupachika wanapohitaji mtiririko wa uthibitishaji unaohifadhi faragha unaohusishwa na mikoba au vitambulisho.

Semaphore ni itifaki ya sifuri-maarifa kwa uthibitisho wa uanachama wa kikundi cha faragha, kuwezesha utoaji ishara na uthibitishaji bila kujulikana bila kufichua utambulisho.

ZoKrates ni sanduku la zana kwa ZK-SNARK kwenye Ethereum, ikitoa DSL, kikusanyaji, na huduma kwa usanidi unaoaminika, uzalishaji wa uthibitisho, na muunganisho wa mhakiki.

zkTLS / TLSNotary ni itifaki wazi ya kuthibitisha sifa za vipindi vya TLS na MPC ili wahakiki waweze kuamini nakala bila kuona maandishi kamili.

MACI (Minimal Anti-Collusion Infrastructure) hutumia uthibitisho wa maarifa-sifuri kuwezesha mifumo ya kura ya faragha na utoaji ishara inayostahimili njama kwenye Ethereum.

Zana inayofanya uthibitishaji wa sifuri-maarifa upande wa mteja kwenye simu kuwa rahisi. Huunganisha mifumo ya uthibitisho wa ZK (Halo2, Circom) ili kuzalisha vifungo vya iOS, Android, na kivinjari, ikitumia GPU ya simu kwa utendaji ulioboreshwa.

Monorepo ya maktaba za sifuri-maarifa zinazoweza kutumika tena katika lugha nyingi (JavaScript, Solidity, Rust, Noir), ikitoa utekelezaji uliojaribiwa vizuri wa misingi ya kriptografia kama vile Merkle trees, heshi ya Poseidon, na zaidi.

Maktaba ya kukunja ya kawaida inayoauni mipango mingi ya kukunja (Nova, HyperNova, ProtoGalaxy, CycleFold) na mazingira ya nyuma ya mwamuzi (Groth16, KZG) kwa Ukokotoaji Unaoongezeka Unaothibitishwa. Inasaidia mazingira ya mbele ya Arkworks, Circom, Noir, na Noname.

Maktaba salama, yenye utendaji mzuri, ya kawaida, na inayobebeka ya Multi-Party Computation (MPC) katika Rust. Inasaidia utekelezaji wa asili na WebAssembly. Inawezesha miundombinu ya kriptografia ya TLSNotary na inatumika katika miradi inayolenga faragha.

Mpango wa PSE unaoendeleza utambulisho wa kidijitali unaohifadhi faragha kwa kuandaa viwango vya kiufundi, kujenga miundombinu ya ZK ya chanzo wazi, na kushirikiana na serikali. Inafanya kazi kwenye muunganisho wa Mkoba wa EU EUDI na Kitengo cha Mkoba cha ZKP.

Zana za kujenga programu zinazohifadhi faragha kwa kutumia kadi za kitambulisho za Aadhaar za serikali ya India. Hutoa saketi za ZK, TypeScript, Solidity, na maktaba za React ili kuwezesha wamiliki wa Aadhaar kuthibitisha ukaazi bila kufichua data za kibinafsi.

Mchepuo uliojengwa upya wa PSE wa mfumo wa uthibitisho wa Halo2 PLONK wa Zcash, unaojumuisha mazingira ya nyuma ya KZG yenye mhakiki wa Solidity kwa uthibitishaji wa kiuchumi wa tabaka la 1 (l1), usaidizi wa mikunjo mingi ya duaradufu, na usanifu uliotenganishwa wa mazingira ya mbele/nyuma.

Uthibitishaji wa utambulisho wa faragha kwa kutumia uthibitisho wa maarifa-sifuri. Thibitisha umri, nchi, au uthibitisho wa utu bila kufichua taarifa yoyote ya kibinafsi. Muundo unaotanguliza simu na SDK kwa muunganisho na mikataba ya usajili ya mnyororoni.

Kizazi cha pili cha Aina za Data za Kitu Zinazothibitishwa (PODs) za kriptografia. Inawezesha ukokotoaji unaobadilika kwenye data kupitia viarifu maalum na operesheni za kujirudia. Imetengenezwa na 0xPARC kwa ushirikiano na PSE.

Zana kwa ajili ya sherehe za Usanidi Unaoaminika wa Awamu ya 2 ya Groth16. Husaidia wasanidi programu kuunda na kusimamia usanidi unaoaminika kwa programu za ZK, na programu ya wavuti inayoambatana (DefinitelySetup) kwa ufuatiliaji na ushiriki.

Mradi wa utafiti wa PSE unaowezesha matumizi ya lugha ya Circom kuunda programu za MPC. Saketi za MPC za hesabu na boolean zilizokusanywa kwa kutumia Circom na muunganisho wa mazingira ya nyuma wa MP-SPDZ kwa programu za kujifunza kwa mashine.

Sherehe inayoendelea (tangu 2019) ya usanidi unaoaminika wa ZK-SNARK kwa saketi hadi vikwazo 2^28, ikizalisha nguvu za tau 530M+. Sherehe ya vyama vingi ambapo usalama unadumishwa mradi mshiriki mmoja ni mwaminifu.

Kuwezesha mifumo ya majina bandia kwa vitambulisho vya Web2 kwa kutumia Kazi za Oblivious PseudoRandom zinazoweza kuthibitishwa. Inaruhusu akaunti za barua pepe na kijamii kuzalisha vifutaji vya faragha kwa kura isiyojulikana, vikao vya faragha, na mgao wa bure wa siri.

Inazalisha uthibitisho wa zkVM unaojirudia unaothibitisha kuwa masasisho ya hali ya Unified Binary Trie (UBT) na Trie ya Merkle Patricia yanalingana kwa kila kitalu cha Ethereum. Inawezesha uthibitishaji wa hali bila hitaji la uaminifu kwa wateja wepesi na urejeshaji wa taarifa za faragha.