← Latest products

zkGolf

Competitive optimization of formally verified circuits. Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier.

Visit zk.golfexternal site

Reactions (1)

Similar products

by description similarity

  1. Salt

    salt-lang.dev

    a systems language with Z3 theorem proving in the compiler

    Hacker News44 pts

  2. Chaum Pedersen ZK Protocol Using gRPC

    github.com

    Chaum Pedersen zero-knowledge protocol over gRPC in Rust

    Hacker News10 pts

  3. Algebruh

    github.com

    Cross-check arithmetic claims with Z3, cvc5, and Lean

    Hacker News14 pts

  4. Lambduck

    imjakingit.github.io

    a Functional Programming Brainfuck

    Hacker News70 pts

  5. A Truth Table Generator Written in Common Lisp

    logic.manoel.dev

    Hacker News17 pts