The Wayback Machine - https://web.archive.org/web/20210907215306/https://github.com/topics/leo
Skip to content
#

leo

Star

Here are 20 public repositories matching this topic...

Language: All
Filter by language
All 20 Python 5 JavaScript 4 C 2 HTML 2 Rust 2 CSS 1 Java 1 Lua 1 MATLAB 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

AleoHQ / leo

Star
Open

[Feature] More Field R1CS Synthesis

gluax
gluax commented May 20, 2021

🚀 Feature

We should support the operators <,<=,>,>= on the field type.
Blocked: This depends on snarkVM first implementing these features.

Motivation

Allows more standard operations with the field type.

Implementation

Field Gadget

  • Implement the impl<F: PrimeField> EvaluateLtGadget<F> for Field trait leo/compiler/src/value/field/field_type.rs.

Tests

Read more
feature good first issue blocked

Improve this page

Add a description, image, and links to the leo topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the leo topic, visit your repo's landing page and select "manage topics."

Learn more