pact
The Pact Smart Contract Language (by kadena-io)
zexe
Rust library for decentralized private computation (by brucechin)
| pact | zexe | |
|---|---|---|
| 4 | 2 | |
| 590 | 9 | |
| 0.7% | - | |
| 6.2 | 10.0 | |
| 7 days ago | almost 4 years ago | |
| Haskell | Rust | |
| BSD 3-clause "New" or "Revised" License | 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.
pact
Posts with mentions or reviews of pact.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-05.
- The Pact Programming Language
-
PACT beginner guidance
Pact Language Reference: https://pact-language.readthedocs.io/en/stable/
- Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
-
Updating Haskell Based Code Repo PACT
I have a project (with funding) that requires to use Haskell based contract language PACT. https://github.com/kadena-io/pact
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.
What are some alternatives?
When comparing pact and zexe you can also consider the following projects:
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)
Nova - Nova: High-speed recursive arguments from folding schemes
Exquisite - Easy window layout management for KDE Plasma
exldap - A module for working with LDAP from Elixir
alucard - A common lisp DSL for writing zero knowledge circuits