search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Cairo: bit operations on field elements #2826

Open lukaszcz opened 2 weeks ago

lukaszcz commented 2 weeks ago

This is needed for the fully "correct" Pedersen hash implementation. See: https://research.anoma.net/t/revised-zkvm-strategy/546/26.