zkp
zkp टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर zkp के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और zkp टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
Namada का Rust कार्यान्वयन, इंटरचेन एसेट-अग्नौस्टिक गोपनीयता के लिए एक Proof-of-Stake L1
★ 2,513-1पिछले 7 दिनों में स्टार का बदलाव - #2★ 2,134-1पिछले 7 दिनों में स्टार का बदलाव
- #3
Cairo सामान्य गणना के लिए सिद्ध करने योग्य प्रोग्राम बनाने के लिए पहली ट्यूरिंग-पूर्ण भाषा है।
★ 1,904+2पिछले 7 दिनों में स्टार का बदलाव - #4
gnark एक तेज़ zk-SNARK लाइब्रेरी है जो सर्किट डिज़ाइन करने के लिए एक उच्च-स्तरीय API प्रदान करती है। यह लाइब्रेरी ओपन सोर्स है और इसे Apache 2.0 लाइसेंस के तहत विकसित किया गया है।
★ 1,731+1पिछले 7 दिनों में स्टार का बदलाव - #5★ 1,163+0पिछले 7 दिनों में स्टार का बदलाव
- #6
सबसे सरल और सबसे अधिक विस्तार योग्य zkVM। a16z crypto और सहयोगियों द्वारा तेज़ और पूरी तरह से ओपन सोर्स।
★ 1,022+2पिछले 7 दिनों में स्टार का बदलाव - #7★ 795+1पिछले 7 दिनों में स्टार का बदलाव
- #8
gnark-crypto BN, BLS12, BLS24 और BW6 कर्व्स पर एलिप्टिक कर्व और पेयरिंग-आधारित क्रिप्टोग्राफी प्रदान करता है। यह ज़ीरो नॉलेज प्रूफ सिस्टम के लिए विशेष रुचि के विभिन्न एल्गोरिदम (बीजगणित, क्रिप्टो) भी प्रदान करता है।
★ 601+0पिछले 7 दिनों में स्टार का बदलाव - #9
cairo-vm, Cairo VM का एक Rust कार्यान्वयन है। Cairo (CPU Algebraic Intermediate Representation) एक प्रोग्रामिंग भाषा है जिसका उपयोग सिद्ध करने योग्य प्रोग्राम लिखने के लिए किया जाता है, जहाँ एक पक्ष दूसरे को यह साबित कर सकता है कि एक निश्चित गणना सही ढंग से निष्पादित की गई थी, बिना दूसरे पक्ष को वही प्रोग्राम फिर से चलाने की आवश्यकता के।
★ 586+1पिछले 7 दिनों में स्टार का बदलाव - #10★ 568+1पिछले 7 दिनों में स्टार का बदलाव
