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

Dynamic arrays in o1js #1848

Draft
wants to merge 30 commits into
base: main
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
6f61d44
initial api following gretzke data type
querolita Oct 2, 2024
0598bd0
playing with provable and async functions for the table id
querolita Oct 4, 2024
6ca4bc8
remove runtime tables from interface and adapt zksecurity code for dy…
querolita Oct 17, 2024
4fe6f43
Merge branch 'main' into feature/dynamic-arrays
querolita Oct 17, 2024
da4990c
revert subproject commit of bindings and mina
querolita Oct 18, 2024
e813b7c
revert function name changes after merge collision toBigInt/toBigint …
querolita Oct 18, 2024
77a80db
remove runtime tables from this branch, and revert package.json modif…
querolita Oct 18, 2024
354bb0e
revert changes to package-lock.json
querolita Oct 18, 2024
2cf25fa
remove changes to esbuild
querolita Oct 18, 2024
c8e21f1
revert more changes to package-lock.json caused by esbuild
querolita Oct 18, 2024
fcd6ebf
update changelog
querolita Oct 18, 2024
57dd9cb
use zkprogram to be able to test prover functions in dynamic arrays
querolita Oct 21, 2024
4fb72f0
comment parts of the unit test
querolita Oct 29, 2024
677ee2c
enable mapping test
querolita Oct 31, 2024
5fb42f8
include set and get test
querolita Oct 31, 2024
aceb442
fix popping multiple elements
querolita Oct 31, 2024
49138bf
increment and decrement length
querolita Oct 31, 2024
fd6007e
move functions around
querolita Nov 1, 2024
3af547b
simplify add in map test
querolita Nov 1, 2024
01cb38b
remove unused functions
querolita Nov 1, 2024
a40cb0a
create assert none in Option
querolita Nov 1, 2024
37a72b2
shift left and test
querolita Nov 1, 2024
8536114
allow shifting left length positions
querolita Nov 1, 2024
45ea600
copy, slice, and fix shift left
querolita Nov 4, 2024
a06a607
added shiftRight function
querolita Nov 4, 2024
0b54106
added concat functionality
querolita Nov 4, 2024
3ba8c4b
added insert functionality
querolita Nov 4, 2024
10297b3
clarification comment TODO
querolita Nov 4, 2024
7fb4cf4
Merge branch 'main' into feature/dynamic-arrays
querolita Nov 27, 2024
8619a57
Merge branch 'feature/lookup-runtime-tables' into feature/dynamic-arrays
querolita Mar 31, 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 @@ -127,6 +127,10 @@ This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.htm

## [1.9.1](https://github.com/o1-labs/o1js/compare/f15293a69...7e9394) - 2024-10-15

### Added

- Dynamic array provable type https://github.com/o1-labs/o1js/pull/1848

### Fixes

- Performance regression when compiling recursive circuits is fixed https://github.com/o1-labs/o1js/pull/1874
Expand Down
1 change: 1 addition & 0 deletions src/index.ts
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,7 @@ export { Bytes, FlexibleBytes } from './lib/provable/wrapped-classes.js';
export { Packed, Hashed } from './lib/provable/packed.js';
export { Gadgets } from './lib/provable/gadgets/gadgets.js';
export { Types } from './bindings/mina-transaction/v1/types.js';
export { DynamicArray } from './lib/provable/dynamic-array.js';

export { MerkleList, MerkleListIterator } from './lib/provable/merkle-list.js';
import { IndexedMerkleMap, IndexedMerkleMapBase } from './lib/provable/merkle-tree-indexed.js';
Expand Down
Loading