Search: github.com/MerkleX | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com/JGiraldo29)

82 points

2 years ago

32.

Show HN: P2Party – Encrypted WebRTC Room URLs (github.com/p2party)

8 points

9 months ago

33.

TrustAgentAI – Cryptographic receipts for MCP tool calls (non-repudiation layer)

6 points

kirillostrovsky

3 months ago

34.

Show HN: Cloudstic – Open-source CLI for encrypted, cloud-native backups (github.com/Cloudstic)

5 points

3 months ago

35.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem (github.com/backbay-labs)

4 points

backbay-machine

4 months ago

36.

Show HN: Claw Cash – Money agents can trust, and verify. Stablecoins in. BTC out (clw.cash)

2 points

3 months ago

37.

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

2 points

a month ago

38.

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

2 points

3 months ago

39.

Show HN: Filepack: a fast SHASUM/SFV/PGP alternative using BLAKE3 (github.com/casey)

2 points

3 months ago

40.

Zero-Knowledge Privacy Infrastructure for Solana

2 points

4 months ago

41.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source] (github.com/nerv-bit)

2 points

4 months ago

42.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust (github.com/crushr3sist)

2 points

5 months ago

43.

Show HN: Glogos: a consensus-free attestation proposal

2 points

6 months ago

44.

Show HN: Crovia Spider v1 –Forensic crawler exposing compliance gaps in LAION-5B (github.com/croviatrust)

2 points

6 months ago

45.

Show HN: Traceprompt – open-source SDK for tamper-proof LLM audit trails (github.com/traceprompt)

2 points

9 months ago

46.

MIT Media Lab Releases Blockchain Certificate Standard Blockcerts.org

2 points

10 years ago

47.

Show HN: Bewaker – File protection for AI-assisted coding (github.com/bewakerai)

1 point

8 months ago

48.

Mikk – your AI wrote the code but doesn't know what breaks

1 point

3 months ago

49.

Show HN: Agents with Verifiable Human Claims (docs.zipwire.io)

1 point

3 months ago

50.

Show HN: Connector-OSS – Memory integrity kernel for AI agents (github.com/GlobalSushrut)

1 point

3 months ago

51.

Show HN: AgentFacts – verifiable identity and audit logs for AI agents (github.com/agentfacts)

1 point

4 months ago

52.

Show HN: GoSync – Local-First Sync Engine for Go and WASM (github.com/HarshalPatel1972)

1 point

5 months ago

53.

Yet another way to use Tornado Cash in 2025, a tool implemented in Python&C++

1 point

7 months ago

54.

Show HN: Open-source SDK for AI agent audit trails (traceprompt.com)

1 point

9 months ago

55.

Check my proof of P=NP for errors [pdf] (github.com/leanprover)

3 points

5 years ago

56.

PICASSO: High Performance R and Python Library for Sparse Learning (github.com/jasonge27)

2 points

8 years ago

57.

Mark Text:A realtime preview markdown editor

1 point

8 years ago

58.

The markdown editor that you need (github.com/marktext)

4 points

8 years ago

59.

Three_card_monte.py (gist.github.com)

2 points

4 years ago

60.

MarkNext Specification v1.0 (github.com/skorotkiewicz)

2 points

a month ago