Commit Graph

  • c013f5e9fa Rollup compression test vub 2021-12-25 10:38:01 -03:00
  • 0bcf12d9d3 Proof of custody break using Paillier encryption Dankrad Feist 2021-11-12 22:50:21 +00:00
  • 6f6aa0b5ca Renamed file vub 2021-11-04 11:14:10 -06:00
  • 2ece7c3d60 Refactor update computation into separate function Dankrad Feist 2021-09-13 23:09:29 +01:00
  • 99e1a94e20 Added processing of updates Dankrad Feist 2021-09-13 17:36:43 +01:00
  • 6e8b7b367e Optimize verification by deduplicating commitments in E computation Dankrad Feist 2021-09-10 18:47:01 +01:00
  • bb2faccae9 Simplification by always working with node paths Dankrad Feist 2021-09-10 15:54:05 +01:00
  • 2c5c97a859 Remove more debug code Dankrad Feist 2021-09-10 13:24:18 +01:00
  • 1c2da3862e Better indexing of extension nodes Dankrad Feist 2021-09-10 01:05:51 +01:00
  • 73d1e81138 Clearer node finding function Dankrad Feist 2021-09-09 16:13:45 +01:00
  • f017e81572 Subindex -> z and other minor renamings Dankrad Feist 2021-09-09 15:24:00 +01:00
  • 09489cb955 Some cleanups + comments Dankrad Feist 2021-09-09 11:42:14 +01:00
  • 3f52b91019 Verkle trie implementation according to EIP draft, read proofs complete Dankrad Feist 2021-09-08 23:41:40 +01:00
  • 4ebab68345 Some more fixes to the Pedersen verkle trie PoC Dankrad Feist 2021-09-08 23:38:27 +01:00
  • 4958e14839 Verkle trie according to EIP draft WIP Dankrad Feist 2021-09-07 02:09:26 +01:00
  • 1e0512b301 Fix some problems in verkle_trie_pedersen Dankrad Feist 2021-09-06 23:41:53 +01:00
  • 4d85785c10 Verkle tries with Pedersen commitment leaves (instead of (key, value) hash) Dankrad Feist 2021-08-12 22:51:33 +01:00
  • 74fc8edfb5 Completed verkle trie using Pedersen/IPA Dankrad Feist 2021-08-11 22:37:25 +01:00
  • c747ede91d Change to Bandersnatch Dankrad Feist 2021-08-11 13:23:38 +01:00
  • 91203e5926 Verkle tries using Pedersen/IPA Dankrad Feist 2021-08-04 17:21:25 +01:00
  • 0017669124 IPA done Dankrad Feist 2021-08-03 23:32:19 +01:00
  • 03a3f32435 wip Dankrad Feist 2021-08-02 18:48:56 +01:00
  • 468561eb0a wip Dankrad Feist 2021-07-30 15:58:12 +01:00
  • 247013ff38 Merge pull request #122 from gballet/fix-r dankrad 2021-07-23 17:48:13 +01:00
  • 70983e2628 verkle_trie: r calculation matches the spec Guillaume Ballet 2021-07-23 11:34:17 +02:00
  • 7e49f9063f Merge pull request #121 from kevaundray/patch-1 dankrad 2021-05-11 10:44:28 +01:00
  • 3393bbee5b verkle_trie: change generator to be 7 kevaundray 2021-05-11 09:23:35 +01:00
  • 16f20848c6 Simplify by removing unncessesary A commitment (=pk) Dankrad Feist 2021-03-25 09:54:32 +00:00
  • 672b54e705 Remove unused import Dankrad Feist 2021-03-24 21:42:32 +00:00
  • 048b537f42 Simple Eth1 proof of custody Dankrad Feist 2021-03-24 21:40:23 +00:00
  • 09cd63779b Merge pull request #119 from gballet/verkle-t-and-r-as-fields-elements dankrad 2021-03-19 16:07:38 +00:00
  • 382e7197fb verkle_trie: Take the field element value for r and t Guillaume Ballet 2021-03-19 16:22:04 +01:00
  • 6355f3ae3a Refined the implementations of bulletproofs and added comments Vitalik Buterin 2021-03-12 13:23:02 -06:00
  • 808b8e342f Merge branch 'master' of github.com:ethereum/research Vitalik Buterin 2021-03-11 13:56:26 -06:00
  • 51988b744a Added example bulletproof impl Vitalik Buterin 2021-03-11 13:56:14 -06:00
  • 6bbc3bcfce Merge pull request #118 from ralexstokes/patch-1 dankrad 2021-02-19 19:18:27 +00:00
  • d66ea9c203 Update linear combinations for empty inputs Alex Stokes 2021-02-19 11:10:39 -08:00
  • 24cb746121 Added generic in-place-tree implementation Vitalik Buterin 2021-02-17 16:15:06 -06:00
  • 456831c6d0 Update Bach algorithm to also produce multiplicative group order Dankrad Feist 2021-02-09 22:25:37 +00:00
  • 8bbd21c971 Add script to compute statistics Dankrad Feist 2021-02-08 19:17:17 +00:00
  • 91412fa9c2 Change name Dankrad Feist 2021-02-05 12:34:41 +00:00
  • bfdc133853 Reduce proof sizes through improved multiproof Dankrad Feist 2021-02-05 12:26:46 +00:00
  • 5ec1843b24 Verkle trie deletion Dankrad Feist 2021-02-05 00:10:27 +00:00
  • 246c7f87a1 Merge pull request #95 from rcconyngham/rsa_moduli dankrad 2021-02-01 15:26:05 +00:00
  • 4f1d2d0b3c Consistent precision Dankrad Feist 2021-01-27 15:19:50 +00:00
  • 60dfe9a03b Adding verkle trie insertion Dankrad Feist 2021-01-27 15:19:06 +00:00
  • 5e641d6db2 Refactor KZG multiproofs as separate functions Dankrad Feist 2021-01-26 22:00:28 +00:00
  • f03e59ddd7 Fix time bug Dankrad Feist 2021-01-26 14:24:18 +00:00
  • 4b8e06fa84 Merge pull request #117 from ethereum/vbuterin-patch-1 dankrad 2021-01-26 14:21:10 +00:00
  • 495ca5f31a Slightly less intrusive logging vbuterin 2021-01-26 22:16:20 +08:00
  • 8541370053 Verkle trie proof of concept Dankrad Feist 2021-01-26 13:59:28 +00:00
  • f6ffca80aa Fix size for polynomial interpolation (polynomial can only be up to degree of data, not extension) Dankrad Feist 2020-12-28 15:23:30 +00:00
  • 548c3d2ff4 Add method for interpolating polynomials that don't fill a subgroup Dankrad Feist 2020-12-28 13:35:15 +00:00
  • da7bbc42b5 Methods for constructing zero polynomials and reconstructing polynomials from partial evaluations on a subgroup Dankrad Feist 2020-12-26 11:31:33 +00:00
  • d530707447 Merge pull request #116 from ethereum/kzg-fix-typo dankrad 2020-12-17 23:08:41 +00:00
  • b10f9f3fcc fix typo in kzg proof check protolambda 2020-12-17 23:29:45 +01:00
  • 946749cadb Error in fk20_multi Dankrad Feist 2020-12-10 15:56:53 +00:00
  • 8fbfb8e64c Explicit setup and cosmetic changes Dankrad Feist 2020-12-10 15:17:19 +00:00
  • ddc678aa0d Added FK20 multiproof method Dankrad Feist 2020-12-08 16:54:37 +00:00
  • d406b1606e Added data availability optimized method Dankrad Feist 2020-12-07 18:16:46 +00:00
  • 5378cc04f7 FK20 method for single proofs adapted to data availability Dankrad Feist 2020-12-05 21:41:52 +00:00
  • eb081757d0 Add more comments/clarity Dankrad Feist 2020-12-05 18:13:12 +00:00
  • dcb804d507 KZG proofs for DA Dankrad Feist 2020-12-03 09:57:11 +00:00
  • bdf6c72bf3 Some timing output added Dankrad Feist 2020-08-12 18:07:14 +01:00
  • 6a90aadb75 Add a precomputed implementation of Verkle trees for experiments. Dankrad Feist 2020-08-12 13:12:58 +01:00
  • 3d6f40ca17 Gitignore Dankrad Feist 2020-08-12 12:58:51 +01:00
  • 29fd3e8b55 Added verkle tree implementation Vitalik Buterin 2020-06-13 14:07:25 -04:00
  • 5471089f90 Added sparse Vitalik Buterin 2020-06-03 11:38:48 -04:00
  • aa180d3654 Added mod polys Vitalik Buterin 2020-06-03 11:27:48 -04:00
  • 9157ec0b74 Added alternative multisubset algorithm Vitalik Buterin 2020-04-06 14:09:50 -04:00
  • 420a19e444 Some optimizations Vitalik Buterin 2020-04-03 11:03:36 -04:00
  • 6fc131bc0a Added fast linear combinations impl Vitalik Buterin 2020-04-02 15:53:43 -04:00
  • 2a94a123ef Add draft of ffg+ghost paper Danny Ryan 2020-01-12 10:39:00 -07:00
  • c4e1bdd137 Added out-of-domain evaluations in evaluation form Vitalik Buterin 2019-12-04 13:45:22 -08:00
  • df9c517379 Proof of concept in python and SCALE-MAMBA for single-layer Legendre+UHF construction Dankrad Feist 2019-11-04 11:59:00 +00:00
  • 183eb4385b PoC for Khovratovich algorithm Dankrad Feist 2019-09-09 14:51:59 +01:00
  • 5b54146208 Update Legendre benchmark for new py_ecc, also more accurate timing for the shorter aggregations Dankrad Feist 2019-08-05 11:07:24 +01:00
  • 6652919a0f Added no surround checker Vitalik Buterin 2019-07-09 22:40:30 -04:00
  • da3b7f6a57 Made bitarray to bytes function work for the empty case Vitalik Buterin 2019-07-02 23:12:54 -04:00
  • fececc07fa Update of Legendre with protection against repeated subchunks Dankrad Feist 2019-07-02 19:38:28 +01:00
  • eaa3efe0d2 Made simple types simpler Vitalik Buterin 2019-06-14 11:13:14 -04:00
  • 6e3d8290ac Added newssz Vitalik Buterin 2019-06-13 17:32:07 -04:00
  • f196808fff Reworked partials a bit Vitalik Buterin 2019-05-25 06:07:18 -04:00
  • 45163c97c9 Added readme Vitalik Buterin 2019-05-22 16:22:19 -04:00
  • e1351d3275 Added earliest SSZ partials code (still spaghetti-ish and needs cleanup) Vitalik Buterin 2019-05-22 16:20:04 -04:00
  • 794fea4869 Small correction to zpoly Vitalik Buterin 2019-05-17 15:58:36 -04:00
  • e55bdb67e2 Merge branch 'master' of github.com:ethereum/research Vitalik Buterin 2019-05-17 15:13:39 -04:00
  • 0f7aa9e015 Some optimization Vitalik Buterin 2019-05-17 15:13:34 -04:00
  • 260faf622e Proof of concept for BLS signature in an MPC using SCALE-MAMBA Dankrad Feist 2019-05-16 22:05:41 +01:00
  • 30a1c960d0 Added ethereum data root execution Vitalik Buterin 2019-05-14 16:09:05 -04:00
  • 96af51d5e2 Some optimizations Vitalik Buterin 2019-05-14 16:08:47 -04:00
  • 8ce2791efb Improved binary FFT algos Vitalik Buterin 2019-05-14 14:29:41 -04:00
  • 4f5c8be13c Added interpolation Vitalik Buterin 2019-05-13 17:47:48 -04:00
  • efa52441cf MPC code for Legendre Dankrad Feist 2019-05-13 16:29:13 +01:00
  • fea4af43ed New MPC-optimized version of Legendre aggregate Dankrad Feist 2019-05-13 14:37:05 +01:00
  • aa00c34691 Added comments Vitalik Buterin 2019-05-07 07:19:26 -05:00
  • a8712d3e2a Added binary FFT Vitalik Buterin 2019-05-07 07:12:05 -05:00
  • 42064fd5a9 Merge branch 'master' of github.com:ethereum/research Vitalik Buterin 2019-05-07 07:09:46 -05:00
  • d5b205ca32 Added binary FFT files Vitalik Buterin 2019-05-07 07:09:31 -05:00
  • ef1e3287c9 Python prototype for proof of custody using Legendre Dankrad Feist 2019-05-03 20:29:35 +01:00