zexe
pact
zexe | pact | |
---|---|---|
2 | 3 | |
8 | 577 | |
- | -0.3% | |
10.0 | 8.2 | |
almost 3 years ago | 2 days ago | |
Rust | Haskell | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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
-
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.
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
What are some alternatives?
Nova - Nova: High-speed recursive arguments from folding schemes
Exquisite - Easy window layout management for KDE Plasma
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.
netrc - Reads netrc files implemented in Elixir
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