Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: A non-programmer built a blockchain ecosystem using only AI

1 point

BizinikiwiBrain

3 months ago

62.

Show HN: Qeltrix:PoC for content-derived,parallel,streaming encryption container

1 point

6 months ago

63.

Verifiable Data Structures (2015) [pdf] (github.com/google)

75 points

9 years ago

64.

List of verification and synthesis tools focused on C and C++ (github.com/johnyf)

3 points

10 years ago

65.

Trustless Attestation Verification (github.com/tiktok-privacy-innovation)

2 points

a year ago

66.

A pure Python cryptographic commitment scheme with no dependencies (github.com/RayanOgh)

1 point

8 months ago

67.

Trustless Attestation Verification (github.com/tiktok-privacy-innovation)

1 point

a year ago

68.

List of Verification and Synthesis Tools (github.com/johnyf)

1 point

6 years ago

69.

Organization domain verification (blog.github.com)

1 point

8 years ago

70.

Tell HN: Cloudflare Is Blocking Firefox Forks Waterfox Classic and Pale Moon

122 points

4 years ago

71.

Show HN: MEDF – Mutable Expression Description Format (github.com/maskin)

2 points

4 months ago

72.

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

2 points

9 months ago

73.

Show HN: JAMA4JS – Linear Algebra for JavaScript (github.com/conceptualGabrielPutnam)

2 points

3 years ago

74.

Show HN: AcquireMock – Self-hosted mock payment gateway for testing (github.com/illusiOxd)

1 point

6 months ago

75.

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

1 point

9 months ago

76.

GitHub S/MIME Signature Verification (blog.github.com)

3 points

8 years ago

77.

Show HN: Cryptographic proofs that algorithms stay fair over time [pdf] (github.com/skylessdev)

1 point

10 months ago

78.

EU age verification app not planning desktop support (github.com/eu-digital-identity-wallet)

584 points

8 months ago

79.

Show HN: Proven – An alternative to Twitter's verified accounts, with HN support (github.com/dschep)

334 points

8 years ago

80.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

81.

AMD: Microcode Signature Verification Vulnerability (github.com/google)

287 points

a year ago

82.

Rosenpass – formally verified post-quantum WireGuard (github.com/rosenpass)

285 points

3 years ago

83.

Verified Rust for low-level systems code (github.com/verus-lang)

284 points

2 years ago

84.

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor)

241 points

5 years ago

85.

Loki: An open-source tool for fact verification (github.com/Libr-AI)

238 points

2 years ago

86.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)

231 points

6 months ago

87.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

88.

Open source calculator firmware DB48X forbids CA/CO use due to age verification (github.com/c3d)

225 points

3 months ago

89.

Verified Spec-Driven Development (VSDD) (gist.github.com)

211 points

3 months ago

90.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago