# Research **URL:** https://community.zkproof.org/c/research/9.md [Latest](https://community.zkproof.org/latest.md) · [Categories](https://community.zkproof.org/categories.md) --- ## [About the Research category](https://community.zkproof.org/t/about-the-research-category/17)
**Author:** [@danib31](https://community.zkproof.org/u/danib31)\ **Replies:** 0
This category is for all topics related to research and relevant projects in the zero-knowledge space; constructions, primitives, protocols and more, as well as their implementations. You can think of this category as t… --- ## [A measured client-side ZK proof-of-personhood running in 477 ms on budget Android hardware without registries](https://community.zkproof.org/t/a-measured-client-side-zk-proof-of-personhood-running-in-477-ms-on-budget-android-hardware-without-registries/910)
**Author:** [@rehanmalik2008](https://community.zkproof.org/u/rehanmalik2008)\ **Replies:** 0\ **Last updated:** [September 5, 2026, 10:02am UTC](https://community.zkproof.org/t/a-measured-client-side-zk-proof-of-personhood-running-in-477-ms-on-budget-android-hardware-without-registries/910 "2026-09-05T10:02:49Z")
Hi everyone, I am sharing an empirical research paper and open-source implementation for Sybil Wedge, a client-side zero-knowledge proof-of-personhood construction designed to achieve one-human-one-action rate limiting … --- ## [Veramem Kernel — deterministic trust layer for cognitive and zero-knowledge systems](https://community.zkproof.org/t/veramem-kernel-deterministic-trust-layer-for-cognitive-and-zero-knowledge-systems/900)
**Author:** [@Julien-Lefauconnier](https://community.zkproof.org/u/Julien-Lefauconnier)\ **Replies:** 0\ **Last updated:** [February 20, 2026, 12:42am UTC](https://community.zkproof.org/t/veramem-kernel-deterministic-trust-layer-for-cognitive-and-zero-knowledge-systems/900 "2026-02-20T00:42:38Z")
Hello everyone, I’m sharing an open-source project that may be relevant to people working on zero-knowledge systems, verifiable computation, and distributed trust infrastructure. Veramem Kernel is a deterministic core … --- ## [Theantisocialnetwork.dao](https://community.zkproof.org/t/theantisocialnetwork-dao/730)
**Author:** [@comprajna](https://community.zkproof.org/u/comprajna)\ **Replies:** 0\ **Last updated:** [October 4, 2022, 1:19pm UTC](https://community.zkproof.org/t/theantisocialnetwork-dao/730 "2022-10-04T13:19:31Z")
OmniZ-Knowing W.H.I.P.inion Tumbler --- ## [Implementation of ZKSNARK in Java](https://community.zkproof.org/t/implementation-of-zksnark-in-java/666)
**Author:** [@HoanHoang](https://community.zkproof.org/u/HoanHoang)\ **Replies:** 1\ **Last updated:** [February 23, 2022, 7:21pm UTC](https://community.zkproof.org/t/implementation-of-zksnark-in-java/666 "2022-02-23T19:21:31Z")
Hello everyone, I gladly know and join the group. In order to experiment with ZKSNARK, and as I’m familiar with Java, anyone can recommend me a good (secure) implementation of the framework o try and test with. Thank … --- ## [ZKP for Program Verification](https://community.zkproof.org/t/zkp-for-program-verification/593)
**Author:** [@pigeonchipher](https://community.zkproof.org/u/pigeonchipher)\ **Replies:** 0\ **Last updated:** [September 24, 2021, 4:07pm UTC](https://community.zkproof.org/t/zkp-for-program-verification/593 "2021-09-24T16:07:25Z")
I have a question, lets say there is data provider X, who has the data and model provider Y who has the model we need to protect the privacy of both X and Y and there is a middle man Z who is brokering the deal between … --- ## [zkStrata: a declarative langauge for zero-knowledge proof specification](https://community.zkproof.org/t/zkstrata-a-declarative-langauge-for-zero-knowledge-proof-specification/370)
**Author:** [@Marc](https://community.zkproof.org/u/Marc)\ **Replies:** 0\ **Last updated:** [January 23, 2020, 10:03am UTC](https://community.zkproof.org/t/zkstrata-a-declarative-langauge-for-zero-knowledge-proof-specification/370 "2020-01-23T10:03:50Z")
I have created a declarative language for expressing zero-knowledge proofs, that can be compiled into an executeable representation of R1CS gadgets. The goal is to showcase benefits of restrictions in expressiveness (com… --- ## [Rust library for R1CS gadgets](https://community.zkproof.org/t/rust-library-for-r1cs-gadgets/282)
**Author:** [@dlubarov](https://community.zkproof.org/u/dlubarov)\ **Replies:** 7\ **Last updated:** [September 27, 2019, 2:21pm UTC](https://community.zkproof.org/t/rust-library-for-r1cs-gadgets/282 "2019-09-27T14:21:01Z")
This is a new Rust library for building R1CS gadgets, with an emphasis on usability and type safety: https://crates.io/crates/r1cs Here’s a contrived example to illustrate the API. Say we’re given a field element x as i… --- ## [zkProgrammability at Zcon1](https://community.zkproof.org/t/zkprogrammability-at-zcon1/262)
**Author:** [@danib31](https://community.zkproof.org/u/danib31)\ **Replies:** 1\ **Last updated:** [July 4, 2019, 10:16am UTC](https://community.zkproof.org/t/zkprogrammability-at-zcon1/262 "2019-07-04T10:16:55Z")
Here is the follow up of the ZKProof workshop on Zero Knowledge Programmability from the “freeform” sessions at Zcon1. I have compiled a set of notes and hope to see fruitful discussions. Participants included: @Jon, @T… --- ## [genSTARK: a JavaScript zk-STARK generation framework](https://community.zkproof.org/t/genstark-a-javascript-zk-stark-generation-framework/241)
**Author:** [@bobbinth](https://community.zkproof.org/u/bobbinth)\ **Replies:** 4\ **Last updated:** [June 7, 2019, 1:59am UTC](https://community.zkproof.org/t/genstark-a-javascript-zk-stark-generation-framework/241 "2019-06-07T01:59:39Z")
I’ve put together a JavaScript library that can help people generate STARK-based proofs of computation. The goal is to take care of as much boilerplate code as possible, and make creating new STARKs simple and “easy.” T… --- ## [$100K zk-SNARK Research Challenge Launching Today](https://community.zkproof.org/t/100k-zk-snark-research-challenge-launching-today/222)
**Author:** [@o1claire](https://community.zkproof.org/u/o1claire)\ **Replies:** 1\ **Last updated:** [May 16, 2019, 8:41am UTC](https://community.zkproof.org/t/100k-zk-snark-research-challenge-launching-today/222 "2019-05-16T08:41:31Z")
We’re launching a $100K global public research challenge today to dramatically speed up zk-SNARKs. We’ll be contributing all of those advancements back to the public domain with a permissive open-source license that all… --- ## [zkSNARKs in WebAssembly - running demo and discussion](https://community.zkproof.org/t/zksnarks-in-webassembly-running-demo-and-discussion/30)
**Author:** [@kobigurk](https://community.zkproof.org/u/kobigurk)\ **Replies:** 11\ **Last updated:** [February 13, 2019, 4:26pm UTC](https://community.zkproof.org/t/zksnarks-in-webassembly-running-demo-and-discussion/30 "2019-02-13T16:26:22Z")
Generating proofs, verifying proofs and even generating keys in WebAssembly may hold many benefits: It makes deployment of circuits very easy - the major browsers, both in desktop and mobile, support WebAssembly and s… --- ## [zkSNARKs in Javascript - an Selective Disclosure implementation with SnarkJS](https://community.zkproof.org/t/zksnarks-in-javascript-an-selective-disclosure-implementation-with-snarkjs/58)
**Author:** [@guthl](https://community.zkproof.org/u/guthl)\ **Replies:** 0\ **Last updated:** [February 11, 2019, 2:03pm UTC](https://community.zkproof.org/t/zksnarks-in-javascript-an-selective-disclosure-implementation-with-snarkjs/58 "2019-02-11T14:03:21Z")
Hey everyone, Here is a small ZK selective disclosure KYC protocol we implemented for the 0x hackathon in full JS using SnarkJS. Feel free to upvote the project and comment: To understand what happens, please look … --- ## [A deep dive on the topic of key-generation for SNARKs](https://community.zkproof.org/t/a-deep-dive-on-the-topic-of-key-generation-for-snarks/33)
**Author:** [@danib31](https://community.zkproof.org/u/danib31)\ **Replies:** 0\ **Last updated:** [February 6, 2019, 11:32pm UTC](https://community.zkproof.org/t/a-deep-dive-on-the-topic-of-key-generation-for-snarks/33 "2019-02-06T23:32:11Z")
Zero-Knowledge Proofs are based on three algorithms, Setup, which generates the keys, Prove, which generates a proof of some statement, and Verify, which verifies the proof. There are many factors to take into account wh…