sec-bit/calculus-token-with-proof sec-bit/calculus-token-with-proof

  • Stars
    star
    3
  • Rank 3,962,882 (Top 79 %)
  • Language Coq
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sec-bit/calculus-token-with-proof
github

sec-bit

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

learning-zkp

articles, codes and tools all about zero-knowledge proofs
Jupyter Notebook
808
star
2

awesome-buggy-erc20-tokens

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Python
613
star
3

zkPoD-node

zkPoD: A decentralized system for perfect fair data exchange
Go
204
star
4

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts
Coq
98
star
5

ckb-zkp

Zero Knowledge Proofs Toolkit for CKB
Rust
65
star
6

badERC20Fix

Fix for the contracts which are not compatible with ERC20
25
star
7

mfer-safe

The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
JavaScript
23
star
8

libsnark_abc

Minimal examples to use libsnark.
C++
21
star
9

zkPoD-lib

The underlying core library for zkPoD system
C++
20
star
10

zkPoD-contract

Smart contracts for zkPoD Decentralized Exchange
Go
14
star
11

minievm

Mini Ethereum Virutal Machine
Go
12
star
12

vscode-secbit-ssae

Visual Studio Code extension for SECBIT Solidity Static Analyzer
TypeScript
11
star
13

hydro-audit-report

7
star
14

clover-protocol

An aSVC based stateless protocol as L2 rollup on Nervos CKB
Rust
7
star
15

mfer-node

An Ethereum transaction simulator based on go-ethereum
Go
7
star
16

yfii-security-review

7
star
17

kzg-rln-go

RLN on KZG in Golang
Go
6
star
18

zkp-toolkit

Zero Knowledge Proofs Toolkit (deprecated and merged into https://github.com/sec-bit/ckb-zkp)
Rust
4
star
19

loopring-protocol2-verification

Coq
3
star
20

dorahacks

Dorahacks æ™ēčƒŊ合įēĻ挑战čĩ›éĸ˜į›Ž
3
star
21

plonk

An experimental arkworks-based PLONK/PLOOKUP implementation
2
star
22

Quill

An open source cryptocurrency signature tool
CSS
2
star
23

blog

Visit Our Blog 👉 https://sec-bit.github.io/blog 💓
Shell
1
star
24

OneETH-audit-report

1
star
25

protobuf-sol

Fork from https://github.com/umegaya/pb3sol
Python
1
star
26

badmsg.sender

Go
1
star
27

solidity-safe-subset

C++
1
star
28

mfer-safe-lite

MferSafe Lite Browser Extension
TypeScript
1
star
29

yin-finance-audit-report

1
star
30

tmap

A total map implementation
Coq
1
star