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

add permisions precondition #16211

Draft
wants to merge 69 commits into
base: develop
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from 60 commits
Commits
Show all changes
69 commits
Select commit Hold shift + click to select a range
5db492d
add a precondition that just coppies account
Geometer1729 Sep 6, 2024
cf37196
Merge remote-tracking branch 'origin/compatible' into brian/permision…
Geometer1729 Sep 17, 2024
57c2369
trivial bool precondition
Geometer1729 Sep 19, 2024
c53b4d7
precondition for receive permision
Geometer1729 Sep 23, 2024
4a71a6e
try to actually enforce new checks
Geometer1729 Oct 1, 2024
7d8dd96
add most fields
Geometer1729 Oct 4, 2024
184685f
add verrification key permissions
Geometer1729 Oct 4, 2024
0392e82
push or_ignore through tuple
Geometer1729 Oct 8, 2024
eb1a6cd
remove txn_version preconditions
Geometer1729 Oct 10, 2024
118cffb
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 10, 2024
632b83b
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 10, 2024
90ce9af
misc cleanup
Geometer1729 Oct 10, 2024
23cf598
format
Geometer1729 Oct 10, 2024
65b91a7
update json reenable test
Geometer1729 Oct 14, 2024
5695655
fix some things in ci
Geometer1729 Oct 14, 2024
7c721c0
move permissions inside account
Geometer1729 Oct 15, 2024
8643389
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 16, 2024
2672811
update json
Geometer1729 Oct 16, 2024
805814f
regenerate archive_db.sql (incomplete)
Geometer1729 Oct 17, 2024
d661c6f
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 17, 2024
6c36d49
fix generator issue
Geometer1729 Oct 18, 2024
fd2a2d1
format
Geometer1729 Oct 18, 2024
73f563d
paritaly fix archive test documentation
Geometer1729 Oct 18, 2024
7e91d1c
update archive again (still an incomplete replay)
Geometer1729 Oct 18, 2024
b2fe697
longer archive db
Geometer1729 Oct 18, 2024
1eeefe0
fix hash and txid
Geometer1729 Oct 18, 2024
5a85694
try to fix archive db again
Geometer1729 Oct 18, 2024
becba22
try to fix update_perm_check and regenerate archive again
Geometer1729 Oct 21, 2024
0caf4b2
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 21, 2024
e1eae16
fix replayer json format
Geometer1729 Oct 21, 2024
17d97ea
Dariusz's correction to archive README.md
Geometer1729 Oct 22, 2024
d0e8169
increment type versions
Geometer1729 Oct 23, 2024
19469e5
remove gen for gen_valid
Geometer1729 Oct 23, 2024
90a610c
update archive_db.sql (hasn't finished but ran for ages so far)
Geometer1729 Oct 23, 2024
8a428e3
also update replayer_input_file.json
Geometer1729 Oct 23, 2024
7374032
kill the script and dump the archive
Geometer1729 Oct 23, 2024
e428d15
Merge branch 'brian/permisions-precondition' of github.com:MinaProtoc…
Geometer1729 Oct 23, 2024
d4323fa
mark blocks canonical maybe fixes hash thing
Geometer1729 Oct 23, 2024
8297f37
set target_epoch_ledger_state_hash
Geometer1729 Oct 23, 2024
d5599dd
commit genesis ledger
Geometer1729 Oct 24, 2024
43cfe96
update proof_caches
Geometer1729 Oct 24, 2024
240d7f9
move pkgs for regenerating archive into devShellPackages
Geometer1729 Oct 24, 2024
831c389
regenerate archive again
Geometer1729 Oct 24, 2024
3d1877f
export Permissions.auth_required
Geometer1729 Oct 24, 2024
1d996a4
extend archive_db.sql fix replay_input_file.json
Geometer1729 Oct 24, 2024
0e6812f
regenerate proof_cache.json
Geometer1729 Oct 28, 2024
043b7cc
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 28, 2024
4acc7ec
reformat
Geometer1729 Oct 28, 2024
dfa8905
add logs to ring_sig
Geometer1729 Oct 28, 2024
62b5798
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 28, 2024
c37e512
regen archive again, tweak script to find last_block itself
Geometer1729 Oct 29, 2024
69550ee
reformat
Geometer1729 Oct 29, 2024
7dfb349
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Oct 29, 2024
908f12e
add target_epoch_ledger_state_hash to replay input
Geometer1729 Oct 29, 2024
b64162c
trace more in ring_sig.ml
Geometer1729 Oct 29, 2024
3809b0b
trace verification key
Geometer1729 Oct 29, 2024
8b19425
trace more in ring_sig
Geometer1729 Oct 30, 2024
8490d0b
try to fix archive again
Geometer1729 Oct 31, 2024
0a69963
more traces for ring_sig issue
Geometer1729 Oct 31, 2024
ec13176
regenerate genesis.json add docs for that
Geometer1729 Oct 31, 2024
48df173
fix trailing ,s
Geometer1729 Dec 4, 2024
0281c04
fix json update proof cache
Geometer1729 Dec 4, 2024
74ee6f9
correct chain height in comment
Geometer1729 Dec 4, 2024
043e87a
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Dec 4, 2024
85e054b
fix json and remove a bunch of debug prints
Geometer1729 Dec 4, 2024
4380951
fix command for generating replayer_input_file.json
Geometer1729 Dec 4, 2024
ac123c2
write script to regenerate replay data
Geometer1729 Dec 10, 2024
febec5c
Merge branch 'develop' into brian/permisions-precondition
Geometer1729 Dec 11, 2024
60ad9f3
remove precomputed_blocks.zip
Geometer1729 Dec 12, 2024
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
12 changes: 11 additions & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -305,7 +305,17 @@

# Packages for the development environment that are not needed to build mina-dev.
# For instance dependencies for tests.
devShellPackages = with pkgs; [ rosetta-cli wasm-pack nodejs binaryen ];
devShellPackages = with pkgs;
[ rosetta-cli
wasm-pack
nodejs
binaryen
(pkgs.python3.withPackages (python-pkgs: [
python-pkgs.click
python-pkgs.requests
]))
pkgs.jq
];
in {
inherit ocamlPackages;

Expand Down
Loading