pact vs zexe

Our great sponsors

InfluxDB - Power Real-Time Data Analytics at Scale

WorkOS - The modern identity platform for B2B SaaS

SaaSHub - Software Alternatives and Reviews

Our great sponsors

pact		zexe
	Project
3	Mentions	2
577	Stars	8
0.0%	Growth	-
8.4	Activity	10.0
9 days ago	Latest Commit	almost 3 years ago
Haskell	Language	Rust
BSD 3-clause "New" or "Revised" License	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.

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.

PACT beginner guidance
1 project | /r/kadena | 19 Nov 2022

Pact Language Reference: https://pact-language.readthedocs.io/en/stable/
Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
7 projects | news.ycombinator.com | 5 Jul 2022
Updating Haskell Based Code Repo PACT
1 project | /r/haskell_proposals | 28 May 2022

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?
2 projects | /r/ethdev | 21 Aug 2022

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
7 projects | news.ycombinator.com | 5 Jul 2022

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:

Exquisite - Easy window layout management for KDE Plasma

Nova - Nova: High-speed recursive arguments from folding schemes

netrc - Reads netrc files implemented in Elixir

lurk-rs - Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

ex2ms - :ets.fun2ms for Elixir, translate functions to match specifications

exldap - A module for working with LDAP from Elixir

std_json_io - A simple library for Elixir that provides json over STDIO

Apex - Awesome printing for Elixir

gen_task - Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

ex_phone_number - Elixir port of libphonenumber

mixstar - Elixir Mix task to starring GitHub repository with `mix deps.get`ting dependent library