pact
zexe
pact | zexe | |
---|---|---|
3 | 2 | |
577 | 8 | |
-0.3% | - | |
8.2 | 10.0 | |
8 days ago | almost 3 years ago | |
Haskell | Rust | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
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
-
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
-
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?
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