Browse and filter all extracted functions from functions.json. This data is generated directly from the Lean codebase analysis.
| Function ▲ | Source | Status | Deps |
|---|---|---|---|
| backend/serial/curve_models/mod.rs:L182-L182 | 0 | ||
| backend/serial/curve_models/mod.rs:L182-L182 | 1 | ||
| backend/serial/curve_models/mod.rs:L258-L264 | 2 | ||
| backend/serial/curve_models/mod.rs:L323-L327 | 1 | ||
| backend/serial/curve_models/mod.rs:L315-L321 | 1 | ||
| backend/serial/curve_models/mod.rs:L366-L373 | 1 | ||
| backend/serial/curve_models/mod.rs:L354-L360 | 1 | ||
| backend/serial/curve_models/mod.rs:L241-L248 | 2 | ||
| backend/serial/curve_models/mod.rs:L306-L311 | 1 | ||
| backend/serial/curve_models/mod.rs:L297-L304 | 1 | ||
| backend/serial/curve_models/mod.rs:L339-L346 | 2 | ||
| backend/serial/curve_models/mod.rs:L382-L398 | 4 | ||
| backend/serial/scalar_mul/variable_base.rs:L11-L51 | 11 | ||
| backend/serial/u64/constants.rs:L108-L109 | 1 | ||
| backend/serial/u64/constants.rs:L161-L184 | 1 | ||
| backend/serial/u64/constants.rs:L45-L51 | 1 | ||
| backend/serial/u64/constants.rs:L72-L78 | 1 | ||
| backend/serial/u64/constants.rs:L54-L60 | 1 | ||
| backend/serial/u64/constants.rs:L194-L194 | 1 | ||
| backend/serial/u64/constants.rs:L90-L96 | 1 | ||
| backend/serial/u64/constants.rs:L127-L133 | 0 | ||
| backend/serial/u64/constants.rs:L136-L136 | 0 | ||
| backend/serial/u64/constants.rs:L26-L32 | 1 | ||
| backend/serial/u64/constants.rs:L114-L114 | 1 | ||
| backend/serial/u64/constants.rs:L118-L124 | 1 | ||
| backend/serial/u64/constants.rs:L63-L69 | 1 | ||
| backend/serial/u64/constants.rs:L139-L145 | 0 | ||
| backend/serial/u64/constants.rs:L148-L154 | 0 | ||
| backend/serial/u64/constants.rs:L81-L87 | 1 | ||
| backend/serial/u64/constants.rs:L99-L105 | 1 | ||
| backend/serial/u64/field.rs:L369-L371 | 1 | ||
| backend/serial/u64/field.rs:L340-L365 | 1 | ||
| backend/serial/u64/field.rs:L260-L262 | 0 | ||
| field.rs:L86-L88 | 1 | ||
| backend/serial/u64/field.rs:L59-L65 | 1 | ||
| backend/serial/u64/field.rs:L250-L256 | 0 | ||
| backend/serial/u64/field.rs:L228-L240 | 0 | ||
| field.rs:L95-L97 | 1 | ||
| backend/serial/u64/field.rs:L269-L275 | 1 | ||
| backend/serial/u64/field.rs:L278-L288 | 1 | ||
| backend/serial/u64/field.rs:L267-L267 | 1 | ||
| backend/serial/u64/field.rs:L462-L567 | 1 | ||
| backend/serial/u64/field.rs:L292-L325 | 1 | ||
| backend/serial/u64/field.rs:L570-L572 | 1 | ||
| backend/serial/u64/field.rs:L575-L584 | 2 | ||
| backend/serial/u64/field.rs:L376-L458 | 1 | ||
| backend/serial/u64/field.rs:L265-L265 | 1 | ||
| backend/serial/u64/scalar.rs:L56-L58 | 0 | ||
| backend/serial/u64/scalar.rs:L177-L192 | 4 | ||
| backend/serial/u64/scalar.rs:L338-L340 | 2 | ||
| backend/serial/u64/scalar.rs:L213-L226 | 1 | ||
| backend/serial/u64/scalar.rs:L66-L93 | 3 | ||
| backend/serial/u64/scalar.rs:L97-L132 | 7 | ||
| backend/serial/u64/scalar.rs:L345-L353 | 2 | ||
| backend/serial/u64/scalar.rs:L326-L328 | 2 | ||
| backend/serial/u64/scalar.rs:L274-L307 | 6 | ||
| backend/serial/u64/scalar.rs:L332-L334 | 2 | ||
| ignored | backend/serial/u64/scalar.rs:L311-L314 | 3 | |
| backend/serial/u64/scalar.rs:L231-L245 | 2 | ||
| ignored | backend/serial/u64/scalar.rs:L319-L322 | 4 | |
| backend/serial/u64/scalar.rs:L250-L269 | 2 | ||
| backend/serial/u64/scalar.rs:L195-L211 | 3 | ||
| backend/serial/u64/scalar.rs:L137-L174 | 0 | ||
| backend/serial/u64/scalar.rs:L62-L62 | 1 | ||
| backend/mod.rs:L253-L263 | 2 | ||
| constants.rs:L75-L81 | 0 | ||
| constants.rs:L66-L66 | 1 | ||
| edwards/affine.rs:L71-L75 | 2 | ||
| ignored | edwards/affine.rs:L48-L50 | 1 | |
| ignored | edwards/affine.rs:L39-L44 | 2 | |
| ignored | edwards/affine.rs:L24-L29 | 1 | |
| ignored | edwards/affine.rs:L18-L20 | 1 | |
| ignored | edwards/affine.rs:L60-L67 | 2 | |
| edwards.rs:L188-L190 | 0 | ||
| edwards.rs:L201-L209 | 2 | ||
| ignored | edwards.rs:L414-L417 | 1 | |
| ignored | edwards.rs:L393-L398 | 0 | |
| ignored | edwards.rs:L175-L177 | 1 | |
| ignored | edwards.rs:L216-L227 | 9 | |
| ignored | edwards.rs:L230-L248 | 4 | |
| ignored | edwards.rs:L543-L553 | 5 | |
| edwards.rs:L533-L539 | 0 | ||
| edwards.rs:L520-L527 | 4 | ||
| edwards.rs:L607-L609 | 2 | ||
| edwards.rs:L745-L747 | 3 | ||
| ignored | edwards.rs:L507-L509 | 1 | |
| edwards.rs:L421-L428 | 2 | ||
| ignored | edwards.rs:L479-L486 | 1 | |
| edwards.rs:L494-L503 | 2 | ||
| edwards.rs:L1367-L1369 | 4 | ||
| ignored | edwards.rs:L1397-L1399 | 5 | |
| edwards.rs:L877-L887 | 2 | ||
| edwards.rs:L907-L915 | 2 | ||
| edwards.rs:L1325-L1327 | 1 | ||
| edwards.rs:L1330-L1342 | 4 | ||
| ignored | edwards.rs:L891-L903 | 2 | |
| edwards.rs:L556-L561 | 2 | ||
| edwards.rs:L572-L582 | 5 | ||
| field.rs:L254-L263 | 3 | ||
| field.rs:L352-L354 | 2 | ||
| field.rs:L149-L152 | 1 | ||
| field.rs:L159-L164 | 1 | ||
| field.rs:L268-L277 | 3 | ||
| field.rs:L169-L203 | 3 | ||
| field.rs:L291-L338 | 8 | ||
| backend/serial/curve_models/mod.rs:L231-L237 | 2 | ||
| montgomery.rs:L297-L302 | 2 | ||
| montgomery.rs:L352-L390 | 5 | ||
| montgomery.rs:L263-L284 | 14 | ||
| montgomery.rs:L199-L201 | 0 | ||
| montgomery.rs:L94-L96 | 1 | ||
| montgomery.rs:L455-L457 | 1 | ||
| montgomery.rs:L114-L116 | 0 | ||
| montgomery.rs:L88-L90 | 0 | ||
| montgomery.rs:L79-L84 | 2 | ||
| montgomery.rs:L128-L130 | 2 | ||
| montgomery.rs:L150-L158 | 2 | ||
| montgomery.rs:L134-L146 | 2 | ||
| montgomery.rs:L204-L206 | 0 | ||
| montgomery.rs:L224-L253 | 10 | ||
| montgomery.rs:L331-L334 | 3 | ||
| montgomery.rs:L312-L321 | 1 | ||
| ristretto.rs:L235-L237 | 0 | ||
| ristretto.rs:L257-L271 | 2 | ||
| ristretto.rs:L245-L248 | 1 | ||
| ristretto.rs:L346-L348 | 0 | ||
| ristretto.rs:L223-L225 | 1 | ||
| ristretto.rs:L230-L232 | 0 | ||
| ristretto.rs:L277-L295 | 4 | ||
| ristretto.rs:L297-L342 | 11 | ||
| ristretto.rs:L498-L542 | 11 | ||
| ristretto.rs:L659-L666 | 2 | ||
| ristretto.rs:L676-L728 | 16 | ||
| ristretto.rs:L823-L839 | 3 | ||
| ristretto.rs:L859-L861 | 1 | ||
| ristretto.rs:L843-L845 | 1 | ||
| ristretto.rs:L1192-L1198 | 1 | ||
| ristretto.rs:L871-L878 | 2 | ||
| ristretto.rs:L988-L998 | 2 | ||
| scalar.rs:L1415-L1420 | 0 | ||
| ignored | scalar.rs:L1376-L1393 | 1 | |
| scalar.rs:L706-L708 | 0 | ||
| ignored | scalar.rs:L995-L1031 | 3 | |
| ignored | scalar.rs:L1080-L1140 | 3 | |
| ignored | scalar.rs:L788-L845 | 11 | |
| scalar.rs:L237-L246 | 2 | ||
| scalar.rs:L250-L252 | 2 | ||
| scalar.rs:L261-L265 | 1 | ||
| ignored | scalar.rs:L295-L297 | 1 | |
| ignored | scalar.rs:L547-L552 | 0 | |
| ignored | scalar.rs:L499-L504 | 0 | |
| ignored | scalar.rs:L508-L513 | 0 | |
| ignored | scalar.rs:L538-L543 | 0 | |
| ignored | scalar.rs:L491-L495 | 0 | |
| ignored | scalar.rs:L316-L318 | 3 | |
| ignored | scalar.rs:L390-L397 | 1 | |
| scalar.rs:L301-L303 | 0 | ||
| scalar.rs:L747-L749 | 3 | ||
| scalar.rs:L1158-L1160 | 2 | ||
| ignored | scalar.rs:L931-L983 | 2 | |
| scalar.rs:L567-L572 | 0 | ||
| scalar.rs:L1149-L1154 | 5 | ||
| scalar.rs:L691-L693 | 0 | ||
| ignored | scalar.rs:L1036-L1056 | 0 | |
| scalar.rs:L1143-L1145 | 1 | ||
| scalar.rs:L564-L564 | 1 | ||
| scalar.rs:L1232-L1234 | 3 | ||
| scalar.rs:L1174-L1229 | 3 | ||
| scalar.rs:L1165-L1169 | 1 | ||
| backend/serial/curve_models/mod.rs:L525-L531 | 1 | ||
| backend/serial/curve_models/mod.rs:L459-L473 | 3 | ||
| ignored | edwards.rs:L756-L758 | 3 | |
| backend/serial/curve_models/mod.rs:L415-L430 | 3 | ||
| edwards.rs:L855-L857 | 1 | ||
| ignored | edwards.rs:L815-L822 | 1 | |
| backend/serial/curve_models/mod.rs:L480-L494 | 3 | ||
| ignored | edwards.rs:L777-L779 | 3 | |
| backend/serial/curve_models/mod.rs:L437-L452 | 3 | ||
| backend/serial/u64/field.rs:L70-L74 | 1 | ||
| backend/serial/u64/field.rs:L117-L215 | 2 | ||
| backend/serial/u64/field.rs:L220-L224 | 1 | ||
| backend/serial/u64/field.rs:L86-L103 | 1 | ||
| backend/serial/curve_models/mod.rs:L504-L511 | 1 | ||
| ristretto.rs:L890-L892 | 1 | ||
| ristretto.rs:L969-L971 | 1 | ||
| ristretto.rs:L912-L914 | 1 | ||
| ignored | scalar.rs:L343-L347 | 3 | |
| edwards.rs:L867-L869 | 1 | ||
| ristretto.rs:L978-L980 | 1 | ||
| ignored | scalar.rs:L325-L327 | 3 | |
| ignored | scalar.rs:L375-L379 | 7 | |
| ignored | scalar.rs:L363-L367 | 3 | |
| montgomery.rs:L414-L451 | 6 | ||
| montgomery.rs:L463-L465 | 1 | ||
| traits.rs:L45-L47 | 0 | ||
| window.rs:L100-L106 | 2 |