Keep Starknet Strange
Enable the making of Zero Knowledge Proofs of French taxes by compiling Mlang to Sierra #4
louisguthmannStarkWare
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Some researchers made this amazing tool enabling to compute taxes using a verified language.
Paper: https://arxiv.org/abs/2011.07966
Code: https://github.com/MLanguage/mlang
This language would enable one to compute taxes verifiably. Compiling M-Lang to Sierra would enable the generation of ZKPs of one's taxes.
It would also be a very cool toy usecase to show the power of Cairo in non blockchain applications.
Beta Was this translation helpful? Give feedback.
All reactions