Search for blocks/addresses/...
Proofgold Asset
asset id
d0ddaec135f2dc2e8b71f7212c56a013bdf27cfdb8f7d735040f97b164084d6b
asset hash
8195a440ecb988370c23839bc2311e8ed812ad372dec187b23f765f70cb15fb7
bday / block
39174
tx
083f6..
preasset
signature published by
PrCmT..
Import Signature
224a1..
Known
74867..
neq_0_1
:
0
=
1
⟶
∀ x0 : ο .
x0
Known
952fe..
neq_1_0
:
1
=
0
⟶
∀ x0 : ο .
x0
Known
9c9a3..
neq_0_2
:
0
=
2
⟶
∀ x0 : ο .
x0
Known
00b35..
neq_2_0
:
2
=
0
⟶
∀ x0 : ο .
x0
Known
04777..
neq_7_0
:
7
=
0
⟶
∀ x0 : ο .
x0
Known
c517b..
neq_7_1
:
7
=
1
⟶
∀ x0 : ο .
x0
Known
719b9..
neq_7_2
:
7
=
2
⟶
∀ x0 : ο .
x0
Known
7c014..
neq_7_3
:
7
=
3
⟶
∀ x0 : ο .
x0
Known
b83dd..
neq_7_4
:
7
=
4
⟶
∀ x0 : ο .
x0
Known
2c37c..
neq_7_5
:
7
=
5
⟶
∀ x0 : ο .
x0
Known
7b8e2..
neq_7_6
:
7
=
6
⟶
∀ x0 : ο .
x0
Known
30657..
neq_8_0
:
8
=
0
⟶
∀ x0 : ο .
x0
Known
3fab0..
neq_8_1
:
8
=
1
⟶
∀ x0 : ο .
x0
Known
e34cd..
neq_8_2
:
8
=
2
⟶
∀ x0 : ο .
x0
Known
c0304..
neq_8_3
:
8
=
3
⟶
∀ x0 : ο .
x0
Known
626b9..
neq_8_4
:
8
=
4
⟶
∀ x0 : ο .
x0
Known
f8515..
neq_8_5
:
8
=
5
⟶
∀ x0 : ο .
x0
Known
f5b7b..
neq_8_6
:
8
=
6
⟶
∀ x0 : ο .
x0
Known
4f065..
neq_8_7
:
8
=
7
⟶
∀ x0 : ο .
x0
Known
6e3ac..
neq_9_0
:
9
=
0
⟶
∀ x0 : ο .
x0
Known
80c63..
neq_9_1
:
9
=
1
⟶
∀ x0 : ο .
x0
Known
906cc..
neq_9_2
:
9
=
2
⟶
∀ x0 : ο .
x0
Known
d46f5..
neq_9_3
:
9
=
3
⟶
∀ x0 : ο .
x0
Known
b136f..
neq_9_4
:
9
=
4
⟶
∀ x0 : ο .
x0
Known
0ae3b..
neq_9_5
:
9
=
5
⟶
∀ x0 : ο .
x0
Known
19a02..
neq_9_6
:
9
=
6
⟶
∀ x0 : ο .
x0
Known
ff267..
neq_9_7
:
9
=
7
⟶
∀ x0 : ο .
x0
Known
e4727..
neq_9_8
:
9
=
8
⟶
∀ x0 : ο .
x0