zexe
Rust library for decentralized private computation (by brucechin)
alucard
A common lisp DSL for writing zero knowledge circuits (by anoma)
| zexe | alucard | |
|---|---|---|
| 2 | 1 | |
| 9 | 18 | |
| - | - | |
| 10.0 | 0.0 | |
| almost 4 years ago | over 2 years ago | |
| Rust | Common Lisp | |
| Apache License 2.0 | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
zexe
Posts with mentions or reviews of zexe.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-21.
-
Sharing Secrets in a Decentralized way?
You want to pay only for genuine generation, but what if the service only generates the same picture of bugs bunny. Now what if it parses "man, woman, ..." and only picks from 100 pictures instead of computing. Well there are zero–knowledge proof techniques to ensure that someone actually went through the motions of computing: https://eprint.iacr.org/2018/962
-
Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
I wonder how this compares to something like zexe (https://github.com/brucechin/zexe). This domain interests me although I have little practical knowledge/experience in it.
alucard
Posts with mentions or reviews of alucard.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-05.
-
Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
hi this is very interesting. why is there a common lisp and rust version? digging through i also found Alu [0], another common lisp project for zk circuits. since you are using common lisp and static typing is important to you are you aware of coalton [1]?
[0] https://github.com/heliaxdev/alu
What are some alternatives?
When comparing zexe and alucard you can also consider the following projects:
pact - The Pact Smart Contract Language
ZeroSync - A STARK proof to sync a Bitcoin full node in an instant.
Nova - Nova: High-speed recursive arguments from folding schemes
lurk-beta - Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
passport-zk-circuits - Verifying biometric passports with zero knowledge proofs (SNARKs)