edec3632f1
Merge pull request #45 from logos-co/drusu/sparse_merkle_tree_nullifiers
...
PACT: Sparse Merkle Tree & Rework proof recusion
2024-12-11 21:17:04 +04:00
0c312bdd35
rm cl::bundle
2024-12-10 21:48:18 +04:00
29cd911654
cr comments
2024-12-10 20:13:58 +04:00
98f0a3b752
rework PACT recursion
2024-12-09 15:23:43 +04:00
baaf10a429
mv covenant verification into ptx proof
2024-12-07 00:32:25 +04:00
fdab50a0e4
all working now
2024-12-06 23:47:54 +04:00
f8a62fe7c9
update ptx proof to use MMR's
2024-12-06 15:12:36 +04:00
84cb37240b
clippy/get everything building
2024-12-06 13:44:53 +04:00
aa57295f4b
wip: integrating new ledger into proofs
2024-12-06 12:58:00 +04:00
53aa3b75c0
mv sparse merkle tree to cl
2024-12-06 12:34:28 +04:00
0056486a6c
fix off-by-one in sparse merkle tree
2024-12-06 11:36:06 +04:00
bd1f928e00
pre-compute empty trees
2024-12-05 23:47:52 +04:00
11556f07e8
rename smt_ to sparse_
2024-12-05 19:32:56 +04:00
51233f62fb
emmarin: sparse merkle tree impl
2024-12-05 18:46:36 +04:00
0faceaab5e
Merge pull request #43 from logos-co/emmarin-poc
...
PoC ledger partition and note teleportation
2024-11-28 11:51:30 +04:00
3415784165
typo
2024-11-27 18:27:27 +01:00
7e76a06c75
leftover risc0proof update
2024-11-27 18:27:19 +01:00
720836e7f2
move zone_id into {input,output}witness
2024-11-27 17:17:27 +01:00
3646971fd9
use MMR
2024-11-27 11:44:42 +01:00
a0b9b357da
remove limitation of single ptx origin
2024-11-25 18:45:00 +01:00
854fab935b
check zone updates
2024-11-25 13:06:53 +01:00
a76bb268a1
uniform ptx and pacts
2024-11-22 18:15:56 +01:00
a940705b01
add zone layer txs
2024-11-20 18:19:36 +01:00
afd9bafb79
move to zone_layer
2024-11-20 15:46:35 +01:00
ec5cd13d46
emmarin
2024-11-19 12:42:50 +01:00
893ab94ce0
Merge pull request #41 from logos-co/origin/master
...
fix poseidon error
2024-09-11 13:37:16 +02:00
4af413b3ac
fix minor poseidon error (hash is now truncation of the addition of the state elements) instead of the addition of the entire state
2024-09-11 10:50:21 +02:00
e6165cd064
Merge pull request #40 from logos-co/PoE
...
add proof of equivalence PoC
2024-09-11 09:31:21 +02:00
fb7ed0ddeb
remove unwanted files
2024-09-11 09:30:51 +02:00
ba564a3f38
add proof of equivalence PoC
2024-09-10 16:02:15 +02:00
7baa1caf77
Merge pull request #39 from logos-co/goas/nonce-in-note
...
goas: Rename death constraint to constraint; move nonce into note
2024-08-27 16:06:45 +04:00
1fd4c6bd64
goas: move nonce into note
2024-08-27 15:57:19 +04:00
cffd687e50
goas: rename DeathConstraint to Constraint
2024-08-27 15:56:41 +04:00
23df7331c8
Use efficient comm for balances ( #38 )
...
* Use efficient comm for balances
At the moment we're using merkle trees even though we don't need
inclusion proofs, which means we're calculating more hashes than
necessary and limiting the account set size to 256.
This change is a temporary solution that chooses a more efficient
way to calculate a commitment to the account balances, while we
wait for something more scalable like a Verkle Tree.
* remove leftover constants
2024-08-26 19:29:49 +02:00
da18cef987
Merge pull request #36 from logos-co/goas/hash-based-balance-commitments
...
goas: switch balance commitments to hash based commitments
2024-08-23 16:18:37 +04:00
75930a5ac8
Merge pull request #37 from logos-co/goas/mmr-in-zone-state
...
goas: MMR for the zone transaction log
2024-08-23 16:18:23 +04:00
30354a08bd
goas: remove found flag from balance insert helpers
2024-08-23 13:39:36 +04:00
5151438d3f
goas: reduce the width of the MMR height field
2024-08-23 13:05:33 +04:00
226da49440
remove old implementation
2024-08-23 03:09:40 +04:00
362749b1b6
goas: MMR for the zone transaction log
2024-08-23 03:06:15 +04:00
7a706583dc
goas: switch balance commitments to hash based commitments
2024-08-21 22:00:49 +04:00
8aba1c8e68
Merge pull request #34 from logos-co/goas/ptx-proof
...
goas: aggregate input/output proofs into a single ptx proof
2024-08-21 18:18:46 +04:00
6480637e76
Merge pull request #35 from logos-co/goas/ptx-level-balance-blinding
...
goas: move balance blinding to ptx level
2024-08-21 18:08:44 +04:00
7488dea9d1
goas: move balance blinding to ptx level
2024-08-21 13:00:35 +04:00
edd69d63bd
goas: remove input/output proofs
2024-08-21 00:03:41 +04:00
310932818a
goas: replace input/output proofs with ptx proof
2024-08-20 23:58:38 +04:00
ff0afeebd7
Provide state roots instead of whole state ( #33 )
2024-08-20 19:12:10 +02:00
5fd3c299c1
Merge pull request #32 from logos-co/goas/isolated_proof_tests
...
goas: isolated executor proof tests
2024-08-19 21:53:35 +04:00
e38b76e020
goas: don't expose nullifier nonce/commitment bytes
2024-08-19 21:52:33 +04:00
8870a32cbe
Use basepoint as the blinding point ( #31 )
2024-08-19 19:18:42 +02:00
davidrusu
Giacomo Pasini
thomaslavaur
thomaslavaur
Giacomo Pasini