← 최신 프로덕트

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.

zk.golf 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Chaum Pedersen ZK Protocol Using gRPC

    github.com

    Chaum Pedersen zero-knowledge protocol over gRPC in Rust

    Hacker News10점

  2. Algebruh

    github.com

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

    Hacker News14점

  3. Lambduck

    imjakingit.github.io

    a Functional Programming Brainfuck

    Hacker News70점

  4. A Truth Table Generator Written in Common Lisp

    logic.manoel.dev

    Hacker News17점

  5. Swapple

    swapple.fuglede.dk

    a little daily puzzle on linear reversible circuit synthesis

    Hacker News72점