ప్రధాన కంటెంట్‌కు దాటవేయండి
కాంట్రాక్ట్ టూలింగ్

Lambdaworks

ZK సర్క్యూట్‌లు & గోప్యత

GitHub లో చూడండి (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)

తర్వాతది చూడండి

zkTLS/ TLSNotary

Lambdaworks గురించి

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

ట్యాగ్‌లు

  • ధృవీకరణ

రిపోజిటరీlambdaclass

ప్యాకేజీhttps:

సమాచారం

రకం
ZK సర్క్యూట్‌లు & గోప్యత
GitHub స్టార్స్
738
లైసెన్స్
Apache-2.0
జాబితా సమీక్షించబడింది
సెప్టెంబర్ 2026

సారూప్య సాధనాలు

ZK Email

ZK Email

సవరించబడిన ఇమెయిల్ ట్రాన్‌స్క్రిప్ట్‌ల గురించిన వాస్తవాలను ఆన్‌చైన్‌లో నిరూపించడానికి ZK Email సర్క్యూట్‌లను మరియు SDKలను అందిస్తుంది. ఇన్‌బాక్స్‌లను బహిర్గతం చేయకుండా గోప్యతను కాపాడే గుర్తింపు లేదా రశీదు తనిఖీలు మీకు కావాల్సినప్పుడు ఇది ఉపయోగకరంగా ఉంటుంది.

SP1 (Succinct)

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

Circom

Circom అనేది శూన్య-జ్ఞాన నిరూపణ వ్యవస్థలలో ఉపయోగించే అంకగణిత సర్క్యూట్‌లను వ్రాయడానికి మరియు కంపైల్ చేయడానికి ఒక డొమైన్-నిర్దిష్ట భాష మరియు కంపైలర్.