# Sanaz<>Giuseppe ## Sep 28, 2022 ### Agenda - zerokit-chat2 - zerokit + PSE - Private settlement ### Notes - zerokit + PSE - RLN in ark-r1cs: hardcoding the circiut can be a benefit vs. importing as external resource. Maybe an issue on the repo with more explanation from benefits seen by PSE pov. - JS-less stack? js used to create wasm and w~~itness files~~, and to generate verification and proving key - circom (.circom -> .r1cs and .wasm) - A js stack will pass wasm to the witness generator - A C stack will pass the r1cs to the witness generator - js (r1cs -> proving key) - Less flexibility in circom compared to ark-r1cs and pure Rust stack: Are we limited to one signle prime field or other prime fields? it is important for the security, BN254 in circom (maybe ark-r1cs allows you to choose the base field characteristic) - circomlib would not be available in the Rust stack (maybe) - ark-circom can already use the r1cs file instead of .wasm for its functionality - ark-circom probably can do that: https://github.com/gakonst/ark-circom/blob/d0478d1538d229302f33cc2a6d753ab3c7d73bf3/src/circom/builder.rs#L20 - Better support for RLN ops from zerokit e.g.? - WASM Support (not sure here) 5) parallelizing for enhancing proof generation https://github.com/vacp2p/zerokit/issues/55 - Refacgtoring the Merkle tree implementation + persisting the MT in a database to handle restart cases - Improved bundle size for embedding (both for mobile targets as we asll browsers) - .wasm file size 500KB - Reducing the static lib size, cherry picking the exact dependencies https://github.com/vacp2p/zerokit/issues/37 - ### Action items