Pinned Loading

1. capyCRYPT capyCRYPT Public

   An experimental high-performance cryptosystem.

   Rust 12 1

2. CAPY-pqARK CAPY-pqARK Public

   Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof

   Rust

3. capy2vML capy2vML Public

   Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.

   Rust 2

4. tiny-ed448-goldilocks tiny-ed448-goldilocks Public

   A lean, high performance, pure rust implementation of Ed448-Goldilocks for easy signatures and key exchange.

   Rust 3 1

5. blind-rsa blind-rsa Public

   Prove knowledge of a message and its signature, without revealing either.

   Rust 1

6. ZK-STARK-Prover ZK-STARK-Prover Public

   Prove in quantum-resistant zero-knowledge that you know the square of the nth fibonacci number.

   Python 4 3