Donating to
K Stack: The Formal Verification Layer for Ethereum
How do you want to donate?
One-Time Donation
Recurring Donation
Please connect your wallet
Estimated matching
0 undefined
Select Token
$ 0.00
Donate to Giveth
5%10%15%20%
%
Donating to K Stack: The Formal ...
---
Donating 5% to Giveth
---
Your total donation
---
Make my donation anonymous
By checking this, we won't consider your profile information as a donor for this donation and won't show it on public pages.
GIVbacks Eligible
Vouched
K Stack: The Formal Verification Layer for Ethereum
Raised: $10
K is the engine behind Ethereum's most rigorous security tooling. It's a
universal semantic framework that lets you define a programming language once,
precisely and mathematically, and automatically derive a full suite of analysis
tools from that single definition. Built and maintained by Runtim...
100% goes to the project always.
Every donation is peer-to-peer, with no fees and no middlemen.
Learn about our zero-fee policy