https://gitlab.com/tezos/tezos

sort by:
Revision Author Date Message Commit Date
04a6548 WIP TESTS 05 May 2023, 13:28:28 UTC
a8a84bf Solver 05 May 2023, 13:20:13 UTC
a418939 WIP 04 May 2023, 17:53:13 UTC
70b3e09 WIP 04 May 2023, 16:11:55 UTC
ebd018a Progress 04 May 2023, 15:45:54 UTC
4873aa7 WIP 04 May 2023, 14:52:58 UTC
8d14e36 WIP 04 May 2023, 14:48:09 UTC
5fb111e PlonK: automatic padding for Range Checks bigger than circuit 04 May 2023, 14:45:09 UTC
62b4a03 PlonK: use the same randomness for Plookup, RC & Perm 04 May 2023, 14:41:30 UTC
cb9be94 Plompiler: add test for optimizer with range checks 04 May 2023, 14:41:30 UTC
7c54772 aPlonK: add test for RC with more proofs in setup 04 May 2023, 14:41:24 UTC
6b7485e 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. 04 May 2023, 14:36:01 UTC
fbc59fc aPlonK/Circuit: remove useless function 04 May 2023, 14:36:01 UTC
1a4cf2d aPlonK: fix switches for circuits with next wire 04 May 2023, 14:35:57 UTC
9158778 PlonK: commit RC_Z with wires 04 May 2023, 14:34:06 UTC
df6cbb4 Plompiler: handle range checks 04 May 2023, 14:31:20 UTC
1b79ca2 PlonK/Circuit: to_plonk takes cs_result instead of CS.t 04 May 2023, 14:31:20 UTC
23e9179 PlonK/Circuit.ml: more checks about range checks in make 04 May 2023, 14:31:20 UTC
8762d50 Manifest/Distributed Plonk: run tests for plonk-distribution Renamed `plonk-distribution` to `distribution` 04 May 2023, 14:31:19 UTC
33af3ec Manifest: abstract Plonk test pattern into separate function 04 May 2023, 14:31:19 UTC
810f7ac Manifest/Distributed Plonk: build binaries 04 May 2023, 14:31:19 UTC
43f7513 Distributed Plonk: fix tests build 04 May 2023, 14:31:18 UTC
95c3e2e Distributed-PlonK: add executables 04 May 2023, 14:31:18 UTC
574c381 PlonK/RC: handle several different wires 04 May 2023, 14:31:13 UTC
2a36b37 PlonK/Permutation: change build_batched_wires type 04 May 2023, 14:26:19 UTC
3eb3986 PlonK/RC: add test 04 May 2023, 14:21:17 UTC
1c839ff PlonK/RC : several bounds 04 May 2023, 14:21:17 UTC
bf9f89f PlonK/RC: small change 04 May 2023, 14:21:16 UTC
a13e0f3 aPlonK: introduce range check protocol 04 May 2023, 14:21:10 UTC
e8cb879 PlonK/Permutation: refactor cs 04 May 2023, 14:17:20 UTC
94b5526 PlonK/SMap: small change 04 May 2023, 14:07:37 UTC
dc346fa Distributed-PlonK: compatibility with range checks 04 May 2023, 14:07:36 UTC
04ed2b4 Distributed-PlonK: fix wrong module 04 May 2023, 14:07:36 UTC
7ebc477 Distributed-PlonK: fix tests when several uses of DP modules 04 May 2023, 14:07:36 UTC
28c84c4 PlonK/RC: make permutation order independent of poly’s names 04 May 2023, 14:07:35 UTC
8e2ca58 PlonK/Permutation: sort wires names 04 May 2023, 14:07:35 UTC
4a851c2 PlonK/Tests: move range checks in cases 04 May 2023, 14:07:35 UTC
ee7ab8e PlonK/RC: multiproof support 04 May 2023, 14:07:34 UTC
bf38126 PlonK/Test_RC: rename circuit 04 May 2023, 14:07:34 UTC
71a8407 PlonK/Bls/Scalar: use Plompiler.Csir.Scalar 04 May 2023, 14:07:34 UTC
9fe122b Plompiler/Csir/Scalar : change string_of_scalar 04 May 2023, 14:07:33 UTC
a1f5e30 PlonK: move shared permutation related in Permutation 04 May 2023, 14:07:33 UTC
f59cc9e PlonK/RC & Perm: minor changes 04 May 2023, 14:07:22 UTC
35e8949 Merge tezos/tezos!8436: Plompiler: generalize the number of wires in the architecture of PlonK Co-authored-by: ambrona <mac.ambrona@gmail.com> Approved-by: Antonio Locascio <antonio.locascio1@gmail.com> Approved-by: Marco Stronati <marco@stronati.org> Approved-by: Anne-Laure <anne.laure@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8436 04 May 2023, 12:11:21 UTC
cc82541 lib_plonk: generalize names of T, Si and Ss polynomials 04 May 2023, 11:38:11 UTC
87d8a83 lib_aplonk: generalize permutation argument 04 May 2023, 11:38:11 UTC
331e05a lib_plompiler csir: generalize linear selector names 04 May 2023, 11:38:11 UTC
75aeb2f lib_plonk circuit: generalize [sat_gate] 04 May 2023, 11:38:11 UTC
4ee759f lib_plompiler circuit: generalize [append_lookup] 04 May 2023, 11:38:11 UTC
3d705a3 lib_plompiler utils: remove [map5] function 04 May 2023, 11:38:11 UTC
2115ba7 lib_plompiler csir circuit: generalize [new_constraint] 04 May 2023, 11:38:11 UTC
5894ec4 lib_plompiler solver circuit: generalize [lookup_desc] 04 May 2023, 11:38:11 UTC
35a33f6 lib_plompiler solver circuit: generalize [wires_desc] 04 May 2023, 11:38:11 UTC
b29f878 lib_plompiler solver circuit: generalize [arith_desc] 04 May 2023, 11:38:11 UTC
2c7e08d lib_plompiler csir: generalize [table_or] 04 May 2023, 11:38:11 UTC
166d203 lib_plompiler csir: generalize [wires_of_constr_i] 04 May 2023, 11:38:11 UTC
f5932c8 lib_plonk: generalize [make_gates] 04 May 2023, 11:38:11 UTC
5bb1287 lib_plompiler csir: generalize [raw_constraint] type 04 May 2023, 11:38:11 UTC
5ae0b12 lib_plompiler csir: generalize [Wire] case of [selector_tag] variant 04 May 2023, 11:38:11 UTC
dab65f2 lib_plompiler csir circuit: generalize [q_list] 04 May 2023, 11:38:11 UTC
684cae8 lib_plompiler csir: generalize [entry] and [partial_entry] In order to support arbitrarily many wires 04 May 2023, 11:38:10 UTC
4b6749a Merge tezos/tezos!8330: SORU: EVM: import of benchmark kernel Co-authored-by: pecornilleau <pe.cornilleau@marigold.dev> Approved-by: Thomas Pecseli <thomas.pecseli@trili.tech> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8330 04 May 2023, 09:15:16 UTC
20738e1 SORU: EVM: benchmark kernel doc 04 May 2023, 08:43:09 UTC
17ac8a7 SORU: EVM: benchmark creation scripts 04 May 2023, 08:43:09 UTC
33c387f SORU: EVM: import of minimal evm kernel from tezos/kernel 04 May 2023, 08:43:09 UTC
9f8b3ae Merge tezos/tezos!8563: alpha: introduce attestation encoding and version 2 of operation encoding Co-authored-by: Albin Coquereau <albin.coquereau@nomadic-labs.com> Approved-by: Raphaël Proust <code@bnwr.net> Approved-by: Diane Gallois-Wong <diane.galloiswong@gmail.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8563 04 May 2023, 06:38:22 UTC
9eccbfc changes/alpha: add an entry for legacy operation encoding 04 May 2023, 06:00:08 UTC
5a812a5 changes: add a client entry for the new registered encodings 04 May 2023, 06:00:08 UTC
6b649e9 tezt/tests: add sample as tag in encoding tests 04 May 2023, 06:00:08 UTC
aacce8a tezt/tests: add encoding tests for operation_with_attestation encoding 04 May 2023, 06:00:08 UTC
0e560aa tezt/tests: add preendorsement operations sample to the encoding tests and remove endorsement_with_slot file 04 May 2023, 06:00:08 UTC
72d11b9 proto_alpha: test both encoding and legacy_encoding of operations 04 May 2023, 06:00:08 UTC
fceb082 proto_alpha/lib_client: add operation_with_attestation encodings using non legacy operation encoding 04 May 2023, 06:00:08 UTC
280262b proto_alpha: introduce attestation encodings in the non legacy operations encodings 04 May 2023, 06:00:08 UTC
1252aea proto_alpha: use legacy encoding 04 May 2023, 06:00:08 UTC
2331787 proto_alpha: copy operation encodings as legacy ones 04 May 2023, 06:00:08 UTC
15a4a45 Merge tezos/tezos!8613: Gossipsub: Split message publish and routing Co-authored-by: lin <linoshitani@gmail.com> Approved-by: Mohamed IGUERNLALA <iguer@functori.com> Approved-by: François Thiré <francois.thire@nomadic-labs.com> Approved-by: Eugen Zalinescu <eugen.zalinescu@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8613 04 May 2023, 04:59:45 UTC
22bc93e Gossipsub/Test: Add tests for handle_receive_message 04 May 2023, 04:24:54 UTC
d8847b7 Gossipsub: Split message publish and routing 04 May 2023, 04:24:54 UTC
49fd474 Merge tezos/tezos!8324: Kernel SDK: Support installer config. Part 1 Co-authored-by: Ilya Peresadin <ilya.peresadin@trili.tech> Approved-by: X <xf@marigold.dev> Approved-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8324 03 May 2023, 19:36:14 UTC
b871853 Kernel SDK: Add binary config instructions with encodings 03 May 2023, 19:00:54 UTC
778279b Merge tezos/tezos!8639: Fix incoherent fetching_step event Co-authored-by: vbot <vincent.botbol@nomadic-labs.com> Approved-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> Approved-by: Rémy El Sibaïe <remy.el-sibaie@nomadic-labs.com> Approved-by: vbot <vincent.botbol@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8639 03 May 2023, 19:00:08 UTC
d343001 Shell: fix incoherent fetching_step message 03 May 2023, 18:24:20 UTC
dd2d4fc Merge tezos/tezos!7988: lib_scoru_wasm: port tests to alcotezt Co-authored-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com> Approved-by: lykimquyen <1718826-lykimquyen@users.noreply.gitlab.com> Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/7988 03 May 2023, 18:23:26 UTC
11f92be scripts/version.sh: update [(full_)opam_repository_tag] 03 May 2023, 17:44:21 UTC
edf6736 lib_scoru_wasm/test: use [alcotest-qcheck] 03 May 2023, 17:44:21 UTC
b371a67 lib_scoru_wasm/test: port tests to alcotezt 03 May 2023, 17:44:21 UTC
2c241fe Merge tezos/tezos!8603: Build: use ALL_EXECUTABLES in the clean target Co-authored-by: Chris Pinnock <chris_pinnock@mac.com> Approved-by: Pierre Boutillier <pierre.boutillier@nomadic-labs.com> Approved-by: Killian Delarue <killian.delarue@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8603 03 May 2023, 17:42:58 UTC
2100d8b Build: use ALL_EXECUTABLES in the clean target 03 May 2023, 17:08:49 UTC
6363054 Merge tezos/tezos!8632: EVM/Kernel: extract check/test of reading current block after stage_two Co-authored-by: Rodi-Can Bozman <rodi.bozman@functori.com> Approved-by: Pierre-Emmanuel CORNILLEAU <pe.cornilleau@marigold.dev> Approved-by: Valentin Chaboche <valentin.chaboche@nomadic-labs.com> Approved-by: Thomas Letan <lthms@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8632 03 May 2023, 17:07:51 UTC
52f8307 EVM/Kernel: add more verbosity for debugging when reading/storing current block 03 May 2023, 16:28:38 UTC
4fc149f EVM/Kernel: extract check/test of reading current block after stage_two 03 May 2023, 16:28:38 UTC
2804d7d Merge tezos/tezos!8032: DAC: Improve type safety of RPC server Co-authored-by: Andrea Cerone <andrea.cerone@trili.tech> Approved-by: Gauthier <gauthier@marigold.dev> Approved-by: Joel Bjornson <joel.bjornson@trili.tech> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> Approved-by: Ryan Tan <ryan.tan@trili.tech> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/8032 03 May 2023, 16:27:33 UTC
f40117b Dac Node/Node context: remove type unsafe functions 03 May 2023, 15:42:12 UTC
ee200b9 Dac/Node: consistent naming for operating modes 03 May 2023, 15:42:12 UTC
51db3e0 Dac Node/Rpc Server: Improve type safety 03 May 2023, 15:42:12 UTC
2190220 Dac/Signature manager: improve state of modules 03 May 2023, 15:42:12 UTC
b52522e Dac node/Rpc server: operating mode specific signature update registration 03 May 2023, 15:42:11 UTC
219ad22 Dac/Node context: retrieve committee members by operating mode 03 May 2023, 15:42:11 UTC
c24314e Dac/Signature manager: move errors out of Coordinator module 03 May 2023, 15:42:11 UTC
back to top