Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Cryptoshares are reality now

2 points

10 years ago

62.

Ask HN: Can hash verification replace EV code-signing on Windows?

1 point

hypersnatch_dev

3 months ago

63.

Ask HN: How do you “verify” app security?

1 point

7 years ago

64.

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

1 point

BizinikiwiBrain

3 months ago

65.

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

1 point

6 months ago

66.

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

75 points

9 years ago

67.

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

3 points

10 years ago

68.

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

2 points

a year ago

69.

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

1 point

8 months ago

70.

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

1 point

a year ago

71.

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

1 point

6 years ago

72.

Organization domain verification (blog.github.com)

1 point

8 years ago

73.

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

122 points

4 years ago

74.

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

2 points

4 months ago

75.

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

2 points

9 months ago

76.

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

2 points

3 years ago

77.

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

1 point

6 months ago

78.

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

1 point

9 months ago

79.

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

3 points

8 years ago

80.

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

1 point

10 months ago

81.

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

584 points

8 months ago

82.

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

334 points

8 years ago

83.

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

315 points

4 years ago

84.

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

287 points

a year ago

85.

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

285 points

3 years ago

86.

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

284 points

2 years ago

87.

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

241 points

5 years ago

88.

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

238 points

2 years ago

89.

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

231 points

6 months ago

90.

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

227 points

5 years ago