#Prover

unionlabs

union

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

0xmoei

Nexus-L1

Detailed Guide to Run a Prover on Nexus L1 blockchain!

evhub

pyprover

Resolution theorem proving for predicate logic in pure Python.

arcxteam

nexus-node

Docker Complete Guide - Run Nexus node as Prover Network.