O usłudze
PrzetłumaczoneRozwijam przemysłowe schematy i dowody zero-knowledge na Noir — języku ZK Aztec z składnią inspirowaną Rust. Noir pozwala opisać prywatną logikę w czystym, czytelnym kodzie, pozostając niezależnym od backendu: schemat kompiluje się do ACIR (Abstract Circuit Intermediate Representation) i może współpracować z różnymi systemami dowodowymi, w tym Barretenberg dla dowodów UltraHonk i UltraPlonk.
Co otrzymujesz:
— Niestandardowe schematy na Noir do identyfikacji, dowodów przynależności do zbioru, prywatnego głosowania, weryfikacji poświadczeń, mikserów i poufnych transferów.
— Efektywne projektowanie ograniczeń, które redukuje liczbę bramek i czas generowania dowodów.
— Reużywalne biblioteki i moduły Noir z wyraźnymi interfejsami, testami jednostkowymi za pomocą nargo oraz udokumentowanymi publicznymi i prywatnymi danymi wejściowymi.
— Integracja weryfikatora: generowanie weryfikatorów Solidity lub kontraktów do weryfikacji dowodów on-chain, a także generowanie dowodów off-chain.
— Dowody włączenia drzew Merkle, zobowiązania haszowe (Pedersen, Poseidon, Keccak), kontrole zakresu i weryfikacja podpisów wewnątrz obwodu.
— Pełna integracja z warstwą JavaScript lub TypeScript (Node lub przeglądarka) do budowy świadków i generowania dowodów.
Proces: Zaczynam od Twoich wymagań dotyczących prywatności, identyfikuję publiczne i prywatne dane wejściowe, modeluję ograniczenia i udoskonalam schemat pod kątem odporności i wydajności. Każdy schemat zawiera zestaw testów, opis założeń zaufania oraz instrukcje dotyczące dowodu i weryfikacji.
Opisz swoje zadanie — ocenię koszty na podstawie ograniczeń i zaproponuję najczystsze rozwiązanie Noir.
Co otrzymujesz:
— Niestandardowe schematy na Noir do identyfikacji, dowodów przynależności do zbioru, prywatnego głosowania, weryfikacji poświadczeń, mikserów i poufnych transferów.
— Efektywne projektowanie ograniczeń, które redukuje liczbę bramek i czas generowania dowodów.
— Reużywalne biblioteki i moduły Noir z wyraźnymi interfejsami, testami jednostkowymi za pomocą nargo oraz udokumentowanymi publicznymi i prywatnymi danymi wejściowymi.
— Integracja weryfikatora: generowanie weryfikatorów Solidity lub kontraktów do weryfikacji dowodów on-chain, a także generowanie dowodów off-chain.
— Dowody włączenia drzew Merkle, zobowiązania haszowe (Pedersen, Poseidon, Keccak), kontrole zakresu i weryfikacja podpisów wewnątrz obwodu.
— Pełna integracja z warstwą JavaScript lub TypeScript (Node lub przeglądarka) do budowy świadków i generowania dowodów.
Proces: Zaczynam od Twoich wymagań dotyczących prywatności, identyfikuję publiczne i prywatne dane wejściowe, modeluję ograniczenia i udoskonalam schemat pod kątem odporności i wydajności. Każdy schemat zawiera zestaw testów, opis założeń zaufania oraz instrukcje dotyczące dowodu i weryfikacji.
Opisz swoje zadanie — ocenię koszty na podstawie ograniczeń i zaproponuję najczystsze rozwiązanie Noir.
