Search: github.com/MerkleX | Heykuki News

HK

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

2 years ago

82 points

32.

Show HN: P2Party – Encrypted WebRTC Room URLs

github.com/p2party

10 months ago

8 points

33.

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

3 months ago

kirillostrovsky

6 points

34.

Show HN: Cloudstic – Open-source CLI for encrypted, cloud-native backups

github.com/Cloudstic

4 months ago

5 points

35.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem

github.com/backbay-labs

5 months ago

backbay-machine

4 points

36.

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

4 months ago

2 points

37.

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

2 months ago

2 points

38.

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

4 months ago

2 points

39.

Show HN: Filepack: a fast SHASUM/SFV/PGP alternative using BLAKE3

github.com/casey

4 months ago

2 points

40.

Zero-Knowledge Privacy Infrastructure for Solana

5 months ago

2 points

41.

Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]

github.com/nerv-bit

5 months ago

2 points

42.

Show HN: BlockFrame – A local, erasure-coded storage engine in Rust

github.com/crushr3sist

6 months ago

2 points

43.

Show HN: Glogos: a consensus-free attestation proposal

6 months ago

2 points

44.

Show HN: Crovia Spider v1 –Forensic crawler exposing compliance gaps in LAION-5B

github.com/croviatrust

7 months ago

2 points

45.

Show HN: Traceprompt – open-source SDK for tamper-proof LLM audit trails

github.com/traceprompt

10 months ago

2 points

46.

MIT Media Lab Releases Blockchain Certificate Standard Blockcerts.org

10 years ago

2 points

47.

Show HN: Bewaker – File protection for AI-assisted coding

github.com/bewakerai

9 months ago

1 points

48.

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

3 months ago

1 points

49.

Show HN: Agents with Verifiable Human Claims

docs.zipwire.io

3 months ago

1 points

50.

Show HN: Connector-OSS – Memory integrity kernel for AI agents

github.com/GlobalSushrut

4 months ago

1 points

51.

Show HN: AgentFacts – verifiable identity and audit logs for AI agents

github.com/agentfacts

5 months ago

1 points

52.

Show HN: GoSync – Local-First Sync Engine for Go and WASM

github.com/HarshalPatel1972

6 months ago

1 points

53.

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

8 months ago

1 points

54.

Show HN: Open-source SDK for AI agent audit trails

traceprompt.com

10 months ago

1 points

55.

Check my proof of P=NP for errors [pdf]

github.com/leanprover

5 years ago

3 points

56.

PICASSO: High Performance R and Python Library for Sparse Learning

github.com/jasonge27

8 years ago

2 points

57.

Ask HN: Waterfox GitHub repository is missing many commit messages, why?

github.com/MrAlex94

6 years ago

2 points

58.

Enhancing the anonymity of a privacy-preserving router [pdf]

github.com/srlabs

4 years ago

2 points

59.

Christopher Meiklejohn on “A Note on Distributed Computing”

github.com/papers-we-love

12 years ago

2 points

60.

Merkelized Abstract Syntax Tree: Evolution of Bitcoin Script System

github.com/bitcoin

8 years ago

2 points