Search: github.com/zdk | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Show HN: Zdo – a CLI tool for tasks and todos using Markdown and Zig (github.com/c-phillips)

3 points

10 months ago

212.

Pin-protected secret sharing with client-side encryption (github.com/streetsmart-ai)

3 points

10 months ago

213.

Implementation of the Google Zero-Knowledge Library for Identity Protocols (github.com/google)

3 points

a year ago

214.

ZkBitcoin: Zero-knowledge proof layer on top of Bitcoin (github.com/sigma0-xyz)

3 points

2 years ago

215.

zkPoD: A decentralized system for perfect fair data exchange (github.com/sec-bit)

2 points

7 years ago

216.

Awesome-ZKP-Security (github.com/StefanosChaliasos)

2 points

2 years ago

217.

Linux Kaslr Bypass (github.com/Nassim-Asrir)

2 points

DyslexicAtheist

2 years ago

218.

A Simple ZK-rollup meant for learning (github.com/hammurabi-mendes)

1 point

3 years ago

219.

ZK, a plain text note-taking assistant (github.com/mickael-menu)

1 point

5 years ago

220.

Just made a 3D IPFS logo in zdog (github.com/drbh)

1 point

7 years ago

221.

Sublime ZK: plugin to enable ID-based Wiki-style links, #tags in your documents (github.com/renerocksai)

1 point

8 years ago

222.

Open-source ZK proofs for ML inference – verify AI decisions cryptographically (github.com/OE-GOD)

2 points

2 months ago

223.

Cubed2048 (tasti-zakarie.github.com)

2 points

12 years ago

224.

Credit Card Info in a Single Input (zdfs.github.com)

1 point

13 years ago

225.

Show HN: ElasticMM – 4.2× Faster Multimodal LLM Serving (NeurIPS 2025 Oral)

1 point

6 months ago

226.

Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme (github.com)

135 points

4 years ago

227.

Lurk – A Turing-complete programming language for ZK-SNARKs (github.com/lurk-lab)

33 points

10 months ago

228.

Show HN: Zoko - Github Game Off 2012 (lulea.github.com)

15 points

14 years ago

229.

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification (github.com/chetannothingness)

4 points

4 months ago

230.

Show HN: Non Interactive ZKP with Fiat-Shamir Heuristic and ECC in Go (github.com/Dyslex7c)

4 points

a year ago

231.

Proof of 0 == 1 in Polygon Miden (ZK-Rollup Solution) (github.com/0xPolygonMiden)

4 points

3 years ago

232.

Show HN: Self-Hostable ZK Markdown Sharing Service (github.com/xatuke)

3 points

7 months ago

233.

Zdroid: Zed Editor Ported to Android (github.com/Dylanmurzello)

3 points

19 days ago

234.

Show HN: PythonStark – Educational Python ZK-Stark Implementation (github.com/SherifSystems)

3 points

6 months ago

235.

Introducting Lurk: a programming language for Turning-complete, zkSnarks (github.com)

3 points

4 years ago

236.

Libsnark: a C++ library for zkSNARK proofs (github.com/scipr-lab)

3 points

10 years ago

237.

Show HN: Nova Stack – Verifiable TEE Apps on AWS Nitro with ZKP Attestation (github.com/sparsity-xyz)

2 points

4 months ago

238.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 points

a month ago

239.

Private agent-to-agent payments on Solana with ZK proofs (github.com/agentzeny)

2 points

21 days ago

240.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

3 months ago