GitHub repository: lyronctk/zijkstra
Primary language: Rust
Created: 2022-12-28T21:30:59Z
Description: Proving shortest paths with recursive SNARKs