Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Twisted Edwards curves operations #1949

Open
wants to merge 25 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
90154ee
add, double, negate, assertOnCurve for twisted curves
querolita Dec 11, 2024
1e70628
scaling operations
querolita Dec 12, 2024
480f370
update changelog
querolita Dec 12, 2024
7a8fd9f
move into twisted file until generics are used
querolita Dec 13, 2024
cd508bc
fix parsing of flake.lock
querolita Dec 13, 2024
25d4b56
Merge branch 'main' into feature/eddsa/twisted
querolita Dec 13, 2024
d6d329a
fix flake.lock
querolita Dec 13, 2024
1419a3c
update bindings
querolita Dec 13, 2024
d7a3812
Merge branch 'main' into feature/eddsa/twisted
querolita Dec 19, 2024
204e4bb
Merge branch 'main' into feature/eddsa/twisted
querolita Jan 9, 2025
fab3cdb
point to bindings commit that has been updated
querolita Jan 9, 2025
92ec22c
use bindings with patch
querolita Jan 9, 2025
846e671
Merge branch 'main' into feature/eddsa/twisted
querolita Jan 10, 2025
a3b4d40
update interface for doubling
querolita Jan 10, 2025
8d28a18
add missing in doubling formula
querolita Jan 13, 2025
d6b9354
fix formula of assertOnCurve
querolita Jan 15, 2025
2be408d
fix double definition, and use right infinity points
querolita Jan 15, 2025
897a258
fix add constraints
querolita Jan 15, 2025
576725d
unit tests for twisted curves
querolita Jan 15, 2025
070f036
Merge branch 'main' into feature/eddsa/twisted
querolita Jan 15, 2025
6a6e708
updated bindings with macos-fix branch
querolita Jan 16, 2025
ede8ed3
resolve merge conflict from flake.lock
Geometer1729 Jan 16, 2025
1312311
apply patch
querolita Jan 16, 2025
c954595
Merge branch 'feature/eddsa/twisted' of github.com:o1-labs/o1js into …
querolita Jan 16, 2025
f91c36b
remove complexity of msm because twisted add is complete (no degenera…
querolita Jan 16, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,10 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm

## [Unreleased](https://github.com/o1-labs/o1js/compare/b857516...HEAD)

## Added

- Twisted Edwards curves operations https://github.com/o1-labs/o1js/pull/1949

## [2.2.0](https://github.com/o1-labs/o1js/compare/e1bac02...b857516) - 2024-12-10

### Added
Expand Down
4 changes: 2 additions & 2 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 7 additions & 1 deletion src/lib/provable/gadgets/elliptic-curve.ts
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,13 @@ import { ProvableType } from '../types/provable-intf.js';
export { EllipticCurve, Point, Ecdsa };

// internal API
export { verifyEcdsaConstant, initialAggregator, simpleMapToCurve };
export {
verifyEcdsaConstant,
initialAggregator,
simpleMapToCurve,
arrayGetGeneric,
point,
};

const EllipticCurve = {
add,
Expand Down
Loading
Loading