NilFoundation/crypto3-algebra

Implement Goldilocks Field.

martun opened this issue · 3 comments

We need to implement Goldilocks Field.

Initial implementation: #136

Fails compilation of inverse operation because no implementation of val_is_zero for trivial integer type (field<64> processed as trivial integer).

I suggest just add required implementations, but not sure if it correct way - NilFoundation/crypto3-multiprecision#61

Enabled inverse operation by using default implementations from ~/zkLLVM/libs/crypto3/libs/multiprecision/include/nil/crypto3/multiprecision/detail/default_ops.hpp

PRs, synced with the current issue:

Note: Please do not edit this comment; it's generated automatically.