Beast code in Giters

Jasleen1's starred repositories

winterfell

A STARK prover and verifier for arbitrary computations

Language:RustMIT771 25 95

Nova

Nova: High-speed recursive arguments from folding schemes

Language:RustMIT697 24 43

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.

Language:RustApache-2.0422 14 391

akd

An implementation of an auditable key directory

Language:RustApache-2.0238 15 120

rescue-poseidon

Rescue and Poseidon hash function implementations

Language:Rust42 180

PathORAM

Path ORAM reference implementation

Language:C++MIT23 30