Skip to main content

NyxFoundation/verity

جمع SkillsMP عدد ٥ من skills من NyxFoundation/verity. افتح أي skill لمراجعة مصدره وتفاصيله.

آخر نشاط مصدر مسجل
آخر تحديث لفهرس SkillsMP
skills مجمعة
٥
نجوم GitHub
١٤
تفرعات GitHub
٠

Skills في هذا المستودع

التصنيف قيد الانتظار

عرض ٥ من أصل ٥ skills مجمعة.

المهنة
غير مصنف
الوصف

Ground every "build / run the hive E2E test harness" question in hive — the Ethereum end-to-end test harness that runs Dockerized clients against simulator test suites (github.com/ethereum/hive), always read from the latest remote master. It is operational…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
غير مصنف
الوصف

Ground every observability/metrics question in leanMetrics — the authoritative standard for Prometheus-compatible metrics across Lean Ethereum consensus clients (github.com/leanEthereum/leanMetrics), always read from the latest remote main. leanMetrics fixes…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
غير مصنف
الوصف

Ground every "spin up / run a local lean multi-client devnet" question in lean-quickstart — the utility for bootstrapping a localnet of Lean Ethereum multi-client nodes (github.com/blockblaz/lean-quickstart), always read from the latest remote main. It is…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
غير مصنف
الوصف

Ground every Verity spec question in leanSpec — the single authoritative specification (Python reference implementation), always read from the latest origin/main (lstar HEAD). Use before implementing, reviewing, or answering anything about Verity's protocol…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
غير مصنف
الوصف

Ground every question about post-quantum signature aggregation and the zkVM in leanVM — the authoritative spec and Rust reference implementation (github.com/leanEthereum/leanVM), always read from the latest remote main. Verity's verity-crypto crate depends on…

لغة النص الأصلي: الإنجليزية

آخر تحديث
عرض ٥ من أصل ٥ skills مجمعة.