kustosz
Marcin Kostrzewa kustosz
-
reilabs.io
- Lisboa
- https://reilabs.io
- @mmkostrzewa
Highlights
Block or report kustosz
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Pinned Loading
-
reilabs/proven-zk reilabs/proven-zk Public
A support library for working with zero knowledge cryptography in Lean 4.
-
reilabs/lampe reilabs/lampe Public
Extracting the semantics of Noir to Lean for formal verification
-
reilabs/mavros reilabs/mavros Public
Compiling Noir to R1CS with witness generation and automatic differentiation binaries