Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
S
sgxwallet
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
董子豪
sgxwallet
Commits
d9bbc4b2
Unverified
Commit
d9bbc4b2
authored
Aug 27, 2019
by
a72d9e2bad9edfd58d6c0248c12c953b71d409d2
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Added gmp
parent
d42dca7d
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 addition
and
152 deletions
+1
-152
secure_enclave.c
secure_enclave/secure_enclave.c
+1
-152
No files found.
secure_enclave/secure_enclave.c
View file @
d9bbc4b2
...
...
@@ -94,77 +94,19 @@ void *reallocate_function(void *ptr, size_t osize, size_t nsize) {
}
void
e_mpz_add
(
mpz_t
*
c_un
,
mpz_t
*
a_un
,
mpz_t
*
b_un
)
{
mpz_t
a
,
b
,
c
;
/*
* Marshal untrusted values into the enclave so we don't accidentally
* leak secrets to untrusted memory.
*
* This is overkill for the trivial example in this function, but
* it's best to develop good coding habits.
*/
mpz_inits
(
a
,
b
,
c
,
NULL
);
mpz_set
(
a
,
*
a_un
);
mpz_set
(
b
,
*
b_un
);
mpz_add
(
c
,
a
,
b
);
/* Marshal our result out of the enclave */
mpz_set
(
*
c_un
,
c
);
}
void
e_mpz_mul
(
mpz_t
*
c_un
,
mpz_t
*
a_un
,
mpz_t
*
b_un
)
{
mpz_t
a
,
b
,
c
;
/* Marshal untrusted values into the enclave. */
mpz_inits
(
a
,
b
,
c
,
NULL
);
mpz_set
(
a
,
*
a_un
);
mpz_set
(
b
,
*
b_un
);
mpz_mul
(
c
,
a
,
b
);
/* Marshal our result out of the enclave. */
mpz_set
(
*
c_un
,
c
);
}
void
e_mpz_div
(
mpz_t
*
c_un
,
mpz_t
*
a_un
,
mpz_t
*
b_un
)
{
mpz_t
a
,
b
,
c
;
/* Marshal untrusted values into the enclave */
mpz_inits
(
a
,
b
,
c
,
NULL
);
mpz_set
(
a
,
*
a_un
);
mpz_set
(
b
,
*
b_un
);
mpz_div
(
c
,
a
,
b
);
/* Marshal our result out of the enclave */
mpz_set
(
*
c_un
,
c
);
}
void
e_mpf_div
(
mpf_t
*
c_un
,
mpf_t
*
a_un
,
mpf_t
*
b_un
)
{
mpf_t
a
,
b
,
c
;
/* Marshal untrusted values into the enclave */
mpf_inits
(
a
,
b
,
c
,
NULL
);
mpf_set
(
a
,
*
a_un
);
mpf_set
(
b
,
*
b_un
);
mpf_div
(
c
,
a
,
b
);
/* Marshal our result out of the enclave */
mpf_set
(
*
c_un
,
c
);
}
/* Use the Chudnovsky equation to rapidly estimate pi */
...
...
@@ -174,7 +116,7 @@ void e_mpf_div(mpf_t *c_un, mpf_t *a_un, mpf_t *b_un) {
mpz_t
c3
,
c4
,
c5
;
int
pi_init
=
0
;
void
encrypt_key
(
mpf_t
*
pi_un
,
int
*
err_status
,
char
*
key
)
{
void
encrypt_key
(
int
*
err_status
,
char
*
key
,
char
*
encrypted_
key
)
{
*
err_status
=
-
1
;
...
...
@@ -186,96 +128,3 @@ void encrypt_key(mpf_t *pi_un, int *err_status, char* key) {
*
err_status
=
0
;
}
void
e_calc_pi
(
mpf_t
*
pi
,
uint64_t
digits
)
{
uint64_t
k
,
n
;
mp_bitcnt_t
precision
;
static
double
bits
=
log2
(
10
);
mpz_t
kf
,
kf3
,
threekf
,
sixkf
,
z1
,
z2
,
c4k
,
c5_3k
;
mpf_t
C
,
sum
,
div
,
f2
;
n
=
(
digits
/
DIGITS_PER_ITERATION
)
+
1
;
precision
=
(
digits
*
bits
)
+
1
;
mpf_set_default_prec
(
precision
);
/* Re-initialize the pi variable to use our new precision */
mpf_set_prec
(
*
pi
,
precision
);
char
buf
[
32
];
if
(
sgx_read_rand
(
buf
,
32
)
!=
SGX_SUCCESS
)
return
;
uint32_t
sealedLen
=
sgx_calc_sealed_data_size
(
0
,
32
);
uint8_t
sealed_data
[
sealedLen
];
if
(
sgx_seal_data
(
0
,
NULL
,
32
,
buf
,
sealedLen
,
sealed_data
)
!=
SGX_SUCCESS
)
return
;
/*
426880 sqrt(10005) inf (6k)! (13591409+545140134k)
------------------- = SUM ---------------------------
pi k=0 (3k)!(k!)^3(-640320)^3k
C / pi = SUM (6k)! * (c3 + c4*k) / (3k)!(k!)^3(c5)^3k
C / pi = SUM f1 / f2
pi = C / sum
*/
mpz_inits
(
sixkf
,
z1
,
z2
,
kf
,
kf3
,
threekf
,
c4k
,
c5_3k
,
NULL
);
mpf_inits
(
C
,
sum
,
div
,
f2
,
NULL
);
/* Calculate 'C' */
mpf_sqrt_ui
(
C
,
10005
);
mpf_mul_ui
(
C
,
C
,
426880
);
if
(
!
pi_init
)
{
/* Constants needed in 'sum'. */
mpz_inits
(
c3
,
c4
,
c5
,
NULL
);
mpz_set_ui
(
c3
,
13591409
);
mpz_set_ui
(
c4
,
545140134
);
mpz_set_si
(
c5
,
-
640320
);
pi_init
=
1
;
}
mpf_set_ui
(
sum
,
0
);
for
(
k
=
0
;
k
<
n
;
++
k
)
{
/* Numerator */
mpz_fac_ui
(
sixkf
,
6
*
k
);
mpz_mul_ui
(
c4k
,
c4
,
k
);
mpz_add
(
c4k
,
c4k
,
c3
);
mpz_mul
(
z1
,
c4k
,
sixkf
);
mpf_set_z
(
div
,
z1
);
/* Denominator */
mpz_fac_ui
(
threekf
,
3
*
k
);
mpz_fac_ui
(
kf
,
k
);
mpz_pow_ui
(
kf3
,
kf
,
3
);
mpz_mul
(
z2
,
threekf
,
kf3
);
mpz_pow_ui
(
c5_3k
,
c5
,
3
*
k
);
mpz_mul
(
z2
,
z2
,
c5_3k
);
/* Divison */
mpf_set_z
(
f2
,
z2
);
mpf_div
(
div
,
div
,
f2
);
/* Sum */
mpf_add
(
sum
,
sum
,
div
);
}
mpf_div
(
*
pi
,
C
,
sum
);
mpf_clears
(
div
,
sum
,
f2
,
NULL
);
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment