Donating to
Securing web3 with the Inference Programming Language
How do you want to donate?
One-Time Donation
Recurring Donation
Please connect your wallet
Select Token
Available: 0
Donation to Giveth
5%10%15%20%
%
I do not want to support Giveth with my donation
Donating to Securing web3 with t...
Donating 5% to Giveth
Your total donation
Make it 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.
Securing web3 with the Inference Programming Language
Raised: $0.00
Inference is a programming language with built in formal verification
capabilities, designed for critical and high assurance systems development. With
it you can write mathematically verified correct code without a PhD in math.
In our web3 world when there is an error in smart contract code it ca...
100% goes to the project always.
Every donation is peer-to-peer, with no fees and no middlemen.
Learn about our zero-fee policy