https://gitlab.com/tezos/tezos

sort by:
Revision Author Date Message Commit Date
e81f04e Plompiler/Test: add a test for range-checks 17 May 2023, 17:09:48 UTC
6bbc4bb Plompiler/Optimizer: compatibility with range-checks 17 May 2023, 14:15:40 UTC
f2579fe Plompiler: handle range checks 17 May 2023, 14:15:40 UTC
8d20654 PlonK & aPlonK: promote slow regression 17 May 2023, 14:15:22 UTC
74123b2 PlonK: use the same randomness for Plookup, RC & Perm 17 May 2023, 08:49:43 UTC
1ccbcb2 aPlonK: change 'nb_batch' for 'nb_batches' 17 May 2023, 08:49:42 UTC
86cfe99 aPlonK: add test for RC with more proofs in setup 17 May 2023, 08:49:42 UTC
b3fb104 PlonK: commit RC_Z with wires Note that this has a lot of side effects on aPlonK; in particular, Z_RC & Z_RC_perm are not batched together anymore. Also, since Z_RC are now batched with wires, and since we need the next evaluation for Z_RC, this means if there is a range-check in a circuit, there will be a "next wire evaluation". 17 May 2023, 08:49:41 UTC
e7a6be0 PlonK/SMap: prefix with proof idx by default This solves identities indexes problem raised when RC protocol is used in aPlonK with more proofs in the setup. Note that this commit breaks aPlonK’s range-checks tests until the commit that commits RC_Z with wires. 16 May 2023, 12:30:54 UTC
8e6f7c3 aPlonK/Circuit: clarify nb_batch handling 16 May 2023, 12:30:54 UTC
cd7c6ef PlonK/SMap: remove duplicate 16 May 2023, 12:30:53 UTC
3e161e8 aPlonK/Test_main_protocol: add test 'nb_proofs no pi' for next wire 16 May 2023, 12:30:53 UTC
cb699ef aPlonK: replace input_commit_infos by input_commit_funcs Instead of having `input_commit_info` that tells which argument we should give to the function, we directly provide the functions we want to use. This commit makes the padding for answers the same everywhere and thus solves the issue with switches when the next wires are used. 16 May 2023, 12:30:53 UTC
53f96ae aPlonK/Circuit: pad_inputs takes nb_rc_wires as an argument 16 May 2023, 12:30:52 UTC
cf3c9b4 aPlonK/Main_protocol: add number of range-checked wires in prover_meta_pp 16 May 2023, 12:30:52 UTC
703016a PlonK/Utils: add pad_answers function 16 May 2023, 12:30:51 UTC
22d5eb4 PlonK/Circuit: to_plonk takes cs_result instead of CS.t 16 May 2023, 12:30:51 UTC
e3d33d5 aPlonK/Circuit: add comment 16 May 2023, 12:30:50 UTC
365355a aPlonK/Main_protocol: minor clean 16 May 2023, 12:30:50 UTC
17a77ab aPlonK: move map_end in PlonK.List 16 May 2023, 12:30:49 UTC
630192a aPlonK/Circuit: remove useless function 16 May 2023, 12:30:48 UTC
4599377 PlonK: automatic padding for range-checks bigger than circuit 16 May 2023, 12:30:48 UTC
46a5b64 PlonK/Main_protocol: update comment & some renamings 16 May 2023, 12:00:31 UTC
2683c73 PlonK/Circuit: sort range-checks indices 16 May 2023, 12:00:30 UTC
a9e7b85 Manifest/Distributed Plonk: run tests for plonk-distribution Renamed `plonk-distribution` to `distribution` 16 May 2023, 11:50:01 UTC
9c20c65 Manifest: abstract Plonk test pattern into separate function 16 May 2023, 11:50:01 UTC
2d2997d Manifest/Distributed Plonk: build binaries 16 May 2023, 11:50:01 UTC
0d02764 Distributed Plonk: fix tests build 16 May 2023, 11:50:01 UTC
f4d63fb Manifest/Distributed_plonk: remove useless dependencies 16 May 2023, 11:50:01 UTC
6b46f7b Distributed-PlonK: add executables 16 May 2023, 11:50:01 UTC
a6030e4 Merge tezos/tezos!8720: proto/michelson: using `pair` type instead of `*` for michelson pairs Co-authored-by: Julien Tesson <julien.tesson@nomadic-labs.com> Approved-by: Mehdi Bouaziz <mehdi.bouaziz@nomadic-labs.com> Approved-by: Raphaël Cauderlier <raphael.cauderlier@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8720 16 May 2023, 11:18:05 UTC
912a7d1 proto/michelson: lowercase non-stack type variable (ml file) 16 May 2023, 03:13:00 UTC
14bd3d0 proto/michelson: using `pair` type instead of `*` for michelson pairs(ml file) 16 May 2023, 03:13:00 UTC
537d2da proto/michelson: lowercase non-stack type variable (mli file) Some `T where actually not stack variables despite theire name, this commit change them for lowercase `t. 16 May 2023, 03:13:00 UTC
1448516 proto/michelson: using `pair` type instead of `*` for michelson pairs(mli file) The `*` type constructor is used both to construct stack type and to construct pairs type. The type `('a,'b) pair` was introduced to make explicit the type of michelson pairs, this commit replace `*`by `(_,_) pair` at each point it makes sens. 16 May 2023, 03:13:00 UTC
390ed13 Merge tezos/tezos!8151: Snoop: adds auto-build sub-command Co-authored-by: Jun Furuse <jun.furuse@dailambda.jp> Approved-by: satos <sota.sato@dailambda.jp> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Jun Furuse <jun.furuse@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8151 15 May 2023, 22:34:03 UTC
414ccd6 Snoop: auto-build: adds --bench-num and --nsamples 15 May 2023, 21:58:59 UTC
3298fe6 Snoop: auto-build: adds inference CLI options 15 May 2023, 21:58:59 UTC
a6a968d Snoop: adds "generate code for benchmarks" sub-command aka auto-build 15 May 2023, 21:58:59 UTC
c3b4eb1 Benchmark: fixes printing of Free_variable.Set 15 May 2023, 21:58:59 UTC
b23c83a Merge tezos/tezos!8635: [DAC] Coordinator - remove threshold parameter Co-authored-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Gauthier <gauthier@marigold.dev> Approved-by: Ryan Tan <ryan.tan@trili.tech> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Alain Mebsout <alain.mebsout@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8635 15 May 2023, 19:56:44 UTC
8441e6c Tezt/Dac: remove coordinator threshold parameter 15 May 2023, 19:21:01 UTC
ddc857b DAC/Node: remove threshold from coordinator configuration 15 May 2023, 19:21:01 UTC
ee89fef Merge tezos/tezos!8494: Timelock - patching benchmarks Co-authored-by: Raphael Toledo <contact@raphael-toledo.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> Approved-by: Antonio Locascio <antonio.locascio1@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8494 15 May 2023, 19:20:04 UTC
a030525 Lib_crypto/timelock: adding comment 15 May 2023, 18:35:55 UTC
7077bea Tezt-timelock contract: update time 15 May 2023, 18:35:55 UTC
327a0b1 lib_crypto/timelock: updating chest sampler for determinism 15 May 2023, 18:35:55 UTC
1a27f7b lib_crypto:fixup timelock.ml 15 May 2023, 18:35:55 UTC
c5e3e16 lib_crypto/timelock: update test sampler 15 May 2023, 18:35:55 UTC
b136e77 Proto_alpha/interpreter_benchmarks: updating timelock 15 May 2023, 18:35:55 UTC
9812bbe Proto_alpha/encodings_benchmarks: updating timelock 15 May 2023, 18:35:55 UTC
eed845b Lib_crypto/timelock: updating chest_sampler 15 May 2023, 18:35:55 UTC
6304884 Merge tezos/tezos!8725: Kernel SDK: bump tezedge deps Co-authored-by: Emma Turner <emma.turner@trili.tech> Approved-by: Ole Krüger <ole.kruger@trili.tech> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8725 15 May 2023, 18:34:55 UTC
4fbf9b5 Kernel SDK: bump tezedge deps 15 May 2023, 17:53:35 UTC
e8cd38d Merge tezos/tezos!8735: Kernel/SDK: abstract storage from 'account' terminology to make it generic Co-authored-by: Rodi-Can Bozman <rodi.bozman@functori.com> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> Approved-by: Thomas Pecseli <thomas.pecseli@trili.tech> Approved-by: Alain Mebsout <alain.mebsout@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8735 15 May 2023, 17:52:38 UTC
a541f5e Kernel/SDK/EVM: readapt tests/docs 15 May 2023, 17:19:09 UTC
ca98d6d Kernel/SDK: abstract storage from 'account' terminology ...instead make it generic by using the failsafe/commitment/storage state terminology. 15 May 2023, 17:19:09 UTC
9a5cb5f Merge tezos/tezos!8709: Environment: add Merkle tree module from Tezos_crypto Co-authored-by: Julien Coolen <julien.coolen@nomadic-labs.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Marc Beunardeau <marc.beunardeau@nomadic-labs.com> Approved-by: Yann Regis-Gianas <946787-yrg@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8709 15 May 2023, 14:33:05 UTC
ce72b04 env: export Make_merkle_tree functor from Blake2B 15 May 2023, 13:46:19 UTC
5996a9e Merge tezos/tezos!8698: Gossipsub: various doc-string improvements Co-authored-by: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8698 15 May 2023, 10:44:42 UTC
192f60f Gossipsub: rename score parameters to score limits 15 May 2023, 10:11:08 UTC
6d005c8 Gossipsub: add output for announced pruned peer not in mesh 15 May 2023, 10:11:08 UTC
ae8c312 Gossipsub: move Message_cache interface to intf file 15 May 2023, 10:11:08 UTC
22fcb46 Gossipsub: document the automaton state Fixes https://gitlab.com/tezos/tezos/-/issues/4983. 15 May 2023, 10:11:08 UTC
5c5e350 Gossipsub/Cache: improve doc-strings 15 May 2023, 10:11:08 UTC
fe86e6d Gossipsub/Cache: add issue about duplicates 15 May 2023, 10:11:08 UTC
f888a8c Gossipsub/Score: uniformize doc-strings 15 May 2023, 10:11:08 UTC
7f5fb53 Gossipsub: invert order of function calls 15 May 2023, 10:11:08 UTC
17e361b Gossipsub: rename No_peer_in_mesh to Topic_not_tracked 15 May 2023, 10:11:08 UTC
9236822 Gossipsub: fix docstring about message ids 15 May 2023, 10:11:08 UTC
2fac3fd Gossipsub: fix issue number 15 May 2023, 10:11:08 UTC
d9e5f4b Merge tezos/tezos!8429: Benchmarks: automatic run documentation Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Tezos Merbocop <merbocop@cryptium.ch> Approved-by: Pavlo Khrystenko <p.khrystenko@gmail.com> Approved-by: Jun Furuse <jun.furuse@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8429 15 May 2023, 10:10:15 UTC
9375afe Benchmarks: automatic run documentation. 15 May 2023, 08:57:36 UTC
89e8c7a Merge tezos/tezos!6787: Shell & plugins: bound the mempool by op count and total byte size Co-authored-by: Diane Gallois-Wong <diane.gallois-wong@nomadic-labs.com> Approved-by: Albin Coquereau <pro.acoquer@protonmail.com> Approved-by: vbot <vincent.botbol@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/6787 15 May 2023, 08:56:40 UTC
16f1117 Changelog: add entries 15 May 2023, 07:26:54 UTC
110f5ff Tezt/RPC_test: update regression tests 15 May 2023, 07:26:54 UTC
442c85d Tezt: update prefiltered limits tests 15 May 2023, 07:26:54 UTC
4d3a731 Tezt: update test get post mempool filter and move config helpers to lib_tezos/mempool and rework function set_filter with optional args for fields, to avoid having to write the config string by hand every time 15 May 2023, 07:26:54 UTC
ef4eb76 Shell: add tests on mempool bounding 15 May 2023, 07:26:54 UTC
58a8253 Shell/test_prevalidation: check returned op 15 May 2023, 07:26:54 UTC
c8adba1 Shell: make signature_checked field configurable in tests and remove unneeded functions from Shell_operation.Internal_from_tests 15 May 2023, 07:26:54 UTC
12d34f9 Shell: make the mempool bounds actually configurable 15 May 2023, 07:26:54 UTC
5fbd77d Plugins: add mempool.mli to get warned of any unused leftovers 15 May 2023, 07:26:54 UTC
c77ea07 Shell & plugins: remove obsolete bounding code from filter plugin 15 May 2023, 07:26:54 UTC
732dc13 Shell: mempool: bound not only op count but also total byte size Moreover, mempool bounding is now done in lib_shell instead of relying on the plugin. 15 May 2023, 07:26:54 UTC
d5a08a5 Merge tezos/tezos!8614: DAL/Node: define the P2P interface to be used by Gossipsub Co-authored-by: iguerNL@Functori <iguer@functori.com> Approved-by: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8614 15 May 2023, 06:19:03 UTC
c21aad9 DAL/Node: plug the P2P transport layer in the DAL node 15 May 2023, 05:40:23 UTC
c95a215 DAL/Node: add module that provides p2p limits and config params 15 May 2023, 05:40:23 UTC
d956b01 DAL/Node: use default values in configuration for net-addr and pow 15 May 2023, 05:40:23 UTC
63935cf DAL/Node: extend bin_dal_node deps with Octez_p2p deps 15 May 2023, 05:40:23 UTC
3166a90 DAL/Node: expose transport layer facilities in gossipsub.ml 15 May 2023, 05:40:23 UTC
8191f38 DAL/Node: add default P2P config parameters & limits 15 May 2023, 05:40:23 UTC
1201876 DAL/Node: define GS/P2P transport layer interface 15 May 2023, 05:40:23 UTC
c67432d DAL/Node: expose Span in gs_interface and provide span_encoding 15 May 2023, 05:40:22 UTC
9e2c4c9 DAL/Node: add needed deps to octez_dal_node_gossipsub_lib 15 May 2023, 05:40:22 UTC
6980cda DAL/Node: add two helpers identity_file and peers_file in config 15 May 2023, 05:40:22 UTC
a18d32c DAL/Node: add network name in config file 15 May 2023, 05:40:22 UTC
6dd15b1 DAL/Node: add (default_)expected_pow in configuration 15 May 2023, 05:40:22 UTC
51d4ae8 Manifest: rename octez_p2p_identity_file to octez_base_p2p_identity_file 15 May 2023, 05:40:22 UTC
7623477 Merge tezos/tezos!8538: Benchmark: adds measure.mli Co-authored-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Co-authored-by: Jun Furuse <jun.furuse@dailambda.jp> Approved-by: Jun Furuse <jun.furuse@gmail.com> Approved-by: Pavlo Khrystenko <p.khrystenko@gmail.com> Approved-by: KOBAYASHI Kazuhiro <kazuhiro.kobayashi@dailambda.jp> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8538 14 May 2023, 08:53:36 UTC
back to top