Implementation of primitive operations

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel

MIT License

114 stars 8 forks source link

Closed arthurpaulino closed 2 years ago

arthurpaulino commented 2 years ago

Closes #175

gabriel-barrett commented 2 years ago

Closed this PR since this is not the approach we're gonna take to solve #175 anymore