You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-9Lines changed: 1 addition & 9 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -6,14 +6,6 @@ A Rust library for building and composing Σ-protocols (Sigma protocols) for zer
6
6
7
7
This library provides a flexible framework for creating zero-knowledge proofs for any statement expressible as a linear relation over group elements. Using the Fiat-Shamir transformation, these interactive protocols become non-interactive proofs suitable for real-world applications.
8
8
9
-
## Key Features
10
-
11
-
-**Universal**: Express any linear relation as a Sigma protocol
12
-
-**Composable**: Build complex proofs with AND/OR combinations
13
-
-**Generic**: Works with any prime-order group implementing the `group` trait
-**Flexible**: Both high-level macros and low-level constraint API
16
-
17
9
## Quick Example
18
10
19
11
```rust
@@ -86,4 +78,4 @@ This crate continues the work from the original `zkp` toolkit in [`dalek-cryptog
86
78
This project is funded through [NGI0 Entrust](https://nlnet.nl/entrust), a fund established by [NLnet](https://nlnet.nl) with financial support from the European Commission's [Next Generation Internet](https://ngi.eu) program. Learn more at the [NLnet project page](https://nlnet.nl/project/sigmaprotocols).
87
79
88
80
[<imgsrc="https://nlnet.nl/logo/banner.png"alt="NLnet foundation logo"width="20%" />](https://nlnet.nl)
89
-
[<imgsrc="https://nlnet.nl/image/logos/NGI0_tag.svg"alt="NGI Zero Logo"width="20%" />](https://nlnet.nl/entrust)
81
+
[<imgsrc="https://nlnet.nl/image/logos/NGI0_tag.svg"alt="NGI Zero Logo"width="20%" />](https://nlnet.nl/entrust)
0 commit comments